de.cau.cs.kieler.synccharts.text.kits.validation
Class KitsJavaValidator
java.lang.Object
AbstractKitsJavaValidator
de.cau.cs.kieler.synccharts.text.kits.validation.KitsJavaValidator
- All Implemented Interfaces:
- CustomEValidator
public class KitsJavaValidator
- extends AbstractKitsJavaValidator
- implements CustomEValidator
- Rating

Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
KitsJavaValidator
public KitsJavaValidator()
checkTypeNameStartsWithCapital
public void checkTypeNameStartsWithCapital(State s)
checkTransitionPriorities
public void checkTransitionPriorities(State s)