Package org.objectweb.dsrg.sofa.util.checker

Interface Summary
Checker This interface is to be used when invoking a checker from the SOFA runtime.
 

Class Summary
BehaviorChecker  
CheckingResult This class contains results of behavior checking.