Next: Aspect Dimension, Previous: Aspect Contract_Cases, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Depends.