|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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 | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||