|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Dbc | |
Invariant | |
PostCond | |
PreCond | |
StaticInvariant |
Class Summary | |
---|---|
DesignByContractAspect | TODO: -Once version of beanshell in cvs allows importObject() (2.0, currently in beta), make invariants use that, so don't have to use $tgt for class invariants -Add $old funtionality |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |