org.eclipse.xtext.ui

Class MarkerTypes

java.lang.Object

org.eclipse.xtext.ui.MarkerTypes

public final class MarkerTypes
extends Object

Author:

Sven Efftinge - Initial contribution and API

Field Summary

Fields

Modifier and Type	Field and Description
static String	ANY_VALIDATION
static String	EXPENSIVE_VALIDATION
static String	FAST_VALIDATION
static String	NORMAL_VALIDATION

Constructor Summary

Constructors

Constructor and Description
MarkerTypes()

Method Summary

Methods

Modifier and Type	Method and Description
static String	forCheckType(CheckType checkType)
static CheckType	toCheckType(String markerType)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ANY_VALIDATION

public static final String ANY_VALIDATION

See Also:

Constant Field Values

FAST_VALIDATION

public static final String FAST_VALIDATION

See Also:

Constant Field Values

NORMAL_VALIDATION

public static final String NORMAL_VALIDATION

See Also:

Constant Field Values

EXPENSIVE_VALIDATION

public static final String EXPENSIVE_VALIDATION

See Also:

Constant Field Values

Constructor Detail

MarkerTypes

public MarkerTypes()

Method Detail

forCheckType

public static String forCheckType(CheckType checkType)

toCheckType

public static CheckType toCheckType(String markerType)