|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.cuni.mff.procasor.procases.FitnessChecker
Provides methods for checking fitness of use cases and their individual steps. Fitness is checked before behavior specification derivation is performed.
Method Summary | |
static void |
checkStep(TypeSentence step,
java.util.List problems)
Checks the correctness and completeness of the semantic information of the step. |
static java.util.List |
checkUseCase(UseCase useCase)
Checks the correctness and completeness of the semantic information of the given use case. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static java.util.List checkUseCase(UseCase useCase)
useCase
- use case to be inspected
public static void checkStep(TypeSentence step, java.util.List problems)
step
- step to be inspected (may be both use case step and branch step)problems
- a list of problems. Encountered problems will be added to this list.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |