Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

...
 
Commits (1)
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -377,7 +379,7 @@ public interface AbstractDataAttribute extends DataAttribute {
* @see #setRefersToEnumType(EnumType)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAbstractDataAttribute_RefersToEnumType()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.EnumType#getReferredByAbstractDataAttribute
* @model opposite="ReferredByAbstractDataAttribute" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ReferredByAbstractDataAttribute" resolveProxies="false" unsettable="true"
* @generated
*/
EnumType getRefersToEnumType();
......@@ -458,4 +460,40 @@ public interface AbstractDataAttribute extends DataAttribute {
*/
boolean isSetVal();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AbstractDataAttribute_bType_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'bType attribute shall be present in AbstractDataAttribute (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.bType &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateAbstractDataAttribute_bType_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AbstractDataAttribute_bType_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'bType attribute shall be valid in AbstractDataAttribute (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.bType.toString()\n ,\n\tstatus : Boolean = \n self.bType &lt;&gt; null implies self.validSclBasicTypeEnum( bType )\n\n \n}.status'"
* @generated
*/
boolean validateAbstractDataAttribute_bType_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AbstractDataAttribute_type_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'type attribute shall be valid in AbstractDataAttribute (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.type.toString()\n ,\n\tstatus : Boolean = \n self.type &lt;&gt; null implies self.validSclAnyName( bType )\n\n \n}.status'"
* @generated
*/
boolean validateAbstractDataAttribute_type_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AbstractDataAttribute_count_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'count attribute shall be valid in AbstractDataAttribute (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.count.toString()\n ,\n\tstatus : Boolean = \n self.count &lt;&gt; null implies self.validSclDACount( count )\n\n \n}.status'"
* @generated
*/
boolean validateAbstractDataAttribute_count_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
} // AbstractDataAttribute
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -171,4 +173,13 @@ public interface AbstractEqFuncSubFunc extends PowerSystemResource {
*/
boolean isSetSubGeneralEquipment();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AbstractEqFuncSubFunc_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateAbstractEqFuncSubFunc_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
} // AbstractEqFuncSubFunc
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Access Control</b></em>'.
......@@ -45,7 +48,7 @@ public interface AccessControl extends SclObject {
* @see #setLDevice(LDevice)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAccessControl_LDevice()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.LDevice#getAccessControl
* @model opposite="AccessControl" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="AccessControl" resolveProxies="false" unsettable="true"
* @generated
*/
LDevice getLDevice();
......@@ -60,4 +63,13 @@ public interface AccessControl extends SclObject {
*/
void setLDevice( LDevice value );
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AccessControl_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateAccessControl_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
} // AccessControl
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -219,7 +221,7 @@ public interface AccessPoint extends UnNaming {
* @see #setIED(IED)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAccessPoint_IED()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.IED#getAccessPoint
* @model opposite="AccessPoint" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="AccessPoint" resolveProxies="false" unsettable="true"
* @generated
*/
IED getIED();
......@@ -331,7 +333,7 @@ public interface AccessPoint extends UnNaming {
* @see #setServerAt(ServerAt)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAccessPoint_ServerAt()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.ServerAt#getAccessPoint
* @model opposite="AccessPoint" containment="true" unsettable="true" ordered="false"
* @model opposite="AccessPoint" containment="true" unsettable="true"
* @generated
*/
ServerAt getServerAt();
......@@ -386,7 +388,7 @@ public interface AccessPoint extends UnNaming {
* @see #setServer(Server)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAccessPoint_Server()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Server#getAccessPoint
* @model opposite="AccessPoint" containment="true" unsettable="true" ordered="false"
* @model opposite="AccessPoint" containment="true" unsettable="true"
* @generated
*/
Server getServer();
......@@ -441,7 +443,7 @@ public interface AccessPoint extends UnNaming {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAccessPoint_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getAccessPoint
* @model opposite="AccessPoint" containment="true" unsettable="true" ordered="false"
* @model opposite="AccessPoint" containment="true" unsettable="true"
* @generated
*/
Services getServices();
......@@ -698,4 +700,49 @@ public interface AccessPoint extends UnNaming {
*/
boolean isSetReferredByKDC();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AccessPoint_name_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'name attribute shall be present in AccessPoint (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.name &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateAccessPoint_name_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AccessPoint_name_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'name attribute shall be valid in AccessPoint (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.name.toString()\n ,\n\tstatus : Boolean = \n self.name &lt;&gt; null implies self.validSclAccessPointName( name )\n \n \n}.status'"
* @generated
*/
boolean validateAccessPoint_name_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AccessPoint_restriction_on_content'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'AccessPoint shall contain one Server xor one ServerAt xor at least one LN xor none \' +\n \'of them (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n let serverPresent : Integer = if self.Server = null then 0 else 1 endif in\n let serverAtPresent : Integer = if self.ServerAt = null then 0 else 1 endif in\n -- self.LN is never null\n let lnPresent : Integer = if self.LN-&gt;size() = 0 then 0 else 1 endif in\n serverPresent + serverAtPresent + lnPresent &lt;= 1\n\n \n}.status'"
* @generated
*/
boolean validateAccessPoint_restriction_on_content(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AccessPoint_at_most_securities'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'AccessPoint shall contain at most 7 GOOSESecurity and at most 7 SMVSecurity (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.GOOSESecurity-&gt;size() &lt;= 7 and self.SMVSecurity-&gt;size() &lt;= 7\n \n \n}.status'"
* @generated
*/
boolean validateAccessPoint_at_most_securities(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AccessPoint_securities_allowed'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'AccessPoint shall contain GOOSESecurity or SMVSecurity only if if the attribute certificate \' +\n \'of the server\u2019s Authentication element is true (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n if self.GOOSESecurity-&gt;isEmpty() and self.SMVSecurity-&gt;isEmpty() then true\n else if self.Server = null then false\n else if self.Server.Authentication = null then false\n else self.Server.Authentication.certificate\n endif endif endif\n\n\n\n}.status'"
* @generated
*/
boolean validateAccessPoint_securities_allowed(DiagnosticChain diagnostics, Map<Object, Object> context);
} // AccessPoint
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -49,7 +51,7 @@ public interface Address extends SclObject {
* @see #setConnectedAP(ConnectedAP)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAddress_ConnectedAP()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.ConnectedAP#getAddress
* @model opposite="Address" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="Address" resolveProxies="false" unsettable="true"
* @generated
*/
ConnectedAP getConnectedAP();
......@@ -77,7 +79,7 @@ public interface Address extends SclObject {
* @see #setControlBlock(ControlBlock)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAddress_ControlBlock()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.ControlBlock#getAddress
* @model opposite="Address" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="Address" resolveProxies="false" unsettable="true"
* @generated
*/
ControlBlock getControlBlock();
......@@ -133,4 +135,22 @@ public interface Address extends SclObject {
*/
boolean isSetP();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Address_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateAddress_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Address_at_least_one_P_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'Address shall contain at least one P (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.P-&gt;notEmpty()\n\n\n\n}.status'"
* @generated
*/
boolean validateAddress_at_least_one_P_required(DiagnosticChain diagnostics, Map<Object, Object> context);
} // Address
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -223,7 +225,7 @@ public interface AnyLN extends UnNaming {
* @see #setRefersToLNodeType(LNodeType)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAnyLN_RefersToLNodeType()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.LNodeType#getReferredByAnyLN
* @model opposite="ReferredByAnyLN" resolveProxies="false" unsettable="true" transient="true" ordered="false"
* @model opposite="ReferredByAnyLN" resolveProxies="false" unsettable="true" transient="true"
* @generated
*/
LNodeType getRefersToLNodeType();
......@@ -278,7 +280,7 @@ public interface AnyLN extends UnNaming {
* @see #setInputs(Inputs)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAnyLN_Inputs()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Inputs#getAnyLN
* @model opposite="AnyLN" containment="true" unsettable="true" ordered="false"
* @model opposite="AnyLN" containment="true" unsettable="true"
* @generated
*/
Inputs getInputs();
......@@ -769,6 +771,51 @@ public interface AnyLN extends UnNaming {
*/
boolean isSetReferredIEDName();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='LN_lnClass_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnClass attribute shall be present in \' + self.oclType().toString() + \' (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.lnClass &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateLN_lnClass_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='LN_lnClass_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnClass attribute shall be valid in \' + self.oclType().toString() + \' (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.lnClass.toString()\n ,\n\tstatus : Boolean = \n self.lnClass &lt;&gt; null implies self.validSclLNClassEnum( lnClass )\n\n \n}.status'"
* @generated
*/
boolean validateLN_lnClass_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='LN_inst_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'inst attribute shall be present in \' + self.oclType().toString() + \' (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.inst &lt;&gt; null\n \n \n}.status'"
* @generated
*/
boolean validateLN_inst_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AnyLN_lnType_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnType attribute shall be present in AnyLN (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.lnType &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateAnyLN_lnType_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='AnyLN_lnType_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnType attribute shall be valid in AnyLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.lnType.toString()\n ,\n\tstatus : Boolean = \n self.lnType &lt;&gt; null implies self.validSclName( lnType )\n\n\n\n}.status'"
* @generated
*/
boolean validateAnyLN_lnType_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
LDevice getLDevice();
} // AnyLN
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Association</b></em>'.
......@@ -427,7 +430,7 @@ public interface Association extends BaseElement {
* @see #setServer(Server)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAssociation_Server()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Server#getAssociation
* @model opposite="Association" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="Association" resolveProxies="false" unsettable="true"
* @generated
*/
Server getServer();
......@@ -457,7 +460,7 @@ public interface Association extends BaseElement {
* @see #setRefersToAnyLN(AnyLN)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAssociation_RefersToAnyLN()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.AnyLN#getReferredByAssociation
* @model opposite="ReferredByAssociation" resolveProxies="false" unsettable="true" transient="true" ordered="false"
* @model opposite="ReferredByAssociation" resolveProxies="false" unsettable="true" transient="true"
* @generated
*/
AnyLN getRefersToAnyLN();
......@@ -497,4 +500,22 @@ public interface Association extends BaseElement {
*/
boolean isSetRefersToAnyLN();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Association_kind_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'kind attribute shall be present in Association (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.kind &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateAssociation_kind_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Association_associationID_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'The length of the association ID shall be at least one (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.associationID.toString()\n ,\n\tstatus : Boolean = \n self.associationID &lt;&gt; null implies self.validSclAssociationID( associationID )\n\n\n\n\n}.status'"
* @generated
*/
boolean validateAssociation_associationID_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
} // Association
......@@ -315,7 +315,7 @@ public interface Authentication extends SclObject {
* @see #setServer(Server)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getAuthentication_Server()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Server#getAuthentication
* @model opposite="Authentication" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="Authentication" resolveProxies="false" unsettable="true"
* @generated
*/
Server getServer();
......
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>BDA</b></em>'.
......@@ -45,7 +48,7 @@ public interface BDA extends AbstractDataAttribute {
* @see #setDAType(DAType)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getBDA_DAType()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.DAType#getBDA
* @model opposite="BDA" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="BDA" resolveProxies="false" unsettable="true"
* @generated
*/
DAType getDAType();
......@@ -60,4 +63,13 @@ public interface BDA extends AbstractDataAttribute {
*/
void setDAType( DAType value );
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='BDA_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateBDA_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
} // BDA
......@@ -94,7 +94,7 @@ public interface BaseElement extends ExplicitLinkResolver {
* @see #setText(Text)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getBaseElement_Text()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Text#getBaseElement
* @model opposite="BaseElement" containment="true" unsettable="true" ordered="false"
* @model opposite="BaseElement" containment="true" unsettable="true"
* @generated
*/
Text getText();
......
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -51,7 +53,7 @@ public interface Bay extends EquipmentContainer {
* @see #setVoltageLevel(VoltageLevel)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getBay_VoltageLevel()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.VoltageLevel#getBay
* @model opposite="Bay" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="Bay" resolveProxies="false" unsettable="true"
* @generated
*/
VoltageLevel getVoltageLevel();
......@@ -230,4 +232,13 @@ public interface Bay extends EquipmentContainer {
*/
boolean isSetConductingEquipment();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Bay_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateBay_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
} // Bay
......@@ -16,6 +16,8 @@
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.math.BigDecimal;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
......@@ -174,4 +176,40 @@ public interface BitRateInMbPerSec extends SclObject {
*/
boolean isSetUnit();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='BitRateInMbPerSec_value_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'value shall be present in BitRateInMbPerSec (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.value &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateBitRateInMbPerSec_value_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='BitRateInMbPerSec_value_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'value shall be positive in BitRateInMbPerSec (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.value.toString()\n ,\n\tstatus : Boolean = \n self.value &lt;&gt; null implies self.value &gt; 0\n\n \n}.status'"
* @generated
*/
boolean validateBitRateInMbPerSec_value_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='BitRateInMbPerSec_unit_value'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'unit attribute if present shall be b/s in BitRateInMbPerSec (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.unit.toString()\n ,\n\tstatus : Boolean = \n self.unit &lt;&gt; null implies self.unit = \'b/s\'\n\n \n}.status'"
* @generated
*/
boolean validateBitRateInMbPerSec_unit_value(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='BitRateInMbPerSec_multiplier_value'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'multiplier attribute if present shall be M in BitRateInMbPerSec (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.multiplier.toString()\n ,\n\tstatus : Boolean = \n self.multiplier &lt;&gt; null implies self.multiplier = UnitMultiplierEnum::M\n \n\n\n}.status'"
* @generated
*/
boolean validateBitRateInMbPerSec_multiplier_value(DiagnosticChain diagnostics, Map<Object, Object> context);
} // BitRateInMbPerSec
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
......@@ -140,4 +143,40 @@ public interface Cert extends SclObject {
*/
boolean isSetIdHierarchy();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Cert_commonName_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'commonName attribute shall be present in Cert (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.commonName &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateCert_commonName_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Cert_commonName_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'commonName attribute shall be valid in Cert (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.commonName.toString()\n ,\n\tstatus : Boolean = \n self.commonName &lt;&gt; null\n implies\n ( self.commonName = \'none\' or ( self.commonName.matches( \'.+\' ) and self.commonName.size() &gt;= 4 ))\n\n \n}.status'"
* @generated
*/
boolean validateCert_commonName_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Cert_idHierarchy_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'idHierarchy attribute shall be present in Cert (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.idHierarchy &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateCert_idHierarchy_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Cert_idHierarchy_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'idHierarchy attribute shall be valid in Cert (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.idHierarchy.toString()\n ,\n\tstatus : Boolean = \n self.idHierarchy &lt;&gt; null implies self.idHierarchy.size() &gt; 0\n\n\n\n}.status'"
* @generated
*/
boolean validateCert_idHierarchy_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
} // Cert
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Certificate</b></em>'.
......@@ -156,7 +159,7 @@ public interface Certificate extends Naming {
* @see #setSubject(Subject)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getCertificate_Subject()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Subject#getCertificate
* @model opposite="Certificate" containment="true" unsettable="true" ordered="false"
* @model opposite="Certificate" containment="true" unsettable="true"
* @generated
*/
Subject getSubject();
......@@ -211,7 +214,7 @@ public interface Certificate extends Naming {
* @see #setIssuerName(IssuerName)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getCertificate_IssuerName()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.IssuerName#getCertificate
* @model opposite="Certificate" containment="true" unsettable="true" ordered="false"
* @model opposite="Certificate" containment="true" unsettable="true"
* @generated
*/
IssuerName getIssuerName();
......@@ -251,4 +254,49 @@ public interface Certificate extends Naming {
*/
boolean isSetIssuerName();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Certificate_serialNumber_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'serialNumber attribute shall be present in Certificate (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.serialNumber &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateCertificate_serialNumber_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Certificate_serialNumber_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'serialNumber attribute shall be valid in Certificate (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.serialNumber.toString()\n ,\n\tstatus : Boolean = \n self.serialNumber &lt;&gt; null implies self.serialNumber.matches( \'[0-9]+\' )\n\n \n}.status'"
* @generated
*/
boolean validateCertificate_serialNumber_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Certificate_xferNumber_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'xferNumber attribute shall be valid in Certificate (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.xferNumber.toString()\n ,\n\tstatus : Boolean = \n self.xferNumber &lt;&gt; null implies self.xferNumber &gt;= 0\n\n\n\n}.status'"
* @generated
*/
boolean validateCertificate_xferNumber_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Certificate_one_Subject_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'Certificate shall contain a Subject (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.Subject &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateCertificate_one_Subject_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Certificate_one_IssuerName_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'Certificate shall contain an IssuerName (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.IssuerName &lt;&gt; null\n\n\n\n}.status'"
* @generated
*/
boolean validateCertificate_one_IssuerName_required(DiagnosticChain diagnostics, Map<Object, Object> context);
} // Certificate
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Client LN</b></em>'.
......@@ -372,7 +375,7 @@ public interface ClientLN extends ExplicitLinkResolver {
* @see #setRptEnabled(RptEnabled)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getClientLN_RptEnabled()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.RptEnabled#getClientLN
* @model opposite="ClientLN" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ClientLN" resolveProxies="false" unsettable="true"
* @generated
*/
RptEnabled getRptEnabled();
......@@ -455,7 +458,7 @@ public interface ClientLN extends ExplicitLinkResolver {
* @see #setRefersToAnyLN(AnyLN)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getClientLN_RefersToAnyLN()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.AnyLN#getReferredByClientLN
* @model opposite="ReferredByClientLN" resolveProxies="false" unsettable="true" transient="true" ordered="false"
* @model opposite="ReferredByClientLN" resolveProxies="false" unsettable="true" transient="true"
* @generated
*/
AnyLN getRefersToAnyLN();
......@@ -495,4 +498,103 @@ public interface ClientLN extends ExplicitLinkResolver {
*/
boolean isSetRefersToAnyLN();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_apRef_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'apRef attribute shall be valid in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.apRef.toString()\n ,\n\tstatus : Boolean = \n self.apRef &lt;&gt; null implies self.validSclAccessPointName( apRef )\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_apRef_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_iedName_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'iedName attribute shall be present in ClientLN (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.iedName &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_iedName_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_iedName_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'iedName attribute shall be valid in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.iedName.toString()\n ,\n\tstatus : Boolean = \n self.iedName &lt;&gt; null implies self.validSclIEDName( iedName )\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_iedName_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_ldInst_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'ldInst attribute shall present in ClientLN (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.ldInst &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_ldInst_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_ldInst_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'ldInst attribute shall be valid in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.ldInst.toString()\n ,\n\tstatus : Boolean = \n self.ldInst &lt;&gt; null implies self.validSclLDInst( ldInst )\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_ldInst_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_lnClass_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnClass attribute shall present in ClientLN (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.lnClass &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_lnClass_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_lnClass_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnClass attribute shall be valid in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.lnClass.toString()\n ,\n\tstatus : Boolean = \n self.lnClass &lt;&gt; null implies self.validSclLNClassEnum( lnClass )\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_lnClass_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_lnInst_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnInst attribute shall be present in ClientLN (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.lnInst &lt;&gt; null\n \n \n}.status'"
* @generated
*/
boolean validateClientLN_lnInst_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_lnInst_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnInst attribute shall be valid in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.lnInst.toString()\n ,\n\tstatus : Boolean = \n self.lnInst &lt;&gt; null implies self.validSclLNInstOrEmpty( lnInst )\n\n \n}.status'"
* @generated
*/
boolean validateClientLN_lnInst_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_lnInst_empty_for_LLN0'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'lnInst attribute shall be empty for LLN0 in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.lnInst.toString()\n ,\n\tstatus : Boolean = \n self.lnInst &lt;&gt; null implies if( self.lnClass = \'LLN0\' ) then self.lnInst.size() = 0 else self.lnInst.size() &gt; 0 endif\n \n \n}.status'"
* @generated
*/
boolean validateClientLN_lnInst_empty_for_LLN0(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientLN_prefix_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'prefix attribute shall be valid in ClientLN (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.prefix.toString()\n ,\n\tstatus : Boolean = \n self.prefix &lt;&gt; null implies self.validSclPrefix( prefix )\n \n}.status'"
* @generated
*/
boolean validateClientLN_prefix_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
} // ClientLN
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Client Services</b></em>'.
......@@ -640,7 +643,7 @@ public interface ClientServices extends SclObject {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getClientServices_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getClientServices
* @model opposite="ClientServices" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ClientServices" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......@@ -670,7 +673,7 @@ public interface ClientServices extends SclObject {
* @see #setTimeSyncProt(TimeSyncProt)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getClientServices_TimeSyncProt()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.TimeSyncProt#getClientServices
* @model opposite="ClientServices" containment="true" unsettable="true" ordered="false"
* @model opposite="ClientServices" containment="true" unsettable="true"
* @generated
*/
TimeSyncProt getTimeSyncProt();
......@@ -710,4 +713,40 @@ public interface ClientServices extends SclObject {
*/
boolean isSetTimeSyncProt();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientServices_maxAttributes_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'maxAttributes attribute shall be valid in ClientServices (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.maxAttributes.toString()\n ,\n\tstatus : Boolean = \n self.maxAttributes &lt;&gt; null implies self.maxAttributes &gt;= 0\n\n \n}.status'"
* @generated
*/
boolean validateClientServices_maxAttributes_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientServices_maxReports_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'maxReports attribute shall be valid in ClientServices (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.maxReports.toString()\n ,\n\tstatus : Boolean = \n self.maxReports &lt;&gt; null implies self.maxReports &gt;= 0\n\n \n}.status'"
* @generated
*/
boolean validateClientServices_maxReports_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientServices_maxGOOSE_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'maxGOOSE attribute shall be valid in ClientServices (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.maxGOOSE.toString()\n ,\n\tstatus : Boolean = \n self.maxGOOSE &lt;&gt; null implies self.maxGOOSE &gt;= 0\n\n \n}.status'"
* @generated
*/
boolean validateClientServices_maxGOOSE_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ClientServices_maxSMV_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'maxSMV attribute shall be valid in ClientServices (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.maxSMV.toString()\n ,\n\tstatus : Boolean = \n self.maxSMV &lt;&gt; null implies self.maxSMV &gt;= 0\n\n\n\n}.status'"
* @generated
*/
boolean validateClientServices_maxSMV_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
} // ClientServices
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Comm Prot</b></em>'.
......@@ -99,7 +102,7 @@ public interface CommProt extends SclObject {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getCommProt_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getCommProt
* @model opposite="CommProt" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="CommProt" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......@@ -114,4 +117,13 @@ public interface CommProt extends SclObject {
*/
void setServices( Services value );
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='CommProt_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateCommProt_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
} // CommProt
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -89,7 +91,7 @@ public interface Communication extends UnNaming {
* @see #setSCL(SCL)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getCommunication_SCL()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SCL#getCommunication
* @model opposite="Communication" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="Communication" resolveProxies="false" unsettable="true"
* @generated
*/
SCL getSCL();
......@@ -104,4 +106,22 @@ public interface Communication extends UnNaming {
*/
void setSCL( SCL value );
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Communication_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateCommunication_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='Communication_at_least_one_SubNetwork_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'Communication shall contain at least one SubNetwork (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.SubNetwork-&gt;notEmpty()\n\n\n\n}.status'"
* @generated
*/
boolean validateCommunication_at_least_one_SubNetwork_required(DiagnosticChain diagnostics, Map<Object, Object> context);
} // Communication
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -106,7 +108,7 @@ public interface ConductingEquipment extends AbstractConductingEquipment {
* @see #setBay(Bay)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConductingEquipment_Bay()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Bay#getConductingEquipment
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true"
* @generated
*/
Bay getBay();
......@@ -134,7 +136,7 @@ public interface ConductingEquipment extends AbstractConductingEquipment {
* @see #setFunction(Function)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConductingEquipment_Function()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Function#getConductingEquipment
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true"
* @generated
*/
Function getFunction();
......@@ -162,7 +164,7 @@ public interface ConductingEquipment extends AbstractConductingEquipment {
* @see #setSubFunction(SubFunction)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConductingEquipment_SubFunction()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SubFunction#getConductingEquipment
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true"
* @generated
*/
SubFunction getSubFunction();
......@@ -231,7 +233,7 @@ public interface ConductingEquipment extends AbstractConductingEquipment {
* @see #setLine(Line)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConductingEquipment_Line()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Line#getConductingEquipment
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true"
* @generated
*/
Line getLine();
......@@ -259,7 +261,7 @@ public interface ConductingEquipment extends AbstractConductingEquipment {
* @see #setProcess(fr.centralesupelec.edf.riseclipse.iec61850.scl.Process)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConductingEquipment_Process()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Process#getConductingEquipment
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConductingEquipment" resolveProxies="false" unsettable="true"
* @generated
*/
fr.centralesupelec.edf.riseclipse.iec61850.scl.Process getProcess();
......@@ -274,4 +276,22 @@ public interface ConductingEquipment extends AbstractConductingEquipment {
*/
void setProcess( fr.centralesupelec.edf.riseclipse.iec61850.scl.Process value );
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConductingEquipment_type_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'type attribute shall be present in ConductingEquipment (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.type &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateConductingEquipment_type_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConductingEquipment_type_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'type attribute shall be valid in ConductingEquipment (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.type.toString()\n ,\n\tstatus : Boolean = \n self.type &lt;&gt; null implies self.validSclCommonConductingEquipmentEnum( type )\n\n\n\n}.status'"
* @generated
*/
boolean validateConductingEquipment_type_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
} // ConductingEquipment
......@@ -45,7 +45,7 @@ public interface ConfDataSet extends ServiceForConfDataSet {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfDataSet_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getConfDataSet
* @model opposite="ConfDataSet" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfDataSet" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......
......@@ -15,6 +15,9 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Conf LNs</b></em>'.
......@@ -153,7 +156,7 @@ public interface ConfLNs extends SclObject {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfLNs_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getConfLNs
* @model opposite="ConfLNs" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfLNs" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......@@ -168,4 +171,13 @@ public interface ConfLNs extends SclObject {
*/
void setServices( Services value );
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConfLNs_nothing'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n true\n\n\n'"
* @generated
*/
boolean validateConfLNs_nothing(DiagnosticChain diagnostics, Map<Object, Object> context);
} // ConfLNs
......@@ -45,7 +45,7 @@ public interface ConfLdName extends ServiceYesNo {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfLdName_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getConfLdName
* @model opposite="ConfLdName" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfLdName" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......
......@@ -45,7 +45,7 @@ public interface ConfLogControl extends ServiceWithMaxNonZero {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfLogControl_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getConfLogControl
* @model opposite="ConfLogControl" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfLogControl" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......
......@@ -45,7 +45,7 @@ public interface ConfReportControl extends ServiceConfReportControl {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfReportControl_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getConfReportControl
* @model opposite="ConfReportControl" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfReportControl" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......
......@@ -99,7 +99,7 @@ public interface ConfSG extends SclObject {
* @see #setSettingGroups(SettingGroups)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfSG_SettingGroups()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SettingGroups#getConfSG
* @model opposite="ConfSG" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfSG" resolveProxies="false" unsettable="true"
* @generated
*/
SettingGroups getSettingGroups();
......
......@@ -45,7 +45,7 @@ public interface ConfSigRef extends ServiceWithMaxNonZero {
* @see #setServices(Services)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConfSigRef_Services()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Services#getConfSigRef
* @model opposite="ConfSigRef" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConfSigRef" resolveProxies="false" unsettable="true"
* @generated
*/
Services getServices();
......
......@@ -15,6 +15,8 @@
*/
package fr.centralesupelec.edf.riseclipse.iec61850.scl;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.EList;
/**
......@@ -216,7 +218,7 @@ public interface ConnectedAP extends UnNaming {
* @see #setAddress(Address)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConnectedAP_Address()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.Address#getConnectedAP
* @model opposite="ConnectedAP" containment="true" unsettable="true" ordered="false"
* @model opposite="ConnectedAP" containment="true" unsettable="true"
* @generated
*/
Address getAddress();
......@@ -269,7 +271,7 @@ public interface ConnectedAP extends UnNaming {
* @see #setSubNetwork(SubNetwork)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConnectedAP_SubNetwork()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SubNetwork#getConnectedAP
* @model opposite="ConnectedAP" resolveProxies="false" unsettable="true" ordered="false"
* @model opposite="ConnectedAP" resolveProxies="false" unsettable="true"
* @generated
*/
SubNetwork getSubNetwork();
......@@ -299,7 +301,7 @@ public interface ConnectedAP extends UnNaming {
* @see #setRefersToAccessPoint(AccessPoint)
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.SclPackage#getConnectedAP_RefersToAccessPoint()
* @see fr.centralesupelec.edf.riseclipse.iec61850.scl.AccessPoint#getReferredByConnectedAP
* @model opposite="ReferredByConnectedAP" resolveProxies="false" unsettable="true" transient="true" ordered="false"
* @model opposite="ReferredByConnectedAP" resolveProxies="false" unsettable="true" transient="true"
* @generated
*/
AccessPoint getRefersToAccessPoint();
......@@ -462,4 +464,67 @@ public interface ConnectedAP extends UnNaming {
*/
boolean isSetSMV();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConnectedAP_iedName_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'iedName attribute shall be present in ConnectedAP (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.iedName &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateConnectedAP_iedName_required(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConnectedAP_iedName_valid'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'iedName attribute shall be valid in ConnectedAP (line \' + self.lineNumber.toString() + \'). \'\n + \'Current value is \' + self.iedName.toString()\n ,\n\tstatus : Boolean = \n self.iedName &lt;&gt; null implies self.validSclIEDName( iedName )\n\n \n}.status'"
* @generated
*/
boolean validateConnectedAP_iedName_valid(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConnectedAP_apName_required'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='Tuple {\n\tmessage : String = \'apName attribute shall be present in ConnectedAP (line \' + self.lineNumber.toString() + \')\' ,\n\tstatus : Boolean = \n self.apName &lt;&gt; null\n\n \n}.status'"
* @generated
*/
boolean validateConnectedAP_apName_required(DiagnosticChain diagnostics, Map<Object, Object> context);