org.eclipse.xtext.ui
Class MarkerTypes
java.lang.Object
org.eclipse.xtext.ui.MarkerTypes
public final class MarkerTypes
- extends java.lang.Object
- Author:
- Sven Efftinge - Initial contribution and API
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ANY_VALIDATION
public static final java.lang.String ANY_VALIDATION
- See Also:
- Constant Field Values
FAST_VALIDATION
public static final java.lang.String FAST_VALIDATION
- See Also:
- Constant Field Values
NORMAL_VALIDATION
public static final java.lang.String NORMAL_VALIDATION
- See Also:
- Constant Field Values
EXPENSIVE_VALIDATION
public static final java.lang.String EXPENSIVE_VALIDATION
- See Also:
- Constant Field Values
MarkerTypes
public MarkerTypes()
forCheckType
public static java.lang.String forCheckType(CheckType checkType)
toCheckType
public static CheckType toCheckType(java.lang.String markerType)