if (!targetElement.isAttribute()) {
throw new WikiDataException(WikiDataException.InvalidPasteTarget, target.toParameterString());
}
Update update = new Update();
update.add(new NodeUpdate(targetElement.identifier(), ((PasteTextNode)pasteNode).getValue()));
updateNodeWrapped(targetElement, update, _versionIndex.getNextVersion(new ProvenanceCopy(user, targetElement.identifier(), sourceURL)));
}
}
/** Evaluates a wiki query with respect to the database */
public QueryResultSet query(String query) throws org.dbwiki.exception.WikiException {