org.eclipse.jface.text.Position.delete()方法的使用及代码示例

x33g5p2x  于2022-01-26 转载在 其他  
字(6.8k)|赞(0)|评价(0)|浏览(102)

本文整理了Java中org.eclipse.jface.text.Position.delete()方法的一些代码示例,展示了Position.delete()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Position.delete()方法的具体详情如下:
包路径:org.eclipse.jface.text.Position
类名称:Position
方法名:delete

Position.delete介绍

[英]Marks this position as deleted.
[中]将此职位标记为已删除。

代码示例

代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui

public void delete() {
  synchronized (fLock) {
    super.delete();
  }
}

代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.core.manipulation

@Override
public void delete() {
  synchronized (fLock) {
    super.delete();
  }
}

代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui

@Override
public void delete() {
  synchronized (fLock) {
    super.delete();
  }
}

代码示例来源:origin: org.eclipse.xtext/ui

@Override
public void delete() {
  synchronized (fLock) {
    super.delete();
  }
}

代码示例来源:origin: org.eclipse.platform/org.eclipse.text

/**
 * Determines whether the currently investigated position has been deleted by
 * the replace operation specified in the current event. If so, it deletes
 * the position and removes it from the document's position category.
 *
 * @return <code>true</code> if position has not been deleted
 */
protected boolean notDeleted() {
  if (fOffset < fPosition.offset && (fPosition.offset + fPosition.length < fOffset + fLength)) {
    fPosition.delete();
    try {
      fDocument.removePosition(fCategory, fPosition);
    } catch (BadPositionCategoryException x) {
    }
    return false;
  }
  return true;
}

代码示例来源:origin: at.bestsolution.efxclipse.eclipse/org.eclipse.text

/**
 * Determines whether the currently investigated position has been deleted by
 * the replace operation specified in the current event. If so, it deletes
 * the position and removes it from the document's position category.
 *
 * @return <code>true</code> if position has not been deleted
 */
protected boolean notDeleted() {
  if (fOffset < fPosition.offset && (fPosition.offset + fPosition.length < fOffset + fLength)) {
    fPosition.delete();
    try {
      fDocument.removePosition(fCategory, fPosition);
    } catch (BadPositionCategoryException x) {
    }
    return false;
  }
  return true;
}

代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.ui.console

/**
   * When any region of a hyperlink is replaced, the hyperlink needs to be deleted.
   *
   * @return <code>true</code> if position has NOT been deleted
   */
  @Override
  protected boolean notDeleted() {

    int positionEnd = fPosition.offset + fPosition.length - 1;
    int editEnd = fOffset + fLength - 1;
    if ((fOffset <= fPosition.offset && (editEnd > fPosition.offset)) ||
      (fOffset < positionEnd && (editEnd > positionEnd)) ||
      (fOffset >= fPosition.offset && fOffset <= positionEnd) ||
      (editEnd >= fPosition.offset && editEnd <= positionEnd)) {

      fPosition.delete();

      try {
        fDocument.removePosition(ConsoleHyperlinkPosition.HYPER_LINK_CATEGORY, fPosition);
      } catch (BadPositionCategoryException x) {
      }

      return false;
    }

    return true;
  }
}

代码示例来源:origin: org.eclipse/org.eclipse.ui.console

/**
   * When any region of a hyperlink is replaced, the hyperlink needs to be deleted.
   *
   * @return <code>true</code> if position has NOT been deleted
   */
  protected boolean notDeleted() {

    int positionEnd = fPosition.offset + fPosition.length - 1;
    int editEnd = fOffset + fLength - 1;
    if ((fOffset <= fPosition.offset && (editEnd > fPosition.offset)) ||
      (fOffset < positionEnd && (editEnd > positionEnd)) ||
      (fOffset >= fPosition.offset && fOffset <= positionEnd) ||
      (editEnd >= fPosition.offset && editEnd <= positionEnd)) {

      fPosition.delete();

      try {
        fDocument.removePosition(ConsoleHyperlinkPosition.HYPER_LINK_CATEGORY, fPosition);
      } catch (BadPositionCategoryException x) {
      }

      return false;
    }

    return true;
  }
}

代码示例来源:origin: org.eclipse/org.eclipse.ui.console

public void update(DocumentEvent event) {
    try {
      IDocument document = getDocument();
      if (document != null) {
        Position[] positions = document.getPositions(ConsoleHyperlinkPosition.HYPER_LINK_CATEGORY);
        for (int i = 0; i < positions.length; i++) {
          Position position = positions[i];
          if (position.offset == event.fOffset && position.length<=event.fLength) {
            position.delete();
          }
          if (position.isDeleted) {
            document.removePosition(ConsoleHyperlinkPosition.HYPER_LINK_CATEGORY, position);
          }
        }
      }
    } catch (BadPositionCategoryException e) {
    }
  }
};

代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.ui.console

@Override
  public void update(DocumentEvent event) {
    try {
      IDocument document = getDocument();
      if (document != null) {
        Position[] positions = document.getPositions(ConsoleHyperlinkPosition.HYPER_LINK_CATEGORY);
        for (int i = 0; i < positions.length; i++) {
          Position position = positions[i];
          if (position.offset == event.fOffset && position.length<=event.fLength) {
            position.delete();
          }
          if (position.isDeleted) {
            document.removePosition(ConsoleHyperlinkPosition.HYPER_LINK_CATEGORY, position);
          }
        }
      }
    } catch (BadPositionCategoryException e) {
    }
  }
};

代码示例来源:origin: org.eclipse.platform/org.eclipse.jface.text

/**
   * This does the actual constructor work.
   *
   * @param model the linked mode model
   * @param targets the non-empty array of targets upon which the linked mode UI
   *        should act
   */
  private void constructor(LinkedModeModel model, LinkedModeUITarget[] targets) {
    Assert.isNotNull(model);
    Assert.isNotNull(targets);
    Assert.isTrue(targets.length > 0);
    Assert.isTrue(model.getTabStopSequence().size() > 0);

    fModel= model;
    fTargets= targets;
    fCurrentTarget= targets[0];
    fIterator= new TabStopIterator(fModel.getTabStopSequence());
    fIterator.setCycling(!fModel.isNested());
    fModel.addLinkingListener(fLinkedListener);

    fAssistant= new ContentAssistant2();
    fAssistant.addProposalListener(fProposalListener);
    // TODO find a way to set up content assistant.
//        fAssistant.setDocumentPartitioning(IJavaPartitions.JAVA_PARTITIONING);
    fCaretPosition.delete();
  }

代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jface.text

/**
   * This does the actual constructor work.
   *
   * @param model the linked mode model
   * @param targets the non-empty array of targets upon which the linked mode UI
   *        should act
   */
  private void constructor(LinkedModeModel model, LinkedModeUITarget[] targets) {
    Assert.isNotNull(model);
    Assert.isNotNull(targets);
    Assert.isTrue(targets.length > 0);
    Assert.isTrue(model.getTabStopSequence().size() > 0);

    fModel= model;
    fTargets= targets;
    fCurrentTarget= targets[0];
    fIterator= new TabStopIterator(fModel.getTabStopSequence());
    fIterator.setCycling(!fModel.isNested());
    fModel.addLinkingListener(fLinkedListener);

    fAssistant= new ContentAssistant2();
    fAssistant.addProposalListener(fProposalListener);
    // TODO find a way to set up content assistant.
//        fAssistant.setDocumentPartitioning(IJavaPartitions.JAVA_PARTITIONING);
    fCaretPosition.delete();
  }

代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui

} else {
  position.delete();

代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui

} else {
  position.delete();

代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui

} else {
  position.delete();

代码示例来源:origin: at.bestsolution.efxclipse.eclipse/org.eclipse.text

} else {
  position.delete();

代码示例来源:origin: org.eclipse.platform/org.eclipse.jface.text

} else {
  position.delete();

代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui

} else {
  position.delete();

代码示例来源:origin: org.eclipse.platform/org.eclipse.text

} else {
  position.delete();

代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui

} else {
  position.delete();

相关文章