Package checks

Class Summary
Snotcheck Diese Klasse macht eine ganze Menge, n"amlich zum Beispiel: checken von SFCs
 

Exception Summary
ActionFailure Diese Klasse enth"alt die Spezifikation von ActionFailure
BoolException  
CheckException  
DecListFailure  
IStepException  
StepFailure  
TransitionFailure