org.objectweb.dsrg.sofa.util.checker
Class BehaviorChecker

java.lang.Object
  extended by org.objectweb.dsrg.sofa.util.checker.BehaviorChecker

public class BehaviorChecker
extends java.lang.Object


Constructor Summary
BehaviorChecker()
           
 
Method Summary
static CheckingResult checkArchitecture(Architecture arch, java.io.PrintStream out, java.lang.Class checker)
          Performs the behavior checking
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BehaviorChecker

public BehaviorChecker()
Method Detail

checkArchitecture

public static CheckingResult checkArchitecture(Architecture arch,
                                               java.io.PrintStream out,
                                               java.lang.Class checker)
Performs the behavior checking