cz.cuni.mff.procasor.procases
Class FitnessChecker

java.lang.Object
  extended bycz.cuni.mff.procasor.procases.FitnessChecker

public class FitnessChecker
extends java.lang.Object

Provides methods for checking fitness of use cases and their individual steps. Fitness is checked before behavior specification derivation is performed.

Author:
michal

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

checkUseCase

public static java.util.List checkUseCase(UseCase useCase)
Checks the correctness and completeness of the semantic information of the given use case.

Parameters:
useCase - use case to be inspected
Returns:
List of encountered problems

checkStep

public static void checkStep(TypeSentence step,
                             java.util.List problems)
Checks the correctness and completeness of the semantic information of the step.

Parameters:
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.