top - download
⟦81cbc39f8⟧ Wang Wps File
Length: 1583 (0x62f)
Types: Wang Wps File
Notes: Spelunked
Names: »~ORPHAN05.09«
Derivation
└─⟦9fe574faa⟧ Bits:30006242 8" Wang WCS floppy, CR 0334A
└─ ⟦this⟧ »~ORPHAN05.09«
WangText
e) PROCEDURE update ̲ol ̲state
(state, event ̲class) "input
(state, action ̲id) "output
input :
current state to be updated
event class identified in prcedure event ̲analyzer
output :
new state
action identifier
function:
update state and find action ̲id from
ol ̲state ̲table
external data:
ol ̲state ̲table
BEGN "update ̲ol ̲state
(state, action ̲id):= ol ̲state ̲table(state, event
̲class);
END; "end procedure
f) ROCEDURE update ̲dt ̲state
(state, event ̲class) "input
(state, action ̲id) "output
input :
current state to be updated
event class identified in procedure event ̲analyzer
output :
new state
action identifier
function:
update state and find action ̲id from
dt ̲state ̲table
external data:
dt ̲state ̲table
BEGIN "update ̲dt ̲state (state,
action
̲id):=
dt
̲state
̲table(state,
event
̲class);
END; "end procedure update ̲dt ̲state…86…1 …02… …02… …02… …02…
…02…
1.4.3 S̲e̲n̲d̲ ̲C̲L̲P̲ ̲M̲e̲s̲s̲a̲g̲e̲ ̲P̲s̲e̲u̲d̲o̲ ̲C̲o̲d̲e̲
PROCEDURE send ̲clps ̲message
(clps ̲message: clps ̲messages,
set ̲nak,
freeze ̲sc: boolean)
( )
input :
c
