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

java.lang.Object
  extended by AbstractKitsJavaValidator
      extended by de.cau.cs.kieler.synccharts.text.kits.validation.KitsJavaValidator
All Implemented Interfaces:
CustomEValidator

public class KitsJavaValidator
extends AbstractKitsJavaValidator
implements CustomEValidator

Rating red

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
           
 
Constructor Summary
KitsJavaValidator()
           
 
Method Summary
 void checkTransitionPriorities(State s)
           
 void checkTypeNameStartsWithCapital(State s)
           
protected  List<EPackage> getEPackages()
           
 
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()

checkTypeNameStartsWithCapital

public void checkTypeNameStartsWithCapital(State s)

checkTransitionPriorities

public void checkTransitionPriorities(State s)