org.objectweb.dsrg.sofa.util.checker
Interface Checker


public interface Checker

This interface is to be used when invoking a checker from the SOFA runtime. The classes implementing this interface perform the verification of behavior themselves.


Method Summary
 CheckingResult checkArchitecture(Architecture arch, java.io.PrintStream out)
          Method used to request the checking process
 

Method Detail

checkArchitecture

CheckingResult checkArchitecture(Architecture arch,
                                 java.io.PrintStream out)
Method used to request the checking process