ValidationRules Classe

Valide le fait qu'un terme d'annotations de glossaire puisse être trouvé via le modèle contenant l'annotation.

Valide le fait que la longueur maximale d'un type binaire ne soit pas négative.

Valide le fait qu'isUnbounded ne puisse pas obtenir la valeur true si MaxLength est non Null.

Valide que si une opération peut être liée, elle doit avoir des paramètres non facultatifs.

Valide le fait que toutes les propriétés d'une expression de collection soient du type correct.

Valide le fait que la précision soit comprise entre 0 et la précision maximale du type décimal.

Valide le fait que l'échelle soit comprise entre 0 et la précision du type décimal.

Valide que le nom d’une annotation directe peut être sérialisé en toute sécurité au format XML.

Vérifie qu’aucune annotation directe ne partage le même nom et le même espace de noms.

Valide le fait qu'il n'y ait pas de nom en double dans un conteneur d'entités.

Un élément de conteneur d'entités sans autres erreurs ne doit pas contenir d'éléments de type none.

Valide le fait que le type d'entité encapsulé dans cette référence d'entité puisse être trouvé dans le modèle validé.

Valide le fait qu'un jeu d'entités puisse être ciblé uniquement par une seule propriété de navigation dont le contenu est défini sur true.

Valide le fait que si un mappage de propriété de navigation est celui d'une relation contenant-contenu récursive, le mappage désigne le jeu d'entités source.

Valide que le type d’un jeu d’entités ne peut pas être Edm.EntityType.

Valide que le type de jeu d’entités est une collection de type d’entité.

Valide que les fonctions d’échappement sont uniques.

Valide le fait qu'il n'y ait pas de propriété en double dans une clé d'entité.

Valide le fait que toutes les parties d'une clé d'entité soient scalaires.

Valide le fait qu'une clé ne soit pas définie s'il en existe déjà une dans le type de base.

Valide le fait qu'aucune partie d'une clé d'entité ne soit nullable.

Valide le fait que le type d'entité ait une clé.

Valide que toutes les propriétés de la clé d’une entité s’étendent à cette entité.

Valide que Edm.PrimitiveType ne peut pas être utilisé comme type d’une propriété clé d’un type d’entité.

Génère une erreur si le type d’un membre d’énumération ne correspond pas au type sous-jacent de l’énumération auquel il appartient.

Déclenche une erreur si le type sous-jacent d'un type enum ne correspond pas à un type entier.

Valide le fait qu'il n'y ait pas de membre enum en double dans une énumération.

Valide que le type sous-jacent d’une définition de type ne peut pas être Edm.PrimitiveType.

Valide le fait que les types d'une application de fonction soient corrects.

Valide que l’importation de fonction incluse dans le document de service ne doit pas avoir de paramètres.

Valide que si une fonction, elle doit avoir un type de retour.

Vérifie que si une fonction liée a l’annotation Org.OData.Community.V1.UrlEscapeFunction, elle doit être une fonction liée.

Vérifie que si une fonction liée a l’annotation Org.OData.Community.V1.UrlEscapeFunction, elle ne doit avoir qu’un seul paramètre de chaîne.

Valide qu’une expression if a une condition booléenne.

Valide qu’une annotation immédiate marquée pour être sérialisée en tant qu’élément peut être sérialisée en toute sécurité.

Valide qu’une annotation immédiate a un nom et un espace de noms.

Valide que toutes les surcharges de fonction portant le même nom ont le même type de retour.

Valide le fait qu'il n'y ait pas de propriété en double dans une clé d'entité.

Valide le fait que chaque élément de schéma dans le modèle actuel soit unique dans tous les modèles référencés.

Valide le fait qu'un nom d'élément corresponde au modèle de noms autorisé conformément à la spécification CSDL.

Valide le fait qu'un nom d'élément ne soit pas trop long conformément à la spécification CSDL.

Valide le fait qu'un nom ne soit pas vide ou qu'il ne corresponde pas à un espace blanc.

Vérifie que si une propriété de navigation est parcourue vers un autre jeu d’entités/singleton, puis que le partenaire de propriétés de navigation est parcouru, la destination sera l’ensemble d’entités source/singleton.

Vérifie que le chemin de liaison de la propriété de navigation doit être résolu en un chemin d’accès valide, c’est-à-dire : chaque segment du chemin d’accès doit être défini, et les segments de chemin d’accès internes ne peuvent être complexes ou contenants que, et le dernier segment de chemin d’accès doit être le nom de la propriété de navigation.

Valide le fait que le type d'une propriété de navigation corresponde à l'autre terminaison de l'association et à la multiplicité de l'autre terminaison.

Valide que si les propriétés dépendantes sont équivalentes à la clé de l’entité dépendante, la multiplicité de l’entité dépendante ne peut pas être 1 Valide la multiplicité de l’entité dépendante selon les règles suivantes : 0.1, 1 - si les propriétés dépendantes représentent la clé d’entité dépendante. * - si les propriétés dépendantes ne représentent pas la clé d’entité dépendante.

Valide le fait que toutes les propriétés dépendantes d'une propriété de navigation appartiennent au type d'entité dépendant.

Valide le fait que les propriétés dépendantes d'une propriété de navigation ne contiennent pas de doublons.

Valide le fait que la propriété de navigation n'ait pas à la fois de multiplicité d'une et plusieurs opérations OnDelete.

Valide le fait que si une entité ne s'auto-contient pas, elle ne peut pas s'auto-contenir via une boucle de relation contenant-contenu.

Valide le fait que seule une terminaison d'une association ait une opération OnDelete.

Valide le fait que la cible du mappage d'une propriété de navigation est valide pour le type de cible de la propriété.

Vérifie qu’aucune propriété de navigation n’est mappée plusieurs fois pour un seul chemin.

Valide que le chemin d’accès du partenaire de la propriété de navigation, s’il existe, doit être résolu dans une propriété de navigation.

Valide la multiplicité de la fin du principal : 0..1 - si certaines propriétés dépendantes sont nullables, 1 - si certaines propriétés dépendantes ne sont pas nullables.

• • non autorisé.

Vérifie que la propriété de type de chemin d’accès ne peut pas être définie pour le type de la propriété de navigation.

Valide que chaque paire de propriétés entre les propriétés dépendantes et les propriétés principales est du même type.

Vérifie que si une propriété de navigation a ContainsTarget = true et que le type d’entité cible est defferent par rapport au type de déclaration de la propriété, la multiplicité de la source de navigation est Un.

Vérifie que si une propriété de navigation a ContainsTarget = true et que le type d’entité cible est le même que le type de déclaration de la propriété, la multiplicité de la source de navigation est Zero-Or-One. Cela dépend de l'existence d'un cycle de ciblage. En raison de la règle NavigationMappingMustBeBidirectional, nous savons que c’est toujours vrai, ou qu’il y aura une erreur

Vérifie que si une propriété de navigation a ContainsTarget = true et que le type d’entité cible est identique au type de déclaration de la propriété, la multiplicité de la cible de navigation est 0..1 ou Plusieurs. Cela dépend de l'existence d'un cycle de ciblage. En raison de la règle NavigationMappingMustBeBidirectional, nous savons que c’est toujours vrai, ou qu’il y aura une erreur

Vérifie qu’il n’existe aucun jeu d’entités ou singleton dont le type d’entité n’a pas de propriété définie avec le type Path.

Valide que le type d’entité d’un jeu d’entités ou d’un singleton peut être trouvé à partir du modèle en cours de validation.

Vérifie qu’il n’existe aucun jeu d’entités ou singleton dont le type d’entité n’a pas de clé.

Valide qu’un type complexe ouvert ne peut pas avoir de type complexe dérivé fermé.

Valide que si une opérationImport est lié, elle doit avoir des paramètres.

Vérifie que si une importation d’opération ne peut pas importer une opération liée.

Valide que le jeu d’entités d’une importation d’opération est défini à l’aide d’un chemin d’accès ou d’une expression de référence de jeu d’entités.

Valide que le type de retour d’une importation d’opération doit correspondre au type du jeu d’entités de la fonction.

Valide qu’une opération n’a pas plusieurs paramètres portant le même nom.

Valide que le type de retour ne peut pas être Collection(Edm.PrimitiveType) ou Collection(Edm.ComplexType).

Vérifie que le type de retour est cohérent avec le chemin d’ensemble d’entités s’il existe.

Valide qu’une importation d’opération a un type de retour autorisé.

Valide que les paramètres facultatifs doivent venir avant les paramètres requis.

Un type primtive sans autres erreurs ne doit pas avoir de type none.

Valide le fait que, si une valeur primitive déclare un type, la valeur soit acceptable pour le type.

Une propriété sans autres erreurs ne doit pas contenir d'éléments de type none.

Collection(Edm.PrimitiveType) et Collection(Edm.ComplexType) ne peuvent pas être utilisés comme type d’une propriété.

Valide le fait que la valeur d'une liaison de valeur de propriété corresponde au type correct.

Valide le fait que, si une expression d'enregistrement de valeur déclare un type, les types de propriété soient corrects.

Un élément de schéma sans autres erreurs ne doit pas contenir d'éléments de type none.

Valide le fait qu'un espace de noms d'élément corresponde au modèle d'espaces de noms autorisé conformément à la spécification CSDL.

Valide le fait qu'un espace de noms d'élément ne soit pas trop long conformément à la spécification CSDL.

Valide le fait qu'un espace de noms d'élément ne soit pas vide ou qu'il ne corresponde pas à un espace blanc.

Valide le fait qu'un espace de noms d'élément ne corresponde pas à un espace de noms réservé du système.

Valide que le type de singleton ne peut pas être Edm.EntityType.

Valide que le type de singleton est le type d’entité.

Valide le fait que la longueur maximale d'une chaîne ne soit pas négative.

Valide le fait qu'IsUnbounded ne puisse pas obtenir la valeur true si MaxLength est non Null.

Valide le fait que la propriété soit d'un type autorisé.

Valide que le type de base d’un type structuré ne peut pas être Edm.EntityType ou Edm.ComplexType.

Valide le fait que le type de base d'un type complexe soit complexe, et que le type de base d'un type d'entité corresponde à une entité.

Valide le fait que le type de base d'un type structuré puisse être récupéré à partir du modèle validé.

Valide le fait qu'un type ne possède pas de propriété portant le même nom que ce type.

Valide le fait que le type déclarant d'une propriété contienne cette propriété.

Valide le fait qu'il n'y ait pas de propriété en double dans un type.

Valide le fait que la précision soit comprise entre 0 et la précision maximale du type temporel.

Valide que le type sous-jacent d’une définition de type ne peut pas être Edm.PrimitiveType.

Un type sans autres erreurs ne doit pas contenir d'éléments de type none.

Valide le fait qu'une référence de type fasse référence à un type qui peut être trouvé dans le modèle validé.

Vérifie que toutes les surcharges de fonction ont les mêmes types de retour.

Valide le fait qu'il n'y ait pas d'annotations qui partagent les mêmes terme et qualificateur.

Valide que si une annotation de vocabulaire déclare un type, l’expression de cette annotation a le type correct.

Valide le fait qu'une cible d'annotations de glossaire puisse être trouvée via le modèle contenant l'annotation.

Valide qu’une cible d’annotations de vocabulaire peut être autorisée dans le s’appliqueTo du terme.