Claim

• This graph shows which functions would have to be checked when changing the invariants of the current vehicle object

  • Requires semantics, since many of the relationships are induced by aliasing over pointers

Previous slide

Next slide

Back to first slide

View graphic version