blob: 43b20c3d6060cffe7d591c54283f2959534e297c [file]
<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel"
copyrightText="*******************************************************************************&#xA;Copyright (c) 2021 Johannes Kepler University Linz&#xA; &#xA;This program and the accompanying materials are made available under the terms of the Eclipse Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.&#xA;&#xA;SPDX-License-Identifier: EPL-2.0&#xA;&#xA;Contributors:&#xA; Antonio Garmendía, Bianca Wiesmayr&#xA; - initial implementation and/or documentation&#xA;*******************************************************************************"
modelDirectory="/org.eclipse.fordiac.ide.fb.interpreter/src-gen" creationSubmenus="true"
editDirectory="/org.eclipse.fordiac.ide.fb.interpreter.edit/src-gen" editorDirectory="/org.eclipse.fordiac.ide.fb.interpreter.editor/src-gen"
modelPluginID="org.eclipse.fordiac.ide.fb.interpreter" modelName="OperationalSemantics"
editPluginClass="org.eclipse.fordiac.ide.fb.interpreter.provider.OperationalSemanticsEditPlugin"
editorPluginClass="org.eclipse.fordiac.ide.fb.intepreter.presentation.OperationalSemanticsEditorPlugin"
nonNLSMarkers="true" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
codeFormatting="true" commentFormatting="true" testSuiteClass="org.eclipse.fordiac.ide.fb.interpreter.tests.OperationalSemanticsAllTests"
importerID="org.eclipse.emf.importer.ecore" containmentProxies="true" complianceLevel="17.0"
copyrightFields="false" editPluginID="org.eclipse.fordiac.ide.fb.interpreter.edit"
editorPluginID="org.eclipse.fordiac.ide.fb.interpreter.editor" usedGenPackages="../../org.eclipse.fordiac.ide.model/model/fordiac.genmodel#//libraryElement ../../org.eclipse.fordiac.ide.model/model/fordiac.genmodel#//data"
importOrganizing="true" cleanup="true" eclipsePlatformVersion="2022-09">
<foreignModel>OperationalSemantics.ecore</foreignModel>
<testsDirectory xsi:nil="true"/>
<genPackages prefix="OperationalSemantics" basePackage="org.eclipse.fordiac.ide.fb.interpreter"
disposableProviderFactory="true" fileExtensions="opsem" ecorePackage="OperationalSemantics.ecore#/">
<genClasses ecoreClass="OperationalSemantics.ecore#//EventOccurrence">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventOccurrence/event"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//EventOccurrence/active"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//EventOccurrence/ignored"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventOccurrence/fbRuntime"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventOccurrence/createdTransactions"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventOccurrence/parentFB"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventOccurrence/resultFBRuntime"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//EventManager">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventManager/transactions"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EventManager/readyQueue"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//EventManager/process"
body="EventManagerUtils.process(this);"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//EventManager/processNetwork"
body="EventManagerUtils.processNetwork(this);"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//FBRuntimeAbstract">
<genOperations ecoreOperation="OperationalSemantics.ecore#//FBRuntimeAbstract/run"
body="&#x9;&#x9;if (this.eContainer instanceof EventOccurrence) {&#xA;&#x9;&#x9;&#x9;return DefaultRunFBType.runFBType(this, (EventOccurrence) this.eContainer);&#xA;&#x9;&#x9;}&#xA;&#x9;&#x9;throw new IllegalArgumentException(&quot;The eContainer of the FBRuntimeAbstract object must be an EventOccurrence&quot;);&#xA;"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//FBRuntimeAbstract/getModel"
body="return null;"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//BasicFBTypeRuntime">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//BasicFBTypeRuntime/basicfbtype"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//BasicFBTypeRuntime/activeState"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//BasicFBTypeRuntime/getModel"
body="return this.getBasicfbtype();"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//BasicFBTypeRuntime/getActiveState"
body="return ECStateAnnotations.getActiveState(activeState,(BasicFBType)this);">
<genParameters ecoreParameter="OperationalSemantics.ecore#//BasicFBTypeRuntime/getActiveState/activeStateString"/>
</genOperations>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//SimpleFBTypeRuntime">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//SimpleFBTypeRuntime/simpleFBType"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//SimpleFBTypeRuntime/getModel"
body="return simpleFBType;"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//Transaction">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//Transaction/inputEventOccurrence"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//Transaction/parentEO"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//FBNetworkRuntime">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//FBNetworkRuntime/fbnetwork"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//FBNetworkRuntime/transferData"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//FBNetworkRuntime/typeRuntimes"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//FBNetworkRuntime/getModel"
body="return this.fbnetwork;"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//FBTransaction">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//FBTransaction/outputEventOccurrences"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//FBTransaction/inputVariables"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//FBTransaction/trace"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//FBTransaction/process"
body="EventManagerUtils.processFbTransaction(this);"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//ConnectionToValueMap">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//ConnectionToValueMap/key"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//ConnectionToValueMap/value"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//RuntimeMap">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//RuntimeMap/key"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//RuntimeMap/value"/>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//Trace"/>
<genClasses ecoreClass="OperationalSemantics.ecore#//EccTrace">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference OperationalSemantics.ecore#//EccTrace/transitionTraces"/>
<genOperations ecoreOperation="OperationalSemantics.ecore#//EccTrace/getTransitions"
body="return TracingAnnotations.getTransitions(ecc, this);">
<genParameters ecoreParameter="OperationalSemantics.ecore#//EccTrace/getTransitions/ecc"/>
</genOperations>
</genClasses>
<genClasses ecoreClass="OperationalSemantics.ecore#//TransitionTrace">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//TransitionTrace/sourceState"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//TransitionTrace/destinationState"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//TransitionTrace/condEvent"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute OperationalSemantics.ecore#//TransitionTrace/condExpression"/>
</genClasses>
</genPackages>
</genmodel:GenModel>