de.cau.cs.kieler.synccharts.text.kits.validation
Class KitsJavaValidator

java.lang.Object
  extended by org.eclipse.xtext.validation.AbstractInjectableValidator
      extended by org.eclipse.xtext.validation.AbstractDeclarativeValidator
          extended by de.cau.cs.kieler.synccharts.text.kits.validation.AbstractKitsJavaValidator
              extended by de.cau.cs.kieler.synccharts.text.kits.validation.KitsJavaValidator
All Implemented Interfaces:
CustomEValidator, EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor

public class KitsJavaValidator
extends AbstractKitsJavaValidator
implements CustomEValidator

Rating red

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

BAD_ID

public static final String BAD_ID
See Also:
Constant Field Values

MISSING_PRIO

public static final String MISSING_PRIO
See Also:
Constant Field Values

NON_UNIQUE_PRIO

public static final String NON_UNIQUE_PRIO
See Also:
Constant Field Values

NON_SUCCEEDING_PRIOS

public static final String NON_SUCCEEDING_PRIOS
See Also:
Constant Field Values

NO_PRIO_1_TRANSITION

public static final String NO_PRIO_1_TRANSITION
See Also:
Constant Field Values

UNSORTED_PRIOS

public static final String UNSORTED_PRIOS
See Also:
Constant Field Values
Constructor Detail

KitsJavaValidator

public KitsJavaValidator()
Method Detail

getEPackages

protected List<EPackage> getEPackages()
Overrides:
getEPackages in class AbstractKitsJavaValidator

checkTypeNameStartsWithCapital

public void checkTypeNameStartsWithCapital(State s)

checkTransitionPriorities

public void checkTransitionPriorities(State s)