DEFINITION MODULE COND; FROM LIST IMPORT List; FROM PROCS IMPORT ProcessInstance; TYPE Condition; UserDossier; PROCEDURE Create ( VAR C : Condition; V : BOOLEAN; Name : ARRAY OF CHAR ); PROCEDURE Init ( C : Condition; V : BOOLEAN ); PROCEDURE Wait ( C : Condition ); PROCEDURE SetTrue ( C : Condition ); PROCEDURE SetFalse ( C : Condition ); PROCEDURE CondState ( C : Condition ) : BOOLEAN; PROCEDURE WaitList ( C : Condition ) : List; PROCEDURE User ( U : UserDossier ) : ProcessInstance; PROCEDURE Delete ( VAR C : Condition ); END COND.