|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
EnvironmentInfo | Container class for information related to component environments. |
JPFCheckAction | Frontend to the Environment Generator and Java PathFinder. |
JPFCheckActionBackend | This class actually uses Environment Generator and Java PathFinder. |
JPFCheckerSearch | Modified version of the DFSearch class distributed with JPF. |
ProtocolListener | Listener for JPF that monitors protocol-related events (method invoke and return) and notifies the BPChecker when any such event occurs. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |