On Fri, 4 Oct 2002, Garrett Goebel wrote:
: That wasn't the way I remembered it from Apoc 4... The following example is
: not in A4, but its what I inferred from it...
:
: Class Foo {
: method eat($food) is abstract {
: PRE { ... }
: POST { ... }
: }
: }A4 was proposing those for a different purpose, and confusing the issue with DBC. Those are now FIRST and LAST, and the pre/post syntax is still undecided. Larry
