Commit 70135766 authored by Florian Hölzl's avatar Florian Hölzl
Browse files

added af3.state

refs 190
parent 8d53c5d9
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="generated-src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="build"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.fortiss.af3.state</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.fortiss.ide.dev_tools.emf.builder.EcoreBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.ManifestBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.SchemaBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.RemoveWarningsBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.pde.PluginNature</nature>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.state;singleton:=true
Bundle-Version: 1.0.0
Bundle-ClassPath: .
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.state.AF3StateActivator
Require-Bundle: org.fortiss.af3.component;bundle-version="1.0.0";visibility:=reexport
Export-Package: org.fortiss.af3.state,
org.fortiss.af3.state.model,
org.fortiss.af3.state.model.impl,
org.fortiss.af3.state.model.util
<?xml version="1.0" encoding="UTF-8"?>
<cspecExtension
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:bc="http://www.eclipse.org/buckminster/Common-1.0"
xmlns="http://www.eclipse.org/buckminster/CSpec-1.0">
<actions>
<!-- Place your Actions here -->
<public name="generate-ecore" actor="jdt.ant" always="true">
<actorProperties>
<property key="buildFile" value="model/generate-ecore.xml" />
<property key="targets" value="generate-ecore"/>
</actorProperties>
<products>
<path path="generated-src" />
</products>
</public>
</actions>
<alterGroups>
<!-- Place your Group alterations here -->
<public name="eclipse.build.source">
<attribute name="generate-ecore"/>
</public>
</alterGroups>
</cspecExtension>
# <copyright>
# </copyright>
#
# $Id$
bin.includes = .,\
model/,\
META-INF/,\
plugin.xml,\
plugin.properties
source.. = src/,\
generated-src/
output.. = build/
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project name="org.fortiss.af3.state" default="generate-ecore" basedir="..">
<property name="model.name" value="state" />
<property name="model.project" value="org.fortiss.af3.state" />
<!-- Classpath Definition -->
<buckminster.valuepath id="project.classpath" value="${fs:project.classpath}" />
<path id="classpath">
<path refid="project.classpath"/>
<!-- add src to the classpath as only the bin directory is in the classpath
and some resources such as the workflow or properties file might not yet
have been copied to the bin directory -->
<pathelement location="src"/>
</path>
<!-- Generation Tasks -->
<target name="generate-ecore">
<emf.Ecore2Java
model="model/${model.name}.ecore"
genModel="model/${model.name}.genmodel"
modelProject="/${model.project}"
modelProjectFragmentPath="generated-src"
reconcileGenModel="reload">
</emf.Ecore2Java>
</target>
</project>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage 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" name="model"
nsURI="http://www.fortiss.org/af3/state" nsPrefix="org-fortiss-af3-state">
<eClassifiers xsi:type="ecore:EClass" name="StateAutomaton" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElementContainer">
<eOperations name="getRootState" eType="#//State">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils.convertList(&#xA;&#x9;&#x9;&#x9;&#x9;State.class, getContainedElementsList()).get(0);"/>
</eAnnotations>
</eOperations>
<eOperations name="getComponent" eType="ecore:EClass ../../org.fortiss.af3.component/model/component.ecore#//Component">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return (org.fortiss.af3.component.model.Component) eContainer();"/>
</eAnnotations>
</eOperations>
<eOperations name="getInitialState" eType="#//State">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.af3.state.utils.internal.EcoreWrappingUtils.&#xA;&#x9;&#x9;getInitialState(this);"/>
</eAnnotations>
</eOperations>
<eStructuralFeatures xsi:type="ecore:EReference" name="dataStateVariables" upperBound="-1"
eType="ecore:EClass ../../org.fortiss.af3.component/model/component.ecore#//behavior/common/DataStateVariable"
containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//base/HierarchicElementBase">
<eOperations name="isInitial" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils.pickInstanceOf(&#xA;&#x9;org.fortiss.af3.state.model.StateSpecification.class,&#xA;&#x9;getSpecificationsList()).get(0).isInitial();"/>
</eAnnotations>
</eOperations>
<eOperations name="getSubStates" upperBound="-1" eType="#//State">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils.convertList(&#xA;&#x9;&#x9;&#x9;&#x9;State.class, getContainedElementsList());"/>
</eAnnotations>
</eOperations>
<eOperations name="getStateSpecification" eType="#//StateSpecification">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils.pickInstanceOf(&#xA;&#x9;&#x9;org.fortiss.af3.state.model.StateSpecification.class,&#xA;&#x9;&#x9;getSpecificationsList()).get(0);"/>
</eAnnotations>
</eOperations>
<eOperations name="getOutgoingTransitionSegments" upperBound="-1" eType="#//TransitionSegment">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return AutomataModelFacadeImpl.getOutgoingTransitionSegments(this);"/>
</eAnnotations>
</eOperations>
<eOperations name="getTransitionSegmentExitConnectors" upperBound="-1" eType="#//TransitionSegmentExitConnector">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils.pickInstanceOf(&#xA;&#x9;&#x9;org.fortiss.af3.state.model.TransitionSegmentExitConnector.class,&#xA;&#x9;&#x9;getConnectorsList());"/>
</eAnnotations>
</eOperations>
<eOperations name="getIncomingTransitionSegments" upperBound="-1" eType="#//TransitionSegment">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return AutomataModelFacadeImpl.getIncomingTransitionSegments(this);"/>
</eAnnotations>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TransitionSegmentConnector" abstract="true"
eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//base/ConnectorBase">
<eOperations name="getState" eType="#//State">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return (State) eContainer();"/>
</eAnnotations>
</eOperations>
<eOperations name="getOutgoingTransitionSegments" upperBound="-1" eType="#//TransitionSegment">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils&#xA;&#x9;&#x9;&#x9;&#x9;.convertList(TransitionSegment.class, getOutgoingList());"/>
</eAnnotations>
</eOperations>
<eOperations name="getIncomingTransitionSegments" upperBound="-1" eType="#//TransitionSegment">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils&#xA;&#x9;&#x9;&#x9;&#x9;.convertList(TransitionSegment.class, getIncomingList());"/>
</eAnnotations>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TransitionSegmentExitConnector" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//base/ExitConnectorBase #//TransitionSegmentConnector"/>
<eClassifiers xsi:type="ecore:EClass" name="TransitionSegmentLocalConnector" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//base/LocalConnectorBase #//TransitionSegmentConnector"/>
<eClassifiers xsi:type="ecore:EClass" name="TransitionSegmentEntryConnector" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//base/EntryConnectorBase #//TransitionSegmentConnector"/>
<eClassifiers xsi:type="ecore:EClass" name="TransitionSegment" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//base/ConnectionSegmentBase">
<eOperations name="getTransitionSegmentSpecification" eType="#//TransitionSegmentSpecification">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return org.fortiss.tooling.kernel.utils.EcoreUtils.pickInstanceOf(&#xA;&#x9;org.fortiss.af3.state.model.TransitionSegmentSpecification.class,&#xA;&#x9;getSpecificationsList()).get(0);"/>
</eAnnotations>
</eOperations>
<eOperations name="getTargetConnector" eType="#//TransitionSegmentConnector">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return (TransitionSegmentConnector) getTarget();"/>
</eAnnotations>
</eOperations>
<eOperations name="getSourceConnector" eType="#//TransitionSegmentConnector">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return (TransitionSegmentConnector) getSource();"/>
</eAnnotations>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StateSpecification" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="initial" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="idleTransitions" upperBound="-1"
eType="#//TransitionSegmentSpecification" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TransitionSegmentSpecification" eSuperTypes="platform:/plugin/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eOperations name="getTransitionSegment" eType="#//TransitionSegment">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return (TransitionSegment) eContainer();"/>
</eAnnotations>
</eOperations>
<eStructuralFeatures xsi:type="ecore:EReference" name="guard" eType="ecore:EClass ../../org.fortiss.af3.component/model/component.ecore#//behavior/common/Guard"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="actions" upperBound="-1"
eType="ecore:EClass ../../org.fortiss.af3.component/model/component.ecore#//behavior/common/Action"
containment="true"/>
</eClassifiers>
</ecore:EPackage>
<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="(c) 2011 ForTISS GmbH"
modelDirectory="/org.fortiss.af3.state/generated-src" editDirectory="org.fortiss.af3.state.edit/src"
editorDirectory="/org.fortiss.af3.state.editor/src" modelPluginID="org.fortiss.af3.state"
modelName="Model" modelPluginClass="" editPluginClass="org.fortiss.af3.state.model.provider.ModelEditPlugin"
editorPluginClass="org.fortiss.af3.state.model.presentation.ModelEditorPlugin"
testsDirectory="/org.fortiss.af3.state.tests/test-src" importerID="org.eclipse.emf.importer.ecore"
containmentProxies="true" arrayAccessors="true" complianceLevel="5.0" copyrightFields="false"
language="" usedGenPackages="platform:/plugin/org.fortiss.tooling.base/model/base.genmodel#//model ../../org.fortiss.af3.component/model/component.genmodel#//model ../../org.fortiss.af3.expression/model/expression.genmodel#//model platform:/plugin/org.fortiss.af3.project/model/project.genmodel#//model platform:/plugin/org.fortiss.tooling.kernel/model/kernel.genmodel#//model">
<foreignModel>state.ecore</foreignModel>
<genPackages prefix="AF3State" basePackage="org.fortiss.af3.state" disposableProviderFactory="true"
ecorePackage="state.ecore#/">
<genClasses ecoreClass="state.ecore#//StateAutomaton">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference state.ecore#//StateAutomaton/dataStateVariables"/>
<genOperations ecoreOperation="state.ecore#//StateAutomaton/getRootState"/>
<genOperations ecoreOperation="state.ecore#//StateAutomaton/getComponent"/>
<genOperations ecoreOperation="state.ecore#//StateAutomaton/getInitialState"/>
</genClasses>
<genClasses ecoreClass="state.ecore#//State">
<genOperations ecoreOperation="state.ecore#//State/isInitial"/>
<genOperations ecoreOperation="state.ecore#//State/getSubStates"/>
<genOperations ecoreOperation="state.ecore#//State/getStateSpecification"/>
<genOperations ecoreOperation="state.ecore#//State/getOutgoingTransitionSegments"/>
<genOperations ecoreOperation="state.ecore#//State/getTransitionSegmentExitConnectors"/>
<genOperations ecoreOperation="state.ecore#//State/getIncomingTransitionSegments"/>
</genClasses>
<genClasses image="false" ecoreClass="state.ecore#//TransitionSegmentConnector">
<genOperations ecoreOperation="state.ecore#//TransitionSegmentConnector/getState"/>
<genOperations ecoreOperation="state.ecore#//TransitionSegmentConnector/getOutgoingTransitionSegments"/>
<genOperations ecoreOperation="state.ecore#//TransitionSegmentConnector/getIncomingTransitionSegments"/>
</genClasses>
<genClasses ecoreClass="state.ecore#//TransitionSegmentExitConnector"/>
<genClasses ecoreClass="state.ecore#//TransitionSegmentLocalConnector"/>
<genClasses ecoreClass="state.ecore#//TransitionSegmentEntryConnector"/>
<genClasses ecoreClass="state.ecore#//TransitionSegment">
<genOperations ecoreOperation="state.ecore#//TransitionSegment/getTransitionSegmentSpecification"/>
<genOperations ecoreOperation="state.ecore#//TransitionSegment/getTargetConnector"/>
<genOperations ecoreOperation="state.ecore#//TransitionSegment/getSourceConnector"/>
</genClasses>
<genClasses ecoreClass="state.ecore#//StateSpecification">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute state.ecore#//StateSpecification/initial"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference state.ecore#//StateSpecification/idleTransitions"/>
</genClasses>
<genClasses ecoreClass="state.ecore#//TransitionSegmentSpecification">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference state.ecore#//TransitionSegmentSpecification/guard"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference state.ecore#//TransitionSegmentSpecification/actions"/>
<genOperations ecoreOperation="state.ecore#//TransitionSegmentSpecification/getTransitionSegment"/>
</genClasses>
</genPackages>
</genmodel:GenModel>
<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="(c) 2011 ForTISS GmbH"
modelDirectory="/org.fortiss.af3.state/generated-src" editDirectory="org.fortiss.af3.state.edit/src"
editorDirectory="/org.fortiss.af3.state.editor/src" modelPluginID="org.fortiss.af3.state"
modelName="Model" modelPluginClass="" editPluginClass="org.fortiss.af3.state.model.provider.ModelEditPlugin"
editorPluginClass="org.fortiss.af3.state.model.presentation.ModelEditorPlugin"
testsDirectory="/org.fortiss.af3.state.tests/test-src" importerID="org.eclipse.emf.importer.ecore"
containmentProxies="true" arrayAccessors="true" complianceLevel="5.0" copyrightFields="false"
language="" usedGenPackages="platform:/plugin/org.fortiss.tooling.base/model/base.genmodel#//model ../../org.fortiss.af3.expression/model/expression.genmodel#//model platform:/plugin/org.fortiss.af3.project/model/project.genmodel#//model platform:/plugin/org.fortiss.tooling.kernel/model/kernel.genmodel#//model">
<foreignModel>state.ecore</foreignModel>
</genmodel:GenModel>
# <copyright>
# </copyright>
#
# $Id$
pluginName = Micro Model
providerName = www.example.org
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<!--
<copyright>
</copyright>
$Id$
-->
<plugin>
</plugin>
package org.fortiss.af3.state;
import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;
/**
* The activator class controls the plug-in life cycle.
*/
public class AF3StateActivator extends Plugin {
/** The plug-in ID. */
public static final String PLUGIN_ID = "org.fortiss.af3.state"; //$NON-NLS-1$
/** The shared instance. */
private static AF3StateActivator plugin;
/** Constructor. */
public AF3StateActivator() {
// do nothing
}
/** {@inheritDoc} */
@Override
public void start(BundleContext context) throws Exception {
super.start(context);
plugin = this;
}
/** {@inheritDoc} */
@Override
public void stop(BundleContext context) throws Exception {
plugin = null;
super.stop(context);
}
/** Returns the shared instance. */
public static AF3StateActivator getDefault() {
return plugin;
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment