Commit 1bad159a authored by Lev Walkin's avatar Lev Walkin

per constraints checking

parent 5b62ca84
......@@ -11,6 +11,11 @@ ModuleConstraintPrecedence
DEFINITIONS ::=
BEGIN
C ::= IA5String (SIZE(10) ^ FROM("A".."D") | SIZE(20) ^ FROM("D".."F"))
C ::= IA5String (SIZE(10) ^ FROM("A".."D")
| SIZE(20) ^ FROM("D".."F"))
P ::= IA5String (FROM("AB") ^ SIZE(1..2)
| FROM("DE") ^ SIZE(3)
| FROM("AXE") ^ SIZE(1..5))
END
......@@ -8,4 +8,9 @@ C ::= IA5String (SIZE(10) ^ FROM("A".."D") | SIZE(20) ^ FROM("D".."F"))
-- Practical constraints (C): (MIN..MAX) (SIZE(10 | 20)) (FROM("A".."F"))
-- PER-visible constraints (C): (MIN..MAX) (SIZE(10 | 20)) (FROM("A".."F"))
P ::= IA5String (FROM("AB") ^ SIZE(1..2) | FROM("DE") ^ SIZE(3) | FROM("AXE") ^ SIZE(1..5))
-- Combined constraints: (FROM("AB") ^ SIZE(1..2) | FROM("DE") ^ SIZE(3) | FROM("AXE") ^ SIZE(1..5))
-- Practical constraints (P): (MIN..MAX) (SIZE(1..5)) (FROM("A".."B" | "D".."E" | "X"))
-- PER-visible constraints (P): (MIN..MAX) (SIZE(1..5)) (FROM("A".."B" | "D".."E" | "X"))
END
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment