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)
           
 
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

checkTypeNameStartsWithCapital

public void checkTypeNameStartsWithCapital(State s)

checkTransitionPriorities

public void checkTransitionPriorities(State s)