: Public Package
Created: |
31/05/2009 14:32:07 |
Modified: |
08/05/2020 16:25:27 |
|
Project: |
|
Author: |
ENTSO-E |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Difficulty: |
|
Priority: |
|
Multiplicity: |
|
Advanced: |
|
UUID: |
{59496D66-6847-4821-A916-E25BA4ECCA61} |
Appears In: |
IEC62325Profiles |
This package contains the definition of the ESMP European style market profile.<br/>
- Tagged Values
- Constraints
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/>
|