p6i Example: Bounded Buffer: Interface

• Interface --- abstract state set and method signagures.

  bbuf = interface { full, mid, empty }
    new = method(n:int) replies(self{empty})
    put = method({empty,mid}b:self{mid,full}, i:int)
    get = method({full,mid}b:self{mid,empty}) replies(int)
  end bbuf
  

• Postconditions are currently unused (planned:: compiler checks).