STRE
	SGLB	Misc/Class Reference
		CLAS	354025
	ESBR
	SORD	2
		LITO	1	current state:  0=error, 1=safe, 2=alarm, 3=unack'd, 4=new
		LITO	1	/e,Active-false,Active-true;Input sense
		LITO	1	/o,1,255;Legend number (1-255)
	ESBR
	CMTL	 	4  (ownership info)  (exists only after initialization)
		MSGE
			LITO	0	master reference
			GSYM	Alarm/Report
		EMSG
	ECMT
ESTR
STRE
	SGLB	Misc/Superclass Reference
		CLAS	354008
	ESBR
	SGLB	Alarm/Init	for internal class use only
		CMNT	 	Expects:  É ¥ inst/master/É
		CMNT	 	------ creates entry 4 (ownership info)
		LIST	 	É ¥ list/inst/master/É
			GSYM	Alarm/Report
		ELST
		PRIM	Stack/Rotate down	É ¥ master/list/inst/É
		PRIM	List/Splice	É ¥ list'/inst/É
		PRIM	Tags/Set delegate	É ¥ MSGE/inst/É
		PRIM	List/Item to list	É ¥ MSGE/inst/É
		LITO	4	É ¥ key/message/inst/É
		PRIM	Stack/Swap	É ¥ message/key/inst/É
		PRIM	S_tree/Put	É ¥ inst/É
		PRIM	Heap/Store self
	ESBR
	SGLB	Alarm/Input	/3t5,false,true;Input
		CMNT	 	Expects:  É ¥ inst/arg/É
		PRIM	Stack/Second to aux	É/arg ¥ inst/É
		LITO	0	É/arg ¥ 0/inst/É
		LITO	2	É/arg ¥ 2/0/inst/É
		PRIM	S_tree/Read	É/arg ¥ list/inst/É
		PRIM	List/Remove	É/arg ¥ list'/state/inst/É
		PRIM	List/Remove	É/arg ¥ list''/type/state/inst/É
		PRIM	Stack/Drop	É/arg ¥ type/state/inst/É
		LCAL	input	É ¥ input/state/inst/É
		BRFL	 	branch if input=safe
			STRE	 	'safe' state s-tree
				SORD	1	safe
					PRIM	Heap/Store self
				ESBR
				SORD	2	alarm
					LITO	2	É ¥ transition/inst/É
					LITO	1	É ¥ new_state/transition/inst/É
					LCAL	send
				ESBR
				SORD	3	unack'd
					PRIM	Heap/Store self
				ESBR
				SORD	4	new
					LITO	3	É ¥ new_state/inst/É
					CALL	354065
				ESBR
			ESTR
		BRTR
		STRE	 	'alarm' state s-tree
			SORD	1	safe
				LITO	1	É ¥ transition/inst/É
				LITO	4	É ¥ new_state/transition/inst/É
				LCAL	send
			ESBR
			SORD	2	alarm
				PRIM	Heap/Store self
			ESBR
			SORD	3	unack'd
				LITO	4	É ¥ new_state/inst/É
				CALL	354065
			ESBR
			SORD	4	new
				PRIM	Heap/Store self
			ESBR
		ESTR
	ESBR
	SGLB	Alarm/Enquire	for internal class use only!
		CMNT	 	Expects:  É ¥ inst/É
		CMNT	 	Returns:  É ¥ ref/É
		CMNT	 	Note that this method must be CALLED !!!
		LITO	3	É ¥ 3/inst/É
		LITO	2	É ¥ 2/3/inst/É
		PRIM	S_tree/Read	É ¥ legend/inst/É
		PRIM	Stack/Swap	É ¥ inst/legend/É
		PRIM	Heap/Store self
	ESBR
	SGLB	Alarm/IntAck	for internal class use only!
		CMNT	 	Expects:  É ¥ inst/É
		LITO	1	É ¥ 1/inst/É
		LITO	2	É ¥ 2/1/inst/É
		PRIM	S_tree/Read	É ¥ state/inst/É
		STRE	 	state s-tree
			SORD	1	safe
				PRIM	Heap/Store self
			ESBR
			SORD	2	alarm
				PRIM	Heap/Store self
			ESBR
			SORD	3	unack'd
				LITO	3	É ¥ transition/inst/É
				LITO	1	É ¥ new_state/transition/inst/É
				LCAL	send
			ESBR
			SORD	4	new
				LITO	4	É ¥ transition/inst/É
				LITO	2	É ¥ new_state/transition/inst/É
				LCAL	send
			ESBR
		ESTR
	ESBR
	SGLB	Alarm/Get State	/2e84,Error,Safe,Ack'd Alarm,Unack'd Cleared Alarm,New Alarm
		LITO	1
		CALL	354072
	ESBR
ESTR
LDEF	input
	CMNT	 	determines the input state: safe or alarm
	CMNT	 	Input:  É/arg ¥ type/É
	CMNT	 	Output:  É ¥ input/É
	BRFL	 	branch if active-low
		PRIM	Stack/Push from aux	É ¥ arg/É
		PRIM	Ordinal/Test zero	É ¥ input/É
	BRTR
	PRIM	Stack/Push from aux	É ¥ arg/É
EDEF
LDEF	send
	CMNT	 	sends the transition to the handler and stores the new state
	CMNT	 	Input:  É ¥ state/transition/inst/É
	CMNT	 	Output:  É ¥ É
	PRIM	Stack/Switch	É ¥ inst/transition/state/É
	LITO	0	É ¥ 0/inst/transition/state/É
	LITO	4	É ¥ 4/0/inst/transition/state/É
	PRIM	S_tree/Test and read	É ¥ rslt/(message)/inst/transition/state/É
	BRFL	 	branch if not initialized
		PRIM	Stack/Rotate up	É ¥ transition/state/inst/É
		PRIM	Stack/Drop	É ¥ state/inst/É
		CALL	354065
	BRTR
	PRIM	Stack/Rotate down	É ¥ transition/message/inst/state/É
	PRIM	List/Splice	É ¥ message'/inst/state/É
	PRIM	Heap/Name of self	É ¥ self/message'/inst/state/É
	PRIM	List/Splice	É ¥ message''/inst/state/É
	PRIM	Misc/Name of node	É ¥ name/message''/inst/state/É
	PRIM	Stack/Swap	É ¥ message''/name/inst/state/É
	PRIM	Misc/Post event	É ¥ inst/state/É
	PRIM	Stack/Swap	É ¥ state/inst/É
	CALL	354065
EDEF