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.
\dDoit correspondre à un chiffre.
\wDoit correspondre à un alpha-numérique.
\tDoit correspondre à une tabulation.
\nDoit correspondre à un saut de ligne.
\rDoit correspondre à un retour chariot.
\sDoit 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.