

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.
