org.jboss.aspects.dbc
Interfaces 
Dbc
Invariant
PostCond
PreCond
StaticInvariant
Classes 
DesignByContractAspect