[193] | 1 | package com.framsticks.framclipse.editors.configuration; |
---|
| 2 | |
---|
| 3 | import org.eclipse.core.resources.IMarker; |
---|
| 4 | import org.eclipse.core.resources.IResource; |
---|
| 5 | import org.eclipse.core.runtime.CoreException; |
---|
| 6 | |
---|
| 7 | import com.framsticks.framclipse.internal.parser.ParseException; |
---|
| 8 | import com.framsticks.framclipse.internal.parser.TokenMgrError; |
---|
| 9 | |
---|
| 10 | public abstract class ErrorHandler<T extends Throwable> { |
---|
| 11 | |
---|
| 12 | public IMarker createMarker(IResource resource, T error) throws CoreException { |
---|
| 13 | IMarker marker = resource.createMarker(IMarker.PROBLEM); |
---|
| 14 | marker.setAttribute(IMarker.LINE_NUMBER, getLine(error)); |
---|
| 15 | marker.setAttribute(IMarker.MESSAGE, getMessage(error)); |
---|
| 16 | marker.setAttribute(IMarker.PRIORITY, IMarker.PRIORITY_HIGH); |
---|
| 17 | marker.setAttribute(IMarker.SEVERITY, IMarker.SEVERITY_ERROR); |
---|
| 18 | return marker; |
---|
| 19 | } |
---|
| 20 | |
---|
| 21 | public abstract int getLine(T error); |
---|
| 22 | |
---|
| 23 | public abstract String getMessage(T error); |
---|
| 24 | |
---|
| 25 | public static class ParseErrorHandler extends ErrorHandler<ParseException> { |
---|
| 26 | |
---|
| 27 | @Override |
---|
| 28 | public int getLine(ParseException e) { |
---|
| 29 | return e.currentToken.next.beginLine; |
---|
| 30 | } |
---|
| 31 | |
---|
| 32 | @Override |
---|
| 33 | public String getMessage(ParseException e) { |
---|
| 34 | return e.getMessage(); |
---|
| 35 | } |
---|
| 36 | } |
---|
| 37 | |
---|
| 38 | public static class TokenErrorHandler extends ErrorHandler<TokenMgrError> { |
---|
| 39 | |
---|
| 40 | @Override |
---|
| 41 | public int getLine(TokenMgrError e) { |
---|
| 42 | return 1; |
---|
| 43 | } |
---|
| 44 | |
---|
| 45 | @Override |
---|
| 46 | public String getMessage(TokenMgrError e) { |
---|
| 47 | return e.getMessage(); |
---|
| 48 | } |
---|
| 49 | } |
---|
| 50 | |
---|
| 51 | } |
---|