Checking Abstract Types

• Specification: set.lcl contains the single line

  • mutable type set;

• Client code

  • #include “set.h”bool f(set s, set t) { if (s->size > 0) return (s == t); ...

• > lclint set client.c

  • client.c:4,7: Arrow access field of abstract type (set): s->size
  • client.c:5,13: Operands of == are abstract type (set): s == t

Previous slide

Next slide

Back to first slide

View graphic version