PATTERN

Instruction. Contrainte par une expression régulière.

Syntaxe

PATTERN Valeur

Description

L'instruction PATTERN permet de définir une contrainte par une expression régulière portant sur les valeurs possible du type surchargé.

Cette instruction ne s'applique qu'un type déclaré par l'instruction CHARACTER STRING.

Voici la liste des jokers admissibles :

Joker.	Sémantique.
`[ ]`	Doit appartenir à l'ensemble.
`[ - ]`	Doit appartenir à l'intervalle.
`[^ ]`	Ne doit pas appartenir à l'ensemble.
`[^ - ]`	Ne doit pas appartenir à l'intervalle.
`{ , , , }`	Doit correspondre au code Unicode.
`\N{ }`	Doit correspondre au caractère nommé.
`.`	Ne doit pas correspondre à un séparateur.
`\d`	Doit correspondre à un chiffre.
`\w`	Doit correspondre à un alpha-numérique.
`\t`	Doit correspondre à une tabulation.
`\n`	Doit correspondre à un saut de ligne.
`\r`	Doit correspondre à un retour chariot.
`\s`	Doit correspondre à un séparateur.
`\\`	Doit correspondre à division inversée \.
`""`	Doit correspondre à guillemet ".
`\|`	Disjoint de critères.
`( )`	Isolation d'un critère.
`*`	Zéro, une ou plusieurs occurrences.
`+`	Une ou plusieurs occurrences.
`?`	Zéro ou une occurrence.
`#(n)`	Exactement n occurrences.
`#(,n)`	Au plus n occurrences.
`#(n,)`	Au moins n occurrences.
`#(m,n)`	Entre m et n occurrences.

Exemple


-- Definition d'un type dont les valeurs commencent par un A.

MonType1 ::= CHARACTER STRING (PATTERN "A.*")



-- Definition d'un type dont les valeurs comprennent 3 lettres dans entre A et E.

MonType2 ::= CHARACTER STRING (PATTERN "[A-C]#(3)")

Voir aussi INCLUDES pour définir une contrainte par une restriction de la plage de valeurs. SIZE pour définir une contrainte par une taille.