Examples of org.eclipse.ui.texteditor.ResourceMarkerAnnotationModel

org.eclipse.ui.texteditor.ResourceMarkerAnnotationModel
A marker annotation model whose underlying source of markers is a resource in the workspace.
This class may be instantiated; it is not intended to be subclassed.

        // If here, the editor state will be flipped to "not dirty".
        // Thus, the state changing flag will be reset.


        if (info != null) {


          ResourceMarkerAnnotationModel model= (ResourceMarkerAnnotationModel) info.fModel;
          if (model != null)
            model.updateMarkers(info.fDocument);


          info.fModificationStamp= computeModificationStamp(file);
        }


      } else {

View Full Code Here

   * @see AbstractDocumentProvider#createAnnotationModel(Object)
   */
  protected IAnnotationModel createAnnotationModel(Object element) throws CoreException {
    if (element instanceof IFileEditorInput) {
      IFileEditorInput input= (IFileEditorInput) element;
      return new ResourceMarkerAnnotationModel(input.getFile());
    }


    return super.createAnnotationModel(element);
  }

View Full Code Here

        // If here, the editor state will be flipped to "not dirty".
        // Thus, the state changing flag will be reset.


        if (info != null) {


          ResourceMarkerAnnotationModel model= (ResourceMarkerAnnotationModel) info.fModel;
          if (model != null)
            model.updateMarkers(info.fDocument);


          info.fModificationStamp= computeModificationStamp(file);
        }


      } else {

View Full Code Here

  @Override
  protected IAnnotationModel createAnnotationModel(Object element)
      throws CoreException {
    if (element instanceof  MethodEditorInput) {
      MethodEditorInput input = (MethodEditorInput) element;
      IAnnotationModel model =  new ResourceMarkerAnnotationModel(input.getFile());
      input.setAnnotationModel(model);
      return model;
        }


        return null;

View Full Code Here

                    throw x;
                }


                // If here, the editor state will be flipped to "not dirty".
                // Thus, the state changing flag will be reset.
                ResourceMarkerAnnotationModel model = (ResourceMarkerAnnotationModel) input.getAnnotationModel();
                if (model != null)
                    model.updateMarkers(document);
            } else {
                try {
                    monitor.beginTask("Saving ", 2000);
                    ContainerCreator creator = new ContainerCreator(
                            file.getWorkspace(), file.getParent().getFullPath());

View Full Code Here

TOP

Related Classes of org.eclipse.ui.texteditor.ResourceMarkerAnnotationModel

de.innovationgate.eclipse.editors.all.WGADesignFileDocumentProvider

org.eclipse.core.resources.IMarkerDelta

org.eclipse.core.resources.IResourceDelta

org.eclipse.core.resources.IWorkspaceRunnable

org.eclipse.ui.editors.text.FileDocumentProvider

tool.editors.method.ToolMethodDocumentProvider

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.