: Public Package
Created: 31/05/2009 14:32:07
Modified: 08/05/2020 16:25:27
Project:
Advanced:
This package contains the definition of the ESMP European style market profile.<br/>
Tag Value
ContextQualifierPrefix ESMP
Details:
 
documentationNumber 351
Details:
 
Constraint Type Status
Global OCL Library Definitions OCL Approved
Details:
-- define all different variable and operation valid for all OCL constraints across the modell<br/>Def:  AlphanuUpper :set(String)=Set{'A'..'Z',1..9,'-'}<br/>Def:   CheckCharacters: set(String)=Set{'A'..'Z',1..9}<br/>Def:   Digital:set(String) = Set{1..9}<br/>Def:   Alphanu: set(String)=Set{'a'..'z','A'..'Z',1..9}<br/>Def:   Numeric: set(String)=Set{1..9,'.','-'}<br/>Def:   isAlphanuUpper(s:String) :Boolean= let ensemble=Set{1..s.size()}  in<br/>                  s.MinimumLength(1)  and    ensemble-#gt;forAll(i | Alphanu-#gt;includes(s.substring(i,i)))<br/>Def: isDigital(s:String):Boolean = let ensemble=Set{1..s.size()}  in<br/>                  s.MinimumLength(1)  and ensemble-#gt;forAll(i | Digital-#gt;includes(s.substring(i,i)))<br/><br/>Def: isCheck(s:String):Boolean = let ensemble=Set{1..s.size()}  in<br/>                 s.MinimumLength(1)  and ensemble-#gt;forAll(i | CheckCharacters-#gt;includes(s.substring(i,i)))<br/><br/>Def: isAlphanu(s:String):Boolean = let ensemble=Set{1..s.size()}  in<br/>                  s.MinimumLength(1)  and ensemble-#gt;forAll(i | Alphanu-#gt;includes(s.substring(i,i)))<br/><br/>Def:   isVersionNumber(s:String)  :Boolean= isDigital(s) and  0#lt;s.size()#lt;=3 and  s.substring(1,2) #lt;#gt; 00<br/><br/>Def: isAlphanuInf35(s:String) :Boolean=isAlphanu(s) and s.size()#lt;=35 -- alphanu string  with less than 35 characters<br/><br/>Def: isNumeric(s:String):Boolean = let ensemble=Set{1..s.size()}  in<br/>            s.MinimumLength(1)  and ensemble-#gt;forAll(i | Numeric#gt;includes(s.substring(i,i)))<br/><br/>Def:  NoLeadingZeros(s:String)  :Boolean= s.MinimumLength(1)  and s.substring(1,1) #lt;#gt; 0  <br/> <br/>Def:<br/>let Length(Length : Integer) : Boolean<br/>self.size()=Length<br/><br/>let MinimumLength(MinimumLength : Integer) : Boolean<br/>self.size()#gt;=MinimumLength<br/><br/>let MaximumLength(MaximumLength : Integer) : Boolean<br/>self.size()#lt;=MaximumLength<br/><br/>let TotalDigits(TotalDigits : Integer) : Boolean<br/>self.oclAsType(string).size()-1=TotalDigits<br/><br/>let FractionalDigits(FractionalDigits : Integer) : Boolean<br/>(self – floor(self)).oclAsType(string).size()-2=FractionalDigits<br/><br/>let MinimumInclusive(MinimumInclusiveDate : Float) :Boolean<br/>self #gt;= MinimumInclusiveDate<br/><br/>let MaximumInclusive(MaximumInclusiveDate : Float) :Boolean<br/>self #lt;= MaximumInclusiveDate<br/><br/>let MinimumExclusive(MinimumExclusiveDate : Float) :Boolean<br/>self #gt; MinimumExclusiveDate<br/><br/>let MaximumExclusive(MaximumExclusiveDate : Float) :Boolean<br/>self #lt; MinimumInclusiveDate<br/><br/>let MinimumInclusiveDate(MinimumInclusiveDate : String) :Boolean<br/>self #gt;= MinimumInclusiveDate<br/><br/>let MaximumInclusiveDate(MaximumInclusiveDate : String) :Boolean<br/>self #lt;= MaximumInclusiveDate<br/><br/>let MinimumExclusiveDate(MinimumExclusiveDate : String) :Boolean<br/>self #gt; MinimumExclusiveDate<br/><br/>let MaximumExclusiveDate(MaximumExclusiveDate : String) :Boolean<br/>self #lt; MaximumExclusiveDate<br/><br/>let Pattern (RegularExpresion : String) : Boolean<br/>1 = 1<br/><br/>