Package org.jboss.aspects.dbc

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
 

Annotation Types Summary
Dbc  
Invariant  
PostCond  
PreCond  
StaticInvariant  
 



Copyright © 2009 JBoss, a division of Red Hat, Inc.. All Rights Reserved.