Examples of MarkerInfo

Examples of org.eclipse.core.internal.resources.MarkerInfo

79
80
81
82
83
84
85
86
87
88
89
90
91
    final ISchedulingRule rule = workspace.getRuleFactory().markerRule(this);
    try {
      workspace.prepareOperation(rule, null);
      checkAccessible(getFlags(getResourceInfo(false, false)));
      workspace.beginOperation(true);
      MarkerInfo info = new MarkerInfo();
      info.setType(type);
      info.setCreationTime(System.currentTimeMillis());
      workspace.getMarkerManager().add(this, info);
      return new ExternalMarker();
      //return new ExternalMarker(this, info.getId());
    }
    finally {
View Full Code Here

Examples of org.python.pydev.builder.PydevMarkerUtils.MarkerInfo

134
135
136
137
138
139
140
141
142
143
144
                if (monitor.isCanceled()) {
                    return;
                }

                MarkerInfo markerInfo = new PydevMarkerUtils.MarkerInfo(document, msg,
                        AnalysisRunner.PYDEV_ANALYSIS_PROBLEM_MARKER, m.getSeverity(), false, false, startLine,
                        startCol, endLine, endCol, additionalInfo);
                lst.add(markerInfo);
            }
View Full Code Here

Examples of org.python.pydev.builder.PydevMarkerUtils.MarkerInfo

141
142
143
144
145
146
147
148
149
150
151
                boolean userEditable = false;
                boolean isTransient = false;
                int absoluteEnd = absoluteStart + message.length();
                Map<String, Object> additionalInfo = null;

                MarkerInfo markerInfo = new PydevMarkerUtils.MarkerInfo(document, message, markerType, severity,
                        userEditable, isTransient, line, absoluteStart, absoluteEnd, additionalInfo);
                lst.add(markerInfo);
            }
        }
    }
View Full Code Here

Examples of org.python.pydev.builder.PydevMarkerUtils.MarkerInfo

762
763
764
765
766
767
768
769
770
771
772
            Log.log(e);
        }
    }

    private void addInvalidModuleMarker(IDocument doc, IFile fileAdapter, String msg) {
        MarkerInfo markerInfo = new PydevMarkerUtils.MarkerInfo(doc, msg, INVALID_MODULE_MARKER_TYPE,
                IMarker.SEVERITY_WARNING, false, true, 0, 0, 0, 0, null);
        ArrayList<MarkerInfo> lst = new ArrayList<MarkerInfo>();
        lst.add(markerInfo);
        PydevMarkerUtils.replaceMarkers(lst, fileAdapter, INVALID_MODULE_MARKER_TYPE, true, new NullProgressMonitor());
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.