Applications
global constraints
- have been artificially described as a data flow problem
- in fact, need only be done on a per class basis, not on a per statement basis
- Constraints types and their relationships can be analyzed at design time.
Local constraints and JSR/RET