Java源码示例:com.intellij.psi.ElementManipulator
示例1
@NotNull
private ElementManipulator<AbstractBashCommand<?>> getManipulator() {
ElementManipulator<AbstractBashCommand<?>> manipulator = ElementManipulators.<AbstractBashCommand<?>>getManipulator(cmd);
if (manipulator == null) {
throw new IncorrectOperationException("No element manipulator found for " + cmd);
}
return manipulator;
}
示例2
@NotNull
private ElementManipulator<AbstractBashCommand<?>> getManipulator() {
ElementManipulator<AbstractBashCommand<?>> manipulator = ElementManipulators.<AbstractBashCommand<?>>getManipulator(cmd);
if (manipulator == null) {
throw new IncorrectOperationException("No element manipulator found for " + cmd);
}
return manipulator;
}
示例3
@Nonnull
public static <T extends PsiElement> ElementManipulator<T> getManipulator(T currentElement){
ElementManipulator<T> manipulator = ElementManipulators.getManipulator(currentElement);
if (manipulator == null) {
throw new IncorrectOperationException("Manipulator for this element is not defined: " + currentElement + "; " + currentElement.getClass());
}
return manipulator;
}
示例4
@Override
public PsiElement handleElementRename(@NotNull String newElementName) throws IncorrectOperationException {
ElementManipulator<PsiElement> manipulator = ElementManipulators.getManipulator(myElement);
return manipulator.handleContentChange(myElement, TextRange.from(1, id.length()), newElementName);
}
示例5
@Override
public PsiElement handleElementRename(@NotNull String newElementName) throws IncorrectOperationException {
ElementManipulator<PsiElement> manipulator = ElementManipulators.getManipulator(myElement);
return manipulator.handleContentChange(myElement, endpoint.getNameTextRange().shiftRight(1), newElementName);
}
示例6
@Override
public PsiElement handleElementRename(@NotNull String newElementName) throws IncorrectOperationException {
ElementManipulator<PsiElement> manipulator = ElementManipulators.getManipulator(myElement);
return manipulator.handleContentChange(myElement, endpoint.getNameTextRange().shiftRight(1), newElementName);
}