Examples of XCDEDocumentSelection

ca.uwaterloo.fydp.xcde.XCDEDocumentSelection
This class represents a selection of a text in an XCDEDocument, specified in terms of the position of the start and the length of the selection. @author Tristan Schmelcher

Examples of ca.uwaterloo.fydp.xcde.XCDEDocumentSelection

      path = (String[])p.clone();
    else
      path = null;
    
    if (sel != null)
      cursor = new XCDEDocumentSelection(sel.pos,sel.length);
    else
      cursor = null;
    }

View Full Code Here

Examples of ca.uwaterloo.fydp.xcde.XCDEDocumentSelection

    if (u.path != null)
      path = (String[])u.path.clone();
    else
      path = null;
    if (u.cursor != null)
      cursor = new XCDEDocumentSelection(u.cursor.pos,u.cursor.length);
    else
      cursor = null;
    }

View Full Code Here

Examples of ca.uwaterloo.fydp.xcde.XCDEDocumentSelection

   * @param pos Positive integer offset from the start of the file
   * @param length Positivie integer length of the selection.
   */
  public void setCursor(int pos, int length)
    {
    cursor = new XCDEDocumentSelection(pos, length);
    }

View Full Code Here

Examples of ca.uwaterloo.fydp.xcde.XCDEDocumentSelection

   * @param xds The XCDEDocumentSelection object holding the new position
   */
  public void setCursor(XCDEDocumentSelection xds)
    {
    if (xds != null)
      cursor = new XCDEDocumentSelection(xds.pos, xds.length);
    else
      cursor = null;
    }

View Full Code Here

Examples of ca.uwaterloo.fydp.xcde.XCDEDocumentSelection

        
        //if the user's path matches the active editor (and they are not the local user) we need to apply
        //their highlighting to the editor
        if (userData.getConcatPath().equals(path) && !userData.getUsername().equals(currentRegister.getUsername()))
          {
          XCDEDocumentSelection cursor = userData.getCursor();
          
          // Figure out the range in the document that we want to colour.
          IRegion region;
          if (cursor != null) {
            if (cursor.length < 0 || cursor.pos < 0) System.err.println("Huh? cursor.length = " + cursor.length + ", cursor.pos = " + cursor.pos);

View Full Code Here

Examples of ca.uwaterloo.fydp.xcde.XCDEDocumentSelection

      r = ((ITextViewerExtension5)viewer).widgetRange2ModelRange(r);
      offset = r.getOffset();
      length = r.getLength();
    }
    
    reg.fireUpdatedUserPosition(ipath.toString(), new XCDEDocumentSelection(offset, length));


    return true;
  }

View Full Code Here

TOP

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.