Add facets to ABIE / MBIE by means of OCL- statements

[peter-vermeulen]

If the tag type is integer, a “=” and if the tag type is string a “=” or “::” may be used. ebIX ETC has decided to limit the options (”=” or ”::”) to only use ”=” for the facets and to continue using ”::” for the enumeration literals used.

Allowed facets are: length, maxLength, minLength, maxInclusive, maxExclusive, minInclusive, minExclusive, pattern, fractionalDigits, totalDigits

Example:
inv: : self.Payload.SDP_Used.ServiceComponent_Identification.content.length=8

<xsd:complexType name="ServiceDeliveryPointLocation"> <xsd:sequence> <xsd:element ref="bie:HeadpointIdentificationDomainLocation" minOccurs="1" maxOccurs="1"/> <xsd:element name="ServiceComponentIdentification" minOccurs="1" maxOccurs="1"> <xsd:complexType> <xsd:simpleContent> <xsd:restriction base="bie:ServiceIdentifierType_BE000001"> <xsd:length value="8"/> </xsd:restriction> </xsd:simpleContent> </xsd:complexType> </xsd:element> </xsd:sequence> </xsd:complexType> <xsd:element name="SDPUsedServiceDeliveryPointLocation" type="bie:ServiceDeliveryPointLocation"/> 

[peter-vermeulen]

See https://github.com/peter-vermeulen/ebix/blob/master/org.ebix.umm/src/org/ebix/umm/templates/xsd/BdtLibrarySchema.xtend

BDT properties support already a few facets: length, minLength, maxLength, and pattern.
Is this more of the same?

In that case the following steps need to be taken:

1. Add facets to https://github.com/peter-vermeulen/ebix/blob/master/org.ebix.umm/src/org/xtext/umm/Umm.xtext
2. Update XSD template with the new facets in https://github.com/peter-vermeulen/ebix/blob/master/org.ebix.umm/src/org/ebix/umm/templates/xsd/BdtLibrarySchema.xtend
3. Recognize the OCL rules in https://github.com/peter-vermeulen/ebix/blob/master/org.ebix.umm/src/org/ebix/umm/validation/ocl/UmmOclValidator.xtend
4. Execute the OCL rules on the UMM model in https://github.com/peter-vermeulen/ebix/blob/master/org.ebix.umm/src/org/ebix/umm/invariants/Invariants.xtend