Package org.eclipse.text.edits

Examples of org.eclipse.text.edits.RangeMarker


   
    RangeMarker[] markers = null;
    if (this.positions != null) {
      markers = new RangeMarker[this.positions.length];
      for (int i = 0, max = this.positions.length; i < max; i++) {
        markers[i]= new RangeMarker(this.positions[i], 0);
        insert(edits, markers[i]);
      }
    }
    try {
      edits.apply(document, TextEdit.UPDATE_REGIONS);
View Full Code Here


      }

      Object data= curr.data;
      if (data instanceof TextEditGroup) { // tracking a node
        // need to split and create 2 edits as tracking node can surround replaced node.
        TextEdit edit= new RangeMarker(insertOffset, 0);
        addEditGroup((TextEditGroup) data, edit);
        addEdit(edit);
        if (curr.length != 0) {
          int end= offset + curr.length;
          int k= i + 1;
View Full Code Here

    TextEditGroup editGroup= this.eventStore.getTrackedNodeData(node);
    if (editGroup != null) {
      SourceRange range= getExtendedRange(node);
      int offset= range.getStartPosition();
      int length= range.getLength();
      TextEdit edit= new RangeMarker(offset, length);
      addEditGroup(editGroup, edit);
      addEdit(edit);
      this.currentEdit= edit;
    }
   
View Full Code Here

    RangeMarker[] markers = null;
    if (this.positions != null) {
      markers = new RangeMarker[this.positions.length];
      for (int i = 0, max = this.positions.length; i < max; i++) {
        markers[i]= new RangeMarker(this.positions[i], 0);
        insert(edits, markers[i]);
      }
    }
    try {
      edits.apply(document, TextEdit.UPDATE_REGIONS);
View Full Code Here

      }

      Object data= curr.data;
      if (data instanceof TextEditGroup) { // tracking a node
        // need to split and create 2 edits as tracking node can surround replaced node.
        TextEdit edit= new RangeMarker(insertOffset, 0);
        addEditGroup((TextEditGroup) data, edit);
        addEdit(edit);
        if (curr.length != 0) {
          int end= offset + curr.length;
          int k= i + 1;
View Full Code Here

    TextEditGroup editGroup= this.eventStore.getTrackedNodeData(node);
    if (editGroup != null) {
      SourceRange range= getExtendedRange(node);
      int offset= range.getStartPosition();
      int length= range.getLength();
      TextEdit edit= new RangeMarker(offset, length);
      addEditGroup(editGroup, edit);
      addEdit(edit);
      this.currentEdit= edit;
    }
   
View Full Code Here

  private static List variablesToPositions(TemplateVariable[] variables) {
       List positions= new ArrayList(5);
    for (int i= 0; i != variables.length; i++) {
        int[] offsets= variables[i].getOffsets();
        for (int j= 0; j != offsets.length; j++)
        positions.add(new RangeMarker(offsets[j], 0));
    }

    return positions;
  }
View Full Code Here

      }

      Object data= curr.data;
      if (data instanceof TextEditGroup) { // tracking a node
        // need to split and create 2 edits as tracking node can surround replaced node.
        TextEdit edit= new RangeMarker(insertOffset, 0);
        addEditGroup((TextEditGroup) data, edit);
        addEdit(edit);
        if (curr.length != 0) {
          int end= offset + curr.length;
          int k= i + 1;
View Full Code Here

    TextEditGroup editGroup= this.eventStore.getTrackedNodeData(node);
    if (editGroup != null) {
      SourceRange range= getExtendedRange(node);
      int offset= range.getStartPosition();
      int length= range.getLength();
      TextEdit edit= new RangeMarker(offset, length);
      addEditGroup(editGroup, edit);
      addEdit(edit);
      this.currentEdit= edit;
    }
   
View Full Code Here

    RangeMarker[] markers = null;
    if (this.positions != null) {
      markers = new RangeMarker[this.positions.length];
      for (int i = 0, max = this.positions.length; i < max; i++) {
        markers[i]= new RangeMarker(this.positions[i], 0);
        insert(edits, markers[i]);
      }
    }
    try {
      edits.apply(document, TextEdit.UPDATE_REGIONS);
View Full Code Here

TOP

Related Classes of org.eclipse.text.edits.RangeMarker

Copyright © 2018 www.massapicom. All rights reserved.
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.