BufferModule: obj
%requires MonitorSystem,LIB.String
%visible MonitorSystem,String
kuk:
Buffer: Monitor
put: entry
in x: var integer
--console.display
-- "Buffer:put: {I2S(x)}\n".print
gett: entry
out V: var integer
test: entry
-- Race condition with Consumer:: console.display
L: obj
head: ref Elm
last: ref Elm
Elm:
in V: var integer
next: ref Elm
add:
in x: var integer
get:
out V: var integer