Package org.eclipse.dltk.ui.editor

Examples of org.eclipse.dltk.ui.editor.IScriptAnnotation

116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
        && !annotation.isMarkedDeleted();
  }

  public static boolean hasCorrections(Annotation annotation) {
    if (annotation instanceof IScriptAnnotation) {
      IScriptAnnotation javaAnnotation = (IScriptAnnotation) annotation;
      if (javaAnnotation.getId() != null) {
        ISourceModule cu = javaAnnotation.getSourceModule();
        return hasCorrections(cu, javaAnnotation.getId(),
            javaAnnotation.getMarkerType());
      }

    }
    if (annotation instanceof SimpleMarkerAnnotation) {
      return hasCorrections(((SimpleMarkerAnnotation) annotation)
View Full Code Here
TOP

Related Classes of org.eclipse.dltk.ui.editor.IScriptAnnotation

  • org.eclipse.php.internal.ui.text.correction.PHPCorrectionProcessor
    • 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.