make api.Destination a class rather than an interface
authoradam <adam@megacz.com>
Thu, 1 Mar 2007 13:15:15 +0000 (14:15 +0100)
committeradam <adam@megacz.com>
Thu, 1 Mar 2007 13:15:15 +0000 (14:15 +0100)
commitcb691390d68a386e88e37d4c627eeec16d58cca2
tree8b11af5fb23b6416829aafb1aaee01a77dd632dc
parentca1165cfa4b519c51da429f172955a943d8b65d4
make api.Destination a class rather than an interface
contrib/demo.f0
src/edu/berkeley/fleet/api/Destination.java
src/edu/berkeley/fleet/interpreter/Inbox.java
src/edu/berkeley/fleet/interpreter/InterpreterBenkoBox.java
src/edu/berkeley/fleet/interpreter/InterpreterDestination.java
src/edu/berkeley/fleet/interpreter/Outbox.java
src/edu/berkeley/fleet/slipway/Slipway.java
src/edu/berkeley/fleet/slipway/SlipwayBenkoBox.java