Next: Aspect Default_Initial_Condition, Previous: Aspect Contract_Cases, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Depends.