Uses of Class
org.objectweb.dsrg.sofa.util.checker.CheckingResult

Packages that use CheckingResult
org.objectweb.dsrg.sofa.util.checker   
 

Uses of CheckingResult in org.objectweb.dsrg.sofa.util.checker
 

Methods in org.objectweb.dsrg.sofa.util.checker that return CheckingResult
 CheckingResult Checker.checkArchitecture(Architecture arch, java.io.PrintStream out)
          Method used to request the checking process
static CheckingResult BehaviorChecker.checkArchitecture(Architecture arch, java.io.PrintStream out, java.lang.Class checker)
          Performs the behavior checking