Local and Global Consistency

• Local consistency: Determine consistency of a single class file in isolation

  • type check stack and local variables
  • type assumptions regarding other classes are consistent with method code

• Global Consistency: Assumptions made in one class file about the the existence of fields, and methods in other classes are verified when the other class is loaded

Previous slide

Next slide

Back to first slide

View graphic version