|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.xtext.validation.AbstractInjectableValidator
org.eclipse.xtext.validation.AbstractDeclarativeValidator
de.cau.cs.kieler.synccharts.text.kits.validation.AbstractKitsJavaValidator
de.cau.cs.kieler.synccharts.text.kits.validation.KitsJavaValidator
public class KitsJavaValidator
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator |
---|
org.eclipse.xtext.validation.AbstractDeclarativeValidator.DiagnosticImpl, org.eclipse.xtext.validation.AbstractDeclarativeValidator.State, org.eclipse.xtext.validation.AbstractDeclarativeValidator.StateAccess |
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator |
---|
EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate |
Field Summary | |
---|---|
static String |
BAD_ID
|
static String |
MISSING_PRIO
|
static String |
NO_PRIO_1_TRANSITION
|
static String |
NON_SUCCEEDING_PRIOS
|
static String |
NON_UNIQUE_PRIO
|
static String |
UNSORTED_PRIOS
|
Fields inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator |
---|
log |
Fields inherited from interface org.eclipse.emf.ecore.EValidator |
---|
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE |
Constructor Summary | |
---|---|
KitsJavaValidator()
|
Method Summary | |
---|---|
void |
checkTransitionPriorities(State s)
|
void |
checkTypeNameStartsWithCapital(State s)
|
protected List<EPackage> |
getEPackages()
|
Methods inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator |
---|
acceptError, acceptWarning, assertEmpty, assertEmpty, assertEquals, assertEquals, assertFalse, assertFalse, assertNotEmpty, assertNotEmpty, assertNotEquals, assertNotEquals, assertNotNull, assertNotNull, assertNull, assertNull, assertTrue, assertTrue, checkDone, error, error, error, error, getChain, getCheckMode, getContext, getCurrentMethod, getCurrentObject, getInjector, getMessageAcceptor, guard, setInjector, setMessageAcceptor, validate, warning, warning, warning, warning |
Methods inherited from class org.eclipse.xtext.validation.AbstractInjectableValidator |
---|
register, validate, validate |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String BAD_ID
public static final String MISSING_PRIO
public static final String NON_UNIQUE_PRIO
public static final String NON_SUCCEEDING_PRIOS
public static final String NO_PRIO_1_TRANSITION
public static final String UNSORTED_PRIOS
Constructor Detail |
---|
public KitsJavaValidator()
Method Detail |
---|
protected List<EPackage> getEPackages()
getEPackages
in class AbstractKitsJavaValidator
public void checkTypeNameStartsWithCapital(State s)
public void checkTransitionPriorities(State s)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |