UnexpectedAddToListProcessAction : Exception levée lors de l'addition d'un couple {processus, action} par AddProcessAction, si l'action est une deuxième de type PROCEED, ou si l'addition du couple ne respecterait pas les critères d'ordre suivants :
- 1) INIT avant EXEC avant STOP avant PROCEED ;
- 2) plus petit PAS d'abord, pour deux processus continus.
UnexpectedInsertInListProcessAction : Exception levée lorsqu'une deuxième action de type PROCEED est insérée dans la liste des couples {processus, action}, par InsertProcessAction.
UnexpectedVoidListProcessAction : Avertissement émis lorsqu'on accède à la liste des couples {processus, action} d'un événement (par FirstProcess ou FirstActionLabel), alors que celle-ci est vide. L'utilisateur doit gérer le pointeur NULL renvoyé par FirstProcess ou la valeur UNSPECIFIED renvoyée par FirstActionLabel.
UnfoundProcessForAddingToEvent : Avertissement émis lors d'un ajout de couple {processus, action} avec un processus non trouvé à partir de son nom de classe
UnfoundProcessInEvent : Exception levée lors de la recherche d'un processus, à partir de son symbole de classe, dans la liste de couples {processus, action}.
UnAuthorizedDirective : Exception levée lorsque la méthode ApplyConsequences tente une directive non autorisée sur un processus. Le premier argument est le processus, le second argument est la directive.