NoInformationForReferenceClass : Exception levée lorsqu'on recherche sans succès le symbole de la classe de référence d'une spécification d'ensemble d'entités, parce que ...Cet échec peut notamment intervenir lors de l'expansion de la spécification.
- ... ni symbole ni nom de classe de référence n'ont été attribués à la spécification d'ensemble d'entités,
- ... ou bien parce qu'on a attribué un nom de classe de référence, mais que le symbole de classe ne peut pas être inféré parce qu'aucune instance de cette classe n'a encore été créée.
BadQuantitySpecification : Exception levée lorsqu'on tente de créer une spécification d'ensembles d'entités avec des valeurs incompatibles de quantificateur et d'effectif.
NoReturnInstanceProcedure : Exception levée lorsqu'une spécification d'ensembles d'entités de type RETURN_INSTANCES n'est dotée ni d'un prédicat de sélection, ni d'une fonction qui crée une liste d'entités.
NoInstantiationProcedure : Exception levée lorsqu'une spécification d'ensembles d'entités de type INSTANTIATE n'a pas été dotée d'une fonction qui crée une entité ou une liste d'entités.