Erreurs sur les spécifications d'ensembles d'entités

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.

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.


This page was generated with the help of DOC++.