Examples of org.dbwiki.data.resource.ResourceIdentifier

org.dbwiki.data.resource.ResourceIdentifier
Interface for identifiers of resources. Resources include schema types (entities), pages and node ids A ResourceIdentifier knows how to compare to other Resource Identifiers, how to tell whether it is a root identifier, how to convert itself to a parameter string (e.g. for use in a form), and how to convert itself to a URL. @author jcheney

    // Let delta = newpost - post = the size of the inserted subtree *2
    int newPre = parent.getpost();
    int newPost = node.doNumbering(newPre);
    int delta = newPost - newPre;
    
    ResourceIdentifier nodeIdentifier = null;
    
    try {
      int entryID = ((NodeIdentifier)entry.identifier()).nodeID();
      // Shift all node indexes that are >= newpre
      shiftNodes(RelDataColPre, entryID,newPre,delta);

View Full Code Here

  public DatabaseIdentifier identifier() {
    return _identifier;
  }


  public synchronized ResourceIdentifier insertNode(ResourceIdentifier identifier, DocumentNode node, User user) throws org.dbwiki.exception.WikiException {
    ResourceIdentifier nodeIdentifier = null;


    Version version = _versionIndex.getNextVersion(new ProvenanceInsert(user, identifier));


    try {
      Connection con = _connector.getConnection();

View Full Code Here

  }
  
  private void updateTimestamp(Connection con, TimestampedObject obj, TimeSequence timestamp) throws org.dbwiki.exception.WikiException {
    TimeInterval interval = timestamp.lastInterval();
    
    ResourceIdentifier identifier = obj.identifier();


    if (obj.hasTimestamp() && !interval.isOpen()) {
      new DatabaseWriter(con, this).updateTimestamp(identifier, interval);
    } else {
      new DatabaseWriter(con, this).insertTimestamp(identifier, interval);

View Full Code Here

  public WikiDataRequest(DatabaseWiki wiki, RequestURL url) throws org.dbwiki.exception.WikiException {
    super(wiki, url);
    
    _isRootRequest = url.isRoot();
    
    ResourceIdentifier nodeIdentifier = null;
    if (url.size() <= 1) {
      try {
        nodeIdentifier = wiki.database().getNodeIdentifierForURL(url);
      } catch (org.dbwiki.exception.WikiException wikiException) {
      }

View Full Code Here

TOP

Related Classes of org.dbwiki.data.resource.ResourceIdentifier

org.dbwiki.driver.rdbms.DatabaseWriter

org.dbwiki.driver.rdbms.RDBMSDatabase

org.dbwiki.web.request.WikiDataRequest

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.