Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- public void createMarkerForResource(IResource resource, String message, String text, int line) throws Exception {
- IMarker m = resource.createMarker(Resources.QUERY_MARKER);
- m.setAttribute(IMarker.LINE_NUMBER, line);
- m.setAttribute(IMarker.MESSAGE, message);
- m.setAttribute(IMarker.TEXT, text);
- m.setAttribute(IMarker.PRIORITY, IMarker.PRIORITY_HIGH);
- m.setAttribute(IMarker.SEVERITY, IMarker.SEVERITY_WARNING);
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement