@=~
~p typesetter = texinfo
~p maximum_input_line_length = infinity


~O~<VisAnaPrep.check.sl~>~{


SYMBOL State, Transition: Key: DefTableKey;
SYMBOL Connection: StartKey, EndKey: DefTableKey;

SYMBOL State COMPUTE
   SYNT.Key = KEYOF(THIS.persEndpoint);
END;

SYMBOL Transition COMPUTE
   SYNT.Key = KEYOF(THIS.persEndpoint);
END;

SYMBOL Connection COMPUTE
   SYNT.StartKey = KEYOF(THIS.persFrom);
   SYNT.EndKey = KEYOF(THIS.persTo);
END;

/*******************************************/

SYMBOL Connection COMPUTE
   IF (THIS.illegalConnection,
       message(ERROR, "IllegalConnection", 0, _currn));
END;

~}