|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
---|
CheckingResult checkArchitecture(Architecture arch, java.io.PrintStream out)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |