|
||||||||||
| 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 | |||||||||