Facets
Namespace: AntaniXml
Parent Module: XsdDomain
Facets are constraints on values of simple types
Record Fields
| Record Field | Description |
Enumeration
Signature: string list
|
|
FractionDigits
Signature: int option
|
|
Length
Signature: int option
|
|
MaxExclusive
Signature: string option
|
|
MaxInclusive
Signature: string option
|
|
MaxLength
Signature: int option
|
|
MinExclusive
Signature: string option
|
|
MinInclusive
Signature: string option
|
|
MinLength
Signature: int option
|
|
Patterns
Signature: string list list
|
modeled as a list of lists because, even though a type definition may specify only one list of patterns (indicating that valid values must match at least one of them), derived types may add more. And patterns added in derivations are meant to be in logical AND. For example if a base type defines patterns [p1;p2] and a derivation adds [p3;p4], valid values for the resulting [[p1;p2];[p3;p4]] must match (p1 OR p2) AND (p3 OR p4) |
TotalDigits
Signature: int option
|
|
WhiteSpace
Signature: WhitespaceHandling option
|
|
