Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authordwagelaar2011-12-08 09:28:08 +0000
committerdwagelaar2011-12-08 09:28:08 +0000
commit032e9322b248b599d565d8d863b5bb6ead26e8ec (patch)
tree13c8bcc020170ca93f5f89c3687317afbbd65bcc /tests
parentdab90c6c3239d44ae889e02fea45a12c96cdec01 (diff)
downloadorg.eclipse.atl-032e9322b248b599d565d8d863b5bb6ead26e8ec.tar.gz
org.eclipse.atl-032e9322b248b599d565d8d863b5bb6ead26e8ec.tar.xz
org.eclipse.atl-032e9322b248b599d565d8d863b5bb6ead26e8ec.zip
Moved from plugins to tests.
Diffstat (limited to 'tests')
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/.checkstyle12
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/.classpath7
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/.project40
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/.settings/org.eclipse.jdt.core.prefs8
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/META-INF/MANIFEST.MF16
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/anttest/build.xml61
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/build.properties11
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/launch/ATLtoEMFTVM.launch31
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/launch/EMFTVM ExecEnvTest.launch52
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/launch/InlineCodeblocks.launch30
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/launch/TestQuery.launch23
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/plugin.properties6
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AddTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstInTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AndTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/BranchInstructionTest.java105
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockInstructionTest.java105
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockTest.java260
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DeleteTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupX1Test.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmAllTests.java56
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmExample.java126
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmTests.java115
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EnditerateTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ExecEnvTest.java404
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FeatureTest.java78
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldInstructionTest.java46
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldTest.java187
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeSTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetStaticTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTransTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetcbTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetenvtypeTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GotoTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfnTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfteTest.java193
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ImpliesTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InputRuleElementTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InsertTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InstructionTest.java126
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeAllCbsTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbSTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeInstructionTest.java46
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeOperationInstructionTest.java46
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeStaticTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeSuperTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IsnullTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IterateTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LineNumberTest.java98
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LoadTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableInstructionTest.java146
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableTest.java166
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchSTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MetamodelTest.java99
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelDeclarationTest.java98
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelTest.java177
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModuleTest.java99
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NamedElementTest.java65
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewSTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NotTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OperationTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OrTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OutputRuleElementTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ParameterTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PopTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushfTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushtTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RemoveTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ReturnTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleElementTest.java65
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleTest.java160
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetStaticTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/StoreTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapX1Test.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/TypedElementTest.java78
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/XorTest.java80
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/test-data/MatchedRuleWithFilterAndAction.atl21
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/test-data/NativeTest.atl5
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestLib.atl17
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.atl11
-rw-r--r--tests/org.eclipse.m2m.atl.emftvm.tests/test-data/build.xml22
93 files changed, 7597 insertions, 0 deletions
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/.checkstyle b/tests/org.eclipse.m2m.atl.emftvm.tests/.checkstyle
new file mode 100644
index 00000000..71337fd3
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/.checkstyle
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<fileset-config file-format-version="1.2.0" simple-config="true">
+ <local-check-config name="ATL" location="/org.eclipse.m2m.atl/codeStyle/ATLCheckstyleConfiguration.xml" type="project" description="">
+ <additional-data name="protect-config-file" value="false"/>
+ </local-check-config>
+ <fileset name="all" enabled="true" check-config-name="ATL" local="true">
+ <file-match-pattern match-pattern="." include-pattern="true"/>
+ </fileset>
+ <filter name="FilesFromPackage" enabled="true">
+ <filter-data value="src/org/eclipse/m2m/atl/emftvm/tests"/>
+ </filter>
+</fileset-config>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/.classpath b/tests/org.eclipse.m2m.atl.emftvm.tests/.classpath
new file mode 100644
index 00000000..304e8618
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" path="src"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
+ <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/.project b/tests/org.eclipse.m2m.atl.emftvm.tests/.project
new file mode 100644
index 00000000..cd7940d9
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/.project
@@ -0,0 +1,40 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>org.eclipse.m2m.atl.emftvm.tests</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.m2m.atl.adt.builder.atlBuilder</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>net.sf.eclipsecs.core.CheckstyleBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.m2m.atl.adt.builder.atlNature</nature>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ <nature>org.eclipse.pde.PluginNature</nature>
+ <nature>net.sf.eclipsecs.core.CheckstyleNature</nature>
+ </natures>
+</projectDescription>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/.settings/org.eclipse.jdt.core.prefs b/tests/org.eclipse.m2m.atl.emftvm.tests/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..ddc01fe7
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,8 @@
+#Mon Jun 27 10:10:29 CEST 2011
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.5
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/META-INF/MANIFEST.MF b/tests/org.eclipse.m2m.atl.emftvm.tests/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..9dd8505b
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/META-INF/MANIFEST.MF
@@ -0,0 +1,16 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: org.eclipse.m2m.atl.emftvm.tests;singleton:=true
+Bundle-Version: 3.3.0.qualifier
+Bundle-ClassPath: .
+Bundle-Vendor: %providerName
+Bundle-Localization: plugin
+Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Export-Package: org.eclipse.m2m.atl.emftvm.tests
+Require-Bundle: org.eclipse.core.runtime,
+ org.eclipse.m2m.atl.emftvm;visibility:=reexport,
+ org.eclipse.emf.ecore;visibility:=reexport,
+ org.eclipse.emf.ecore.xmi;visibility:=reexport,
+ org.junit;visibility:=reexport
+Bundle-ActivationPolicy: lazy
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/anttest/build.xml b/tests/org.eclipse.m2m.atl.emftvm.tests/anttest/build.xml
new file mode 100644
index 00000000..7a104ac2
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/anttest/build.xml
@@ -0,0 +1,61 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project name="org.eclipse.m2m.atl.emftvm.tests/anttest" default="all">
+
+ <target name="all" depends="saveModels, TestQuery, TestStacktrace"/>
+
+ <target name="clean">
+ <delete>
+ <fileset dir=".">
+ <exclude name="**/build.xml"/>
+ </fileset>
+ </delete>
+ </target>
+
+ <target name="loadModels">
+ <emftvm.loadModel name="ATLCopy" wspath="org.eclipse.m2m.atl.emftvm.compiler/transformations/ATLCopy.atl"/>
+ <emftvm.loadModel name="EMFTVMCopy" wspath="org.eclipse.m2m.atl.emftvm.compiler/transformations/EMFTVMCopy.atl"/>
+ <emftvm.loadMetamodel name="ATL" uri="http://www.eclipse.org/gmt/2005/ATL"/>
+ <emftvm.loadModel name="InlineCodeblocks" wspath="org.eclipse.m2m.atl.emftvm.tests/test-data/InlineCodeblocks.emftvm"/>
+ </target>
+
+ <target name="run" depends="loadModels">
+ <emftvm.run modulepath="platform:/resource/org.eclipse.m2m.atl.emftvm.compiler/transformations/" module="ATLCopy">
+ <metamodel name="ATL"/>
+ <inputmodel name="ATLCopy" as="IN"/>
+ <outputmodel name="ATLCopy-OUT" as="OUT" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/ATLCopy.xmi"/>
+ <outputmodel name="ATLCopy-match" as="match" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/ATLCopy-match.trace"/>
+ <outputmodel name="ATLCopy-trace" as="trace" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/ATLCopy.trace"/>
+ </emftvm.run>
+ <emftvm.run modulepath="platform:/resource/org.eclipse.m2m.atl.emftvm.compiler/transformations/" module="ATLCopy">
+ <metamodel name="ATL"/>
+ <inputmodel name="EMFTVMCopy" as="IN"/>
+ <outputmodel name="EMFTVMCopy-OUT" as="OUT" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/EMFTVMCopy.xmi"/>
+ <outputmodel name="EMFTVMCopy-match" as="match" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/EMFTVMCopy-match.trace"/>
+ <outputmodel name="EMFTVMCopy-trace" as="trace" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/EMFTVMCopy.trace"/>
+ </emftvm.run>
+ </target>
+
+ <target name="saveModels" depends="run">
+ <emftvm.saveModel name="ATLCopy-OUT" derived="true"/>
+ <emftvm.saveModel name="ATLCopy-match" derived="true"/>
+ <emftvm.saveModel name="ATLCopy-trace" derived="true"/>
+ <emftvm.saveModel name="EMFTVMCopy-OUT" derived="true"/>
+ <emftvm.saveModel name="EMFTVMCopy-match" derived="true"/>
+ <emftvm.saveModel name="EMFTVMCopy-trace" derived="true"/>
+ </target>
+
+ <target name="TestQuery">
+ <emftvm.loadModel name="TestQuery" wspath="org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.emftvm"/>
+ <emftvm.run modulepath="platform:/resource/org.eclipse.m2m.atl.emftvm.tests/test-data/" module="TestQuery">
+ <inputmodel name="TestQuery"/>
+ </emftvm.run>
+ </target>
+
+ <target name="TestStacktrace" depends="loadModels">
+ <emftvm.run modulepath="platform:/resource/org.eclipse.m2m.atl.emftvm.compiler/transformations/" module="InlineCodeblocks">
+ <inputmodel name="InlineCodeblocks" as="IN"/>
+ <outputmodel name="InlineCodeblocks-OUT" as="OUT" wspath="org.eclipse.m2m.atl.emftvm.tests/anttest/InlineCodeblocks.emftvm"/>
+ </emftvm.run>
+ </target>
+
+</project> \ No newline at end of file
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/build.properties b/tests/org.eclipse.m2m.atl.emftvm.tests/build.properties
new file mode 100644
index 00000000..21139497
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/build.properties
@@ -0,0 +1,11 @@
+# (C) 2011 Dennis Wagelaar, Vrije Universiteit Brussel
+#
+# $Id: build.properties,v 1.1 2011/12/08 09:28:08 dwagelaar Exp $
+
+bin.includes = .,\
+ META-INF/,\
+ plugin.properties
+jars.compile.order = .
+source.. = src/
+output.. = bin/
+jre.compilation.profile = J2SE-1.5
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/launch/ATLtoEMFTVM.launch b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/ATLtoEMFTVM.launch
new file mode 100644
index 00000000..9fc1b33f
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/ATLtoEMFTVM.launch
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.m2m.atl.emftvm.launcher.EMFTVMTransformation">
+<stringAttribute key="ATL File Name" value="//org.eclipse.m2m.atl.emftvm.compiler/transformations/ATLtoEMFTVM.atl"/>
+<booleanAttribute key="Display Timing Data" value="true"/>
+<mapAttribute key="Inout Model Options"/>
+<mapAttribute key="Inout Models"/>
+<mapAttribute key="Input Model Options"/>
+<mapAttribute key="Input Models">
+<mapEntry key="IN" value="platform:/resource/org.eclipse.m2m.atl.emftvm.compiler/transformations/ATLtoEMFTVM.atl"/>
+</mapAttribute>
+<mapAttribute key="Metamodel Options">
+<mapEntry key="ATL" value=""/>
+</mapAttribute>
+<mapAttribute key="Metamodels">
+<mapEntry key="ATL" value="http://www.eclipse.org/gmt/2005/ATL"/>
+<mapEntry key="EMFTVM" value="http://www.eclipse.org/m2m/atl/2011/EMFTVM"/>
+<mapEntry key="Problem" value="platform:/resource/org.eclipse.m2m.atl.emftvm.compiler/metamodels/Problem.ecore"/>
+</mapAttribute>
+<stringAttribute key="Module File Name" value="/org.eclipse.m2m.atl.emftvm.compiler/transformations/ATLtoEMFTVM.emftvm"/>
+<stringAttribute key="Module Name" value="ATLtoEMFTVM"/>
+<stringAttribute key="Module Path" value="/org.eclipse.m2m.atl.emftvm.compiler/transformations/"/>
+<mapAttribute key="Output Model Options">
+<mapEntry key="OUT" value="derivedFile"/>
+<mapEntry key="PBS" value="derivedFile"/>
+</mapAttribute>
+<mapAttribute key="Output Models">
+<mapEntry key="OUT" value="platform:/resource/org.eclipse.m2m.atl.emftvm.tests/test-data/ATLtoEMFTVM.emftvm"/>
+<mapEntry key="PBS" value="platform:/resource/org.eclipse.m2m.atl.emftvm.tests/test-data/ATLtoEMFTVM-problems.xmi"/>
+</mapAttribute>
+<listAttribute key="Superimpose"/>
+</launchConfiguration>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/launch/EMFTVM ExecEnvTest.launch b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/EMFTVM ExecEnvTest.launch
new file mode 100644
index 00000000..7a743a2c
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/EMFTVM ExecEnvTest.launch
@@ -0,0 +1,52 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.pde.ui.JunitLaunchConfig">
+<booleanAttribute key="append.args" value="true"/>
+<stringAttribute key="application" value="org.eclipse.pde.junit.runtime.coretestapplication"/>
+<booleanAttribute key="askclear" value="false"/>
+<booleanAttribute key="automaticAdd" value="true"/>
+<booleanAttribute key="automaticValidate" value="false"/>
+<stringAttribute key="bootstrap" value=""/>
+<stringAttribute key="checked" value="[NONE]"/>
+<booleanAttribute key="clearConfig" value="true"/>
+<booleanAttribute key="clearws" value="true"/>
+<booleanAttribute key="clearwslog" value="false"/>
+<stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/pde-junit"/>
+<booleanAttribute key="default" value="true"/>
+<booleanAttribute key="includeOptional" value="true"/>
+<stringAttribute key="location" value="${workspace_loc}/../junit-workspace"/>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ExecEnvTest.java"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="1"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DATA_COLLECTOR" value="org.eclipse.tptp.trace.jvmti.jvmtiMechanism:org.eclipse.tptp.analysisType.jvmti.execution"/>
+<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DESTINATION_FILE" value=""/>
+<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DESTINATION_MONITOR" value="DefaultMonitor"/>
+<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_DESTINATION_PROJECT" value="ProfileProject"/>
+<booleanAttribute key="org.eclipse.hyades.trace.ui.ATTR_PROFILE_TO_FILE" value="false"/>
+<stringAttribute key="org.eclipse.hyades.trace.ui.ATTR_PROFILING_SET" value="tptp-dummy-profiling-set-EMFTVM ExecEnvTest"/>
+<stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value=""/>
+<booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
+<stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
+<stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/>
+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.m2m.atl.emftvm.tests.ExecEnvTest"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl} -consoleLog"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.eclipse.m2m.atl.emftvm.tests"/>
+<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
+<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Dosgi.requiredJavaVersion=1.5 -XX:MaxPermSize=256m -Xms40m -Xmx512m"/>
+<booleanAttribute key="org.eclipse.tptp.platform.jvmti.client.ATTR_EXEC_AUTO_POLLING" value="false"/>
+<booleanAttribute key="org.eclipse.tptp.platform.jvmti.client.ATTR_EXEC_CPU_TIME" value="true"/>
+<booleanAttribute key="org.eclipse.tptp.platform.jvmti.client.ATTR_EXEC_FLOW" value="true"/>
+<booleanAttribute key="org.eclipse.tptp.platform.jvmti.client.ATTR_EXEC_MANUAL_POLLING" value="false"/>
+<intAttribute key="org.eclipse.tptp.platform.jvmti.client.ATTR_EXEC_POLLING_TIME" value="60"/>
+<stringAttribute key="pde.version" value="3.3"/>
+<stringAttribute key="product" value="org.eclipse.emf.cdo.server.product"/>
+<booleanAttribute key="run_in_ui_thread" value="true"/>
+<booleanAttribute key="show_selected_only" value="false"/>
+<booleanAttribute key="tracing" value="true"/>
+<booleanAttribute key="useCustomFeatures" value="false"/>
+<booleanAttribute key="useDefaultConfig" value="true"/>
+<booleanAttribute key="useDefaultConfigArea" value="false"/>
+<booleanAttribute key="useProduct" value="false"/>
+</launchConfiguration>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/launch/InlineCodeblocks.launch b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/InlineCodeblocks.launch
new file mode 100644
index 00000000..1e6c1dda
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/InlineCodeblocks.launch
@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.m2m.atl.emftvm.launcher.EMFTVMTransformation">
+<stringAttribute key="ATL File Name" value="//org.eclipse.m2m.atl.emftvm.compiler/transformations/InlineCodeblocks.atl"/>
+<booleanAttribute key="Display Timing Data" value="true"/>
+<mapAttribute key="Inout Model Options"/>
+<mapAttribute key="Inout Models"/>
+<mapAttribute key="Input Model Options"/>
+<mapAttribute key="Input Models">
+<mapEntry key="IN" value="platform:/resource/org.eclipse.m2m.atl.emftvm.tests/test-data/InlineCodeblocks.emftvm"/>
+</mapAttribute>
+<mapAttribute key="Metamodel Options"/>
+<mapAttribute key="Metamodels">
+<mapEntry key="EMFTVM" value="http://www.eclipse.org/m2m/atl/2011/EMFTVM"/>
+</mapAttribute>
+<stringAttribute key="Module File Name" value="/org.eclipse.m2m.atl.emftvm.compiler/transformations/InlineCodeblocks.emftvm"/>
+<stringAttribute key="Module Name" value="InlineCodeblocks"/>
+<stringAttribute key="Module Path" value="/org.eclipse.m2m.atl.emftvm.compiler/transformations/"/>
+<mapAttribute key="Output Model Options">
+<mapEntry key="OUT" value="allowIntermodelReferences derivedFile"/>
+</mapAttribute>
+<mapAttribute key="Output Models">
+<mapEntry key="OUT" value="platform:/resource/org.eclipse.m2m.atl.emftvm.tests/test-data/InlineCodeblocks-out.emftvm"/>
+</mapAttribute>
+<listAttribute key="Superimpose">
+<listEntry value="//org.eclipse.m2m.atl.emftvm.compiler/transformations/EMFTVMCopy.asm"/>
+</listAttribute>
+<booleanAttribute key="org.eclipse.debug.core.capture_output" value="false"/>
+<booleanAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_OUTPUT_ON" value="false"/>
+<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>
+</launchConfiguration>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/launch/TestQuery.launch b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/TestQuery.launch
new file mode 100644
index 00000000..6ef107a2
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/launch/TestQuery.launch
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.m2m.atl.emftvm.launcher.EMFTVMTransformation">
+<stringAttribute key="ATL File Name" value="//org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.atl"/>
+<booleanAttribute key="Display Timing Data" value="true"/>
+<mapAttribute key="Inout Model Options"/>
+<mapAttribute key="Inout Models"/>
+<mapAttribute key="Inout Models Output Locations"/>
+<mapAttribute key="Input Model Options"/>
+<mapAttribute key="Input Models">
+<mapEntry key="IN" value="platform:/resource/org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.emftvm"/>
+</mapAttribute>
+<mapAttribute key="Metamodel Options"/>
+<mapAttribute key="Metamodels"/>
+<stringAttribute key="Module File Name" value="/org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.emftvm"/>
+<stringAttribute key="Module Name" value="TestQuery"/>
+<stringAttribute key="Module Path" value="/org.eclipse.m2m.atl.emftvm.tests/test-data/"/>
+<mapAttribute key="Output Model Options"/>
+<mapAttribute key="Output Models"/>
+<listAttribute key="Superimpose">
+<listEntry value="//org.eclipse.m2m.atl.emftvm.tests/test-data/TestLib.asm"/>
+<listEntry value="//org.eclipse.m2m.atl.emftvm.tests/test-data/NativeTest.asm"/>
+</listAttribute>
+</launchConfiguration>
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/plugin.properties b/tests/org.eclipse.m2m.atl.emftvm.tests/plugin.properties
new file mode 100644
index 00000000..93e9fc25
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/plugin.properties
@@ -0,0 +1,6 @@
+# (C) 2011 Dennis Wagelaar, Vrije Universiteit Brussel
+#
+# $Id: plugin.properties,v 1.1 2011/12/08 09:28:08 dwagelaar Exp $
+
+pluginName = ATL EMFTVM Tests
+providerName = Eclipse Modeling Project
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AddTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AddTest.java
new file mode 100644
index 00000000..2d69fae0
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AddTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.Add;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Add</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class AddTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(AddTest.class);
+ }
+
+ /**
+ * Constructs a new Add test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public AddTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Add test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Add getFixture() {
+ return (Add)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createAdd());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //AddTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstInTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstInTest.java
new file mode 100644
index 00000000..5e27d2e2
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstInTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.AllinstIn;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Allinst in</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class AllinstInTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(AllinstInTest.class);
+ }
+
+ /**
+ * Constructs a new Allinst In test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public AllinstInTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Allinst In test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected AllinstIn getFixture() {
+ return (AllinstIn)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createAllinstIn());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Allinst_inTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstTest.java
new file mode 100644
index 00000000..1f342be5
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AllinstTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.Allinst;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Allinst</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class AllinstTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(AllinstTest.class);
+ }
+
+ /**
+ * Constructs a new Allinst test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public AllinstTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Allinst test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Allinst getFixture() {
+ return (Allinst)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createAllinst());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //AllinstTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AndTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AndTest.java
new file mode 100644
index 00000000..5862063d
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/AndTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.And;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>And</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class AndTest extends CodeBlockInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(AndTest.class);
+ }
+
+ /**
+ * Constructs a new And test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public AndTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this And test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected And getFixture() {
+ return (And)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createAnd());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //AndTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/BranchInstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/BranchInstructionTest.java
new file mode 100644
index 00000000..f7173624
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/BranchInstructionTest.java
@@ -0,0 +1,105 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.BranchInstruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Branch Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.BranchInstruction#getOffset() <em>Offset</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.BranchInstruction#getTarget() <em>Target</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class BranchInstructionTest extends InstructionTest {
+
+ /**
+ * Constructs a new Branch Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public BranchInstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Branch Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected BranchInstruction getFixture() {
+ return (BranchInstruction)fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.BranchInstruction#getOffset() <em>Offset</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.BranchInstruction#getOffset()
+ * @generated
+ */
+ public void testGetOffset() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.BranchInstruction#setOffset(int) <em>Offset</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.BranchInstruction#setOffset(int)
+ * @generated
+ */
+ public void testSetOffset() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.BranchInstruction#getTarget() <em>Target</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.BranchInstruction#getTarget()
+ * @generated
+ */
+ public void testGetTarget() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.BranchInstruction#setTarget(org.eclipse.m2m.atl.emftvm.Instruction) <em>Target</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.BranchInstruction#setTarget(org.eclipse.m2m.atl.emftvm.Instruction)
+ * @generated
+ */
+ public void testSetTarget() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //BranchInstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockInstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockInstructionTest.java
new file mode 100644
index 00000000..e72d8437
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockInstructionTest.java
@@ -0,0 +1,105 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.CodeBlockInstruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Code Block Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#getCbIndex() <em>Cb Index</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#getCodeBlock() <em>Code Block</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class CodeBlockInstructionTest extends InstructionTest {
+
+ /**
+ * Constructs a new Code Block Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public CodeBlockInstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Code Block Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected CodeBlockInstruction getFixture() {
+ return (CodeBlockInstruction)fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#getCbIndex() <em>Cb Index</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#getCbIndex()
+ * @generated
+ */
+ public void testGetCbIndex() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#setCbIndex(int) <em>Cb Index</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#setCbIndex(int)
+ * @generated
+ */
+ public void testSetCbIndex() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#getCodeBlock() <em>Code Block</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#getCodeBlock()
+ * @generated
+ */
+ public void testGetCodeBlock() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#setCodeBlock(org.eclipse.m2m.atl.emftvm.CodeBlock) <em>Code Block</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlockInstruction#setCodeBlock(org.eclipse.m2m.atl.emftvm.CodeBlock)
+ * @generated
+ */
+ public void testSetCodeBlock() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //CodeBlockInstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockTest.java
new file mode 100644
index 00000000..bb4245f5
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/CodeBlockTest.java
@@ -0,0 +1,260 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.CodeBlock;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Code Block</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getMaxLocals() <em>Max Locals</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getMaxStack() <em>Max Stack</em>}</li>
+ * </ul>
+ * </p>
+ * <p>
+ * The following operations are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#execute(org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Execute</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getStackLevel() <em>Get Stack Level</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getModule() <em>Get Module</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getOperation() <em>Get Operation</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getPredecessors(org.eclipse.m2m.atl.emftvm.Instruction) <em>Get Predecessors</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getAllPredecessors(org.eclipse.m2m.atl.emftvm.Instruction) <em>Get All Predecessors</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getNonLoopingPredecessors(org.eclipse.m2m.atl.emftvm.Instruction) <em>Get Non Looping Predecessors</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class CodeBlockTest extends TestCase {
+
+ /**
+ * The fixture for this Code Block test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected CodeBlock fixture = null;
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(CodeBlockTest.class);
+ }
+
+ /**
+ * Constructs a new Code Block test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public CodeBlockTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Code Block test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(CodeBlock fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Code Block test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected CodeBlock getFixture() {
+ return fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createCodeBlock());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getMaxLocals() <em>Max Locals</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getMaxLocals()
+ * @generated
+ */
+ public void testGetMaxLocals() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#setMaxLocals(int) <em>Max Locals</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#setMaxLocals(int)
+ * @generated
+ */
+ public void testSetMaxLocals() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getMaxStack() <em>Max Stack</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getMaxStack()
+ * @generated
+ */
+ public void testGetMaxStack() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#setMaxStack(int) <em>Max Stack</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#setMaxStack(int)
+ * @generated
+ */
+ public void testSetMaxStack() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#execute(org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Execute</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#execute(org.eclipse.m2m.atl.emftvm.util.StackFrame)
+ * @generated
+ */
+ public void testExecute__StackFrame() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getStackLevel() <em>Get Stack Level</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getStackLevel()
+ * @generated
+ */
+ public void testGetStackLevel() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getModule() <em>Get Module</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getModule()
+ * @generated
+ */
+ public void testGetModule() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getOperation() <em>Get Operation</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getOperation()
+ * @generated
+ */
+ public void testGetOperation() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getPredecessors(org.eclipse.m2m.atl.emftvm.Instruction) <em>Get Predecessors</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getPredecessors(org.eclipse.m2m.atl.emftvm.Instruction)
+ * @generated
+ */
+ public void testGetPredecessors__Instruction() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getAllPredecessors(org.eclipse.m2m.atl.emftvm.Instruction) <em>Get All Predecessors</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getAllPredecessors(org.eclipse.m2m.atl.emftvm.Instruction)
+ * @generated
+ */
+ public void testGetAllPredecessors__Instruction() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.CodeBlock#getNonLoopingPredecessors(org.eclipse.m2m.atl.emftvm.Instruction) <em>Get Non Looping Predecessors</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.CodeBlock#getNonLoopingPredecessors(org.eclipse.m2m.atl.emftvm.Instruction)
+ * @generated
+ */
+ public void testGetNonLoopingPredecessors__Instruction() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //CodeBlockTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DeleteTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DeleteTest.java
new file mode 100644
index 00000000..97e1018c
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DeleteTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.Delete;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Delete</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class DeleteTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(DeleteTest.class);
+ }
+
+ /**
+ * Constructs a new Delete test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public DeleteTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Delete test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Delete getFixture() {
+ return (Delete)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createDelete());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //DeleteTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupTest.java
new file mode 100644
index 00000000..f4ab988f
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.Dup;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Dup</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class DupTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(DupTest.class);
+ }
+
+ /**
+ * Constructs a new Dup test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public DupTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Dup test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Dup getFixture() {
+ return (Dup)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createDup());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //DupTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupX1Test.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupX1Test.java
new file mode 100644
index 00000000..417e604f
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/DupX1Test.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.DupX1;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Dup x1</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class DupX1Test extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(DupX1Test.class);
+ }
+
+ /**
+ * Constructs a new Dup X1 test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public DupX1Test(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Dup X1 test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected DupX1 getFixture() {
+ return (DupX1)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createDupX1());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Dup_x1Test
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmAllTests.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmAllTests.java
new file mode 100644
index 00000000..1f503766
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmAllTests.java
@@ -0,0 +1,56 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.Test;
+import junit.framework.TestSuite;
+import junit.textui.TestRunner;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test suite for the '<em><b>Emftvm</b></em>' model.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class EmftvmAllTests extends TestSuite {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(suite());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static Test suite() {
+ TestSuite suite = new EmftvmAllTests("Emftvm Tests");
+ suite.addTest(EmftvmTests.suite());
+ return suite;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public EmftvmAllTests(String name) {
+ super(name);
+ }
+
+} //EmftvmAllTests
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmExample.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmExample.java
new file mode 100644
index 00000000..bb6e2184
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmExample.java
@@ -0,0 +1,126 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+
+import java.io.File;
+import java.io.IOException;
+
+import org.eclipse.emf.common.util.Diagnostic;
+import org.eclipse.emf.common.util.URI;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.emf.ecore.resource.ResourceSet;
+import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
+import org.eclipse.emf.ecore.util.Diagnostician;
+import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.EmftvmPackage;
+import org.eclipse.m2m.atl.emftvm.ExecEnv;
+
+/**
+ * <!-- begin-user-doc -->
+ * A sample utility for the '<em><b>emftvm</b></em>' package.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class EmftvmExample {
+ /**
+ * <!-- begin-user-doc -->
+ * Load all the argument file paths or URIs as instances of the model.
+ * <!-- end-user-doc -->
+ * @param args the file paths or URIs.
+ * @generated
+ */
+ public static void main(String[] args) {
+ // Create a resource set to hold the resources.
+ //
+ ResourceSet resourceSet = new ResourceSetImpl();
+
+ // Register the appropriate resource factory to handle all file extensions.
+ //
+ resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap().put
+ (Resource.Factory.Registry.DEFAULT_EXTENSION,
+ new XMIResourceFactoryImpl());
+
+ // Register the package to ensure it is available during loading.
+ //
+ resourceSet.getPackageRegistry().put
+ (EmftvmPackage.eNS_URI,
+ EmftvmPackage.eINSTANCE);
+
+ // If there are no arguments, emit an appropriate usage message.
+ //
+ if (args.length == 0) {
+ System.out.println("Enter a list of file paths or URIs that have content like this:");
+ try {
+ Resource resource = resourceSet.createResource(URI.createURI("http:///My.emftvm"));
+ ExecEnv root = EmftvmFactory.eINSTANCE.createExecEnv();
+ resource.getContents().add(root);
+ resource.save(System.out, null);
+ }
+ catch (IOException exception) {
+ exception.printStackTrace();
+ }
+ }
+ else {
+ // Iterate over all the arguments.
+ //
+ for (int i = 0; i < args.length; ++i) {
+ // Construct the URI for the instance file.
+ // The argument is treated as a file path only if it denotes an existing file.
+ // Otherwise, it's directly treated as a URL.
+ //
+ File file = new File(args[i]);
+ URI uri = file.isFile() ? URI.createFileURI(file.getAbsolutePath()): URI.createURI(args[i]);
+
+ try {
+ // Demand load resource for this file.
+ //
+ Resource resource = resourceSet.getResource(uri, true);
+ System.out.println("Loaded " + uri);
+
+ // Validate the contents of the loaded resource.
+ //
+ for (EObject eObject : resource.getContents()) {
+ Diagnostic diagnostic = Diagnostician.INSTANCE.validate(eObject);
+ if (diagnostic.getSeverity() != Diagnostic.OK) {
+ printDiagnostic(diagnostic, "");
+ }
+ }
+ }
+ catch (RuntimeException exception) {
+ System.out.println("Problem loading " + uri);
+ exception.printStackTrace();
+ }
+ }
+ }
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * Prints diagnostics with indentation.
+ * <!-- end-user-doc -->
+ * @param diagnostic the diagnostic to print.
+ * @param indent the indentation for printing.
+ * @generated
+ */
+ protected static void printDiagnostic(Diagnostic diagnostic, String indent) {
+ System.out.print(indent);
+ System.out.println(diagnostic.getMessage());
+ for (Diagnostic child : diagnostic.getChildren()) {
+ printDiagnostic(child, indent + " ");
+ }
+ }
+
+} //EmftvmExample
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmTests.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmTests.java
new file mode 100644
index 00000000..02c2cd66
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EmftvmTests.java
@@ -0,0 +1,115 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.Test;
+import junit.framework.TestSuite;
+import junit.textui.TestRunner;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test suite for the '<em><b>emftvm</b></em>' package.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class EmftvmTests extends TestSuite {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(suite());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static Test suite() {
+ TestSuite suite = new EmftvmTests("emftvm Tests");
+ suite.addTestSuite(ExecEnvTest.class);
+ suite.addTestSuite(ModelTest.class);
+ suite.addTestSuite(MetamodelTest.class);
+ suite.addTestSuite(ModuleTest.class);
+ suite.addTestSuite(FieldTest.class);
+ suite.addTestSuite(OperationTest.class);
+ suite.addTestSuite(ParameterTest.class);
+ suite.addTestSuite(LocalVariableTest.class);
+ suite.addTestSuite(RuleTest.class);
+ suite.addTestSuite(InputRuleElementTest.class);
+ suite.addTestSuite(OutputRuleElementTest.class);
+ suite.addTestSuite(CodeBlockTest.class);
+ suite.addTestSuite(PushTest.class);
+ suite.addTestSuite(PushtTest.class);
+ suite.addTestSuite(PushfTest.class);
+ suite.addTestSuite(PopTest.class);
+ suite.addTestSuite(LoadTest.class);
+ suite.addTestSuite(StoreTest.class);
+ suite.addTestSuite(SetTest.class);
+ suite.addTestSuite(GetTest.class);
+ suite.addTestSuite(GetTransTest.class);
+ suite.addTestSuite(SetStaticTest.class);
+ suite.addTestSuite(GetStaticTest.class);
+ suite.addTestSuite(FindtypeTest.class);
+ suite.addTestSuite(FindtypeSTest.class);
+ suite.addTestSuite(NewTest.class);
+ suite.addTestSuite(NewSTest.class);
+ suite.addTestSuite(DeleteTest.class);
+ suite.addTestSuite(DupTest.class);
+ suite.addTestSuite(DupX1Test.class);
+ suite.addTestSuite(SwapTest.class);
+ suite.addTestSuite(SwapX1Test.class);
+ suite.addTestSuite(IfTest.class);
+ suite.addTestSuite(IfnTest.class);
+ suite.addTestSuite(GotoTest.class);
+ suite.addTestSuite(IterateTest.class);
+ suite.addTestSuite(EnditerateTest.class);
+ suite.addTestSuite(InvokeTest.class);
+ suite.addTestSuite(InvokeSuperTest.class);
+ suite.addTestSuite(InvokeStaticTest.class);
+ suite.addTestSuite(AllinstTest.class);
+ suite.addTestSuite(AllinstInTest.class);
+ suite.addTestSuite(IsnullTest.class);
+ suite.addTestSuite(GetenvtypeTest.class);
+ suite.addTestSuite(NotTest.class);
+ suite.addTestSuite(AndTest.class);
+ suite.addTestSuite(OrTest.class);
+ suite.addTestSuite(XorTest.class);
+ suite.addTestSuite(ImpliesTest.class);
+ suite.addTestSuite(IfteTest.class);
+ suite.addTestSuite(ReturnTest.class);
+ suite.addTestSuite(GetcbTest.class);
+ suite.addTestSuite(InvokeAllCbsTest.class);
+ suite.addTestSuite(InvokeCbTest.class);
+ suite.addTestSuite(InvokeCbSTest.class);
+ suite.addTestSuite(MatchTest.class);
+ suite.addTestSuite(MatchSTest.class);
+ suite.addTestSuite(AddTest.class);
+ suite.addTestSuite(RemoveTest.class);
+ suite.addTestSuite(InsertTest.class);
+ return suite;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public EmftvmTests(String name) {
+ super(name);
+ }
+
+} //EmftvmTests
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EnditerateTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EnditerateTest.java
new file mode 100644
index 00000000..6f504076
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/EnditerateTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Enditerate;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Enditerate</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class EnditerateTest extends BranchInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(EnditerateTest.class);
+ }
+
+ /**
+ * Constructs a new Enditerate test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public EnditerateTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Enditerate test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Enditerate getFixture() {
+ return (Enditerate)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createEnditerate());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //EnditerateTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ExecEnvTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ExecEnvTest.java
new file mode 100644
index 00000000..03846fc8
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ExecEnvTest.java
@@ -0,0 +1,404 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+import junit.textui.TestRunner;
+
+import org.eclipse.core.runtime.Platform;
+import org.eclipse.emf.common.util.URI;
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.emf.ecore.resource.ResourceSet;
+import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.ExecEnv;
+import org.eclipse.m2m.atl.emftvm.Model;
+import org.eclipse.m2m.atl.emftvm.util.DefaultModuleResolver;
+import org.eclipse.m2m.atl.emftvm.util.ModuleResolver;
+import org.eclipse.m2m.atl.emftvm.util.TimingData;
+import org.osgi.framework.Bundle;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Exec Env</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following operations are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#loadModule(org.eclipse.m2m.atl.emftvm.util.ModuleResolver, java.lang.String) <em>Load Module</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#registerFeature(org.eclipse.m2m.atl.emftvm.Feature) <em>Register Feature</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#registerRule(org.eclipse.m2m.atl.emftvm.Rule) <em>Register Rule</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findOperation(java.lang.Object, java.lang.String, java.lang.Object[]) <em>Find Operation</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findStaticOperation(java.lang.Object, java.lang.String, java.lang.Object[]) <em>Find Static Operation</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findField(java.lang.Object, java.lang.String) <em>Find Field</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findStaticField(java.lang.Object, java.lang.String) <em>Find Static Field</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findRule(java.lang.String) <em>Find Rule</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findType(java.lang.String, java.lang.String) <em>Find Type</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#run(org.eclipse.m2m.atl.emftvm.util.TimingData, org.eclipse.m2m.atl.emftvm.util.VMMonitor) <em>Run</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getRules() <em>Get Rules</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getModelOf(org.eclipse.emf.ecore.EObject) <em>Get Model Of</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getModelID(org.eclipse.m2m.atl.emftvm.Model) <em>Get Model ID</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#queueForDelete(org.eclipse.emf.ecore.EObject, org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Queue For Delete</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#deleteQueue() <em>Delete Queue</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getInputModelOf(org.eclipse.emf.ecore.EObject) <em>Get Input Model Of</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getInoutModelOf(org.eclipse.emf.ecore.EObject) <em>Get Inout Model Of</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getOutputModelOf(org.eclipse.emf.ecore.EObject) <em>Get Output Model Of</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getMonitor() <em>Get Monitor</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class ExecEnvTest extends TestCase {
+
+ public static final String PLUGIN_ID = "org.eclipse.m2m.atl.emftvm.tests";
+ public static final String PLUGIN_URI = "platform:/plugin/" + PLUGIN_ID;
+
+ public static final Bundle bundle = Platform.getBundle(PLUGIN_ID);
+
+ /**
+ * The fixture for this Exec Env test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected ExecEnv fixture = null;
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ExecEnvTest.class);
+ }
+
+ /**
+ * Constructs a new Exec Env test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ExecEnvTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Exec Env test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(ExecEnv fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Exec Env test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected ExecEnv getFixture() {
+ return fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createExecEnv());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getMonitor() <em>Get Monitor</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getMonitor()
+ * @generated
+ */
+ public void testGetMonitor() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#loadModule(org.eclipse.m2m.atl.emftvm.util.ModuleResolver, java.lang.String) <em>Load Module</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#loadModule(org.eclipse.m2m.atl.emftvm.util.ModuleResolver, java.lang.String)
+ * @generated
+ */
+ public void testLoadModule__ModuleResolver_String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#registerFeature(org.eclipse.m2m.atl.emftvm.Feature) <em>Register Feature</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#registerFeature(org.eclipse.m2m.atl.emftvm.Feature)
+ * @generated
+ */
+ public void testRegisterFeature__Feature() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#registerRule(org.eclipse.m2m.atl.emftvm.Rule) <em>Register Rule</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#registerRule(org.eclipse.m2m.atl.emftvm.Rule)
+ * @generated
+ */
+ public void testRegisterRule__Rule() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findOperation(java.lang.Object, java.lang.String, java.lang.Object[]) <em>Find Operation</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#findOperation(java.lang.Object, java.lang.String, java.lang.Object[])
+ * @generated
+ */
+ public void testFindOperation__Object_String_Object() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findStaticOperation(java.lang.Object, java.lang.String, java.lang.Object[]) <em>Find Static Operation</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#findStaticOperation(java.lang.Object, java.lang.String, java.lang.Object[])
+ * @generated
+ */
+ public void testFindStaticOperation__Object_String_Object() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findField(java.lang.Object, java.lang.String) <em>Find Field</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#findField(java.lang.Object, java.lang.String)
+ * @generated
+ */
+ public void testFindField__Object_String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findStaticField(java.lang.Object, java.lang.String) <em>Find Static Field</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#findStaticField(java.lang.Object, java.lang.String)
+ * @generated
+ */
+ public void testFindStaticField__Object_String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findRule(java.lang.String) <em>Find Rule</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#findRule(java.lang.String)
+ * @generated
+ */
+ public void testFindRule__String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#findType(java.lang.String, java.lang.String) <em>Find Type</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#findType(java.lang.String, java.lang.String)
+ * @generated
+ */
+ public void testFindType__String_String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#run(org.eclipse.m2m.atl.emftvm.util.TimingData, org.eclipse.m2m.atl.emftvm.util.VMMonitor) <em>Run</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#run(org.eclipse.m2m.atl.emftvm.util.TimingData, org.eclipse.m2m.atl.emftvm.util.VMMonitor)
+ * @generated NOT
+ */
+ public void testRun__TimingData_VMMonitor() {
+ final ExecEnv env = getFixture();
+ final ResourceSet rs = new ResourceSetImpl();
+
+ // Load models
+ final Resource inRes = rs.getResource(URI.createPlatformPluginURI(PLUGIN_ID + "/test-data/ATLtoEMFTVM.emftvm", true), true);
+ final Model inModel = EmftvmFactory.eINSTANCE.createModel();
+ inModel.setResource(inRes);
+ env.getInputModels().put("IN", inModel);
+
+ final Resource outRes = rs.createResource(URI.createFileURI("out.xmi"));
+ final Model outModel = EmftvmFactory.eINSTANCE.createModel();
+ outModel.setResource(outRes);
+ env.getOutputModels().put("OUT", outModel);
+
+ // Load and run module
+ final ModuleResolver mr = new DefaultModuleResolver(PLUGIN_URI + "/test-data/", rs);
+ final TimingData td = new TimingData();
+ env.loadModule(mr, "EMFTVMCopy");
+ td.finishLoading();
+ env.run(td, null);
+ td.finish();
+ System.out.print(td.toString());
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getRules() <em>Get Rules</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getRules()
+ * @generated
+ */
+ public void testGetRules() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getModelOf(org.eclipse.emf.ecore.EObject) <em>Get Model Of</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getModelOf(org.eclipse.emf.ecore.EObject)
+ * @generated
+ */
+ public void testGetModelOf__EObject() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getModelID(org.eclipse.m2m.atl.emftvm.Model) <em>Get Model ID</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getModelID(org.eclipse.m2m.atl.emftvm.Model)
+ * @generated
+ */
+ public void testGetModelID__Model() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#queueForDelete(org.eclipse.emf.ecore.EObject, org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Queue For Delete</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#queueForDelete(org.eclipse.emf.ecore.EObject, org.eclipse.m2m.atl.emftvm.util.StackFrame)
+ * @generated
+ */
+ public void testQueueForDelete__EObject_StackFrame() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#deleteQueue() <em>Delete Queue</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#deleteQueue()
+ * @generated
+ */
+ public void testDeleteQueue() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getInputModelOf(org.eclipse.emf.ecore.EObject) <em>Get Input Model Of</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getInputModelOf(org.eclipse.emf.ecore.EObject)
+ * @generated
+ */
+ public void testGetInputModelOf__EObject() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getInoutModelOf(org.eclipse.emf.ecore.EObject) <em>Get Inout Model Of</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getInoutModelOf(org.eclipse.emf.ecore.EObject)
+ * @generated
+ */
+ public void testGetInoutModelOf__EObject() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.ExecEnv#getOutputModelOf(org.eclipse.emf.ecore.EObject) <em>Get Output Model Of</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.ExecEnv#getOutputModelOf(org.eclipse.emf.ecore.EObject)
+ * @generated
+ */
+ public void testGetOutputModelOf__EObject() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //ExecEnvTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FeatureTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FeatureTest.java
new file mode 100644
index 00000000..39a5875b
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FeatureTest.java
@@ -0,0 +1,78 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.Feature;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Feature</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Feature#getEContext() <em>EContext</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class FeatureTest extends TypedElementTest {
+
+ /**
+ * Constructs a new Feature test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public FeatureTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Feature test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Feature getFixture() {
+ return (Feature)fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Feature#getEContext() <em>EContext</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Feature#getEContext()
+ * @generated
+ */
+ public void testGetEContext() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Feature#setEContext(org.eclipse.emf.ecore.EClassifier) <em>EContext</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Feature#setEContext(org.eclipse.emf.ecore.EClassifier)
+ * @generated
+ */
+ public void testSetEContext() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //FeatureTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldInstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldInstructionTest.java
new file mode 100644
index 00000000..73df8999
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldInstructionTest.java
@@ -0,0 +1,46 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.FieldInstruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Field Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public abstract class FieldInstructionTest extends InstructionTest {
+
+ /**
+ * Constructs a new Field Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public FieldInstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Field Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected FieldInstruction getFixture() {
+ return (FieldInstruction)fixture;
+ }
+
+} //FieldInstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldTest.java
new file mode 100644
index 00000000..2029c55a
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FieldTest.java
@@ -0,0 +1,187 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Field;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Field</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Field#getStaticValue() <em>Static Value</em>}</li>
+ * </ul>
+ * </p>
+ * <p>
+ * The following operations are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Field#getValue(java.lang.Object) <em>Get Value</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Field#setValue(java.lang.Object, java.lang.Object) <em>Set Value</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Field#getValue(java.lang.Object, org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Get Value</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Field#getStaticValue(org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Get Static Value</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Field#clear() <em>Clear</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class FieldTest extends FeatureTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(FieldTest.class);
+ }
+
+ /**
+ * Constructs a new Field test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public FieldTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Field test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Field getFixture() {
+ return (Field)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createField());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#getStaticValue() <em>Static Value</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#getStaticValue()
+ * @generated
+ */
+ public void testGetStaticValue() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#setStaticValue(java.lang.Object) <em>Static Value</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#setStaticValue(java.lang.Object)
+ * @generated
+ */
+ public void testSetStaticValue() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#getValue(java.lang.Object) <em>Get Value</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#getValue(java.lang.Object)
+ * @generated
+ */
+ public void testGetValue__Object() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#setValue(java.lang.Object, java.lang.Object) <em>Set Value</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#setValue(java.lang.Object, java.lang.Object)
+ * @generated
+ */
+ public void testSetValue__Object_Object() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#getValue(java.lang.Object, org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Get Value</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#getValue(java.lang.Object, org.eclipse.m2m.atl.emftvm.util.StackFrame)
+ * @generated
+ */
+ public void testGetValue__Object_StackFrame() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#getStaticValue(org.eclipse.m2m.atl.emftvm.util.StackFrame) <em>Get Static Value</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#getStaticValue(org.eclipse.m2m.atl.emftvm.util.StackFrame)
+ * @generated
+ */
+ public void testGetStaticValue__StackFrame() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Field#clear() <em>Clear</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Field#clear()
+ * @generated
+ */
+ public void testClear() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //FieldTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeSTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeSTest.java
new file mode 100644
index 00000000..95753e98
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeSTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.FindtypeS;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Findtype s</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FindtypeSTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(FindtypeSTest.class);
+ }
+
+ /**
+ * Constructs a new Findtype S test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public FindtypeSTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Findtype S test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected FindtypeS getFixture() {
+ return (FindtypeS)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createFindtypeS());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Findtype_sTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeTest.java
new file mode 100644
index 00000000..b44450c0
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/FindtypeTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Findtype;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Findtype</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FindtypeTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(FindtypeTest.class);
+ }
+
+ /**
+ * Constructs a new Findtype test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public FindtypeTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Findtype test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Findtype getFixture() {
+ return (Findtype)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createFindtype());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //FindtypeTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetStaticTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetStaticTest.java
new file mode 100644
index 00000000..296777ce
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetStaticTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.GetStatic;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Get static</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class GetStaticTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(GetStaticTest.class);
+ }
+
+ /**
+ * Constructs a new Get Static test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public GetStaticTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Get Static test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected GetStatic getFixture() {
+ return (GetStatic)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createGetStatic());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Get_staticTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTest.java
new file mode 100644
index 00000000..ab5618f2
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Get;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Get</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class GetTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(GetTest.class);
+ }
+
+ /**
+ * Constructs a new Get test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public GetTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Get test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Get getFixture() {
+ return (Get)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createGet());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //GetTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTransTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTransTest.java
new file mode 100644
index 00000000..5179936e
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetTransTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.GetTrans;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Get trans</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class GetTransTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(GetTransTest.class);
+ }
+
+ /**
+ * Constructs a new Get Trans test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public GetTransTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Get Trans test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected GetTrans getFixture() {
+ return (GetTrans)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createGetTrans());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Get_transTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetcbTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetcbTest.java
new file mode 100644
index 00000000..086100b2
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetcbTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Getcb;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Getcb</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class GetcbTest extends CodeBlockInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(GetcbTest.class);
+ }
+
+ /**
+ * Constructs a new Getcb test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public GetcbTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Getcb test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Getcb getFixture() {
+ return (Getcb)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createGetcb());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //GetcbTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetenvtypeTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetenvtypeTest.java
new file mode 100644
index 00000000..1a49fde9
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GetenvtypeTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Getenvtype;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Getenvtype</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class GetenvtypeTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(GetenvtypeTest.class);
+ }
+
+ /**
+ * Constructs a new Getenvtype test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public GetenvtypeTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Getenvtype test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Getenvtype getFixture() {
+ return (Getenvtype)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createGetenvtype());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //GetenvtypeTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GotoTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GotoTest.java
new file mode 100644
index 00000000..6cb7f6ab
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/GotoTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Goto;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Goto</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class GotoTest extends BranchInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(GotoTest.class);
+ }
+
+ /**
+ * Constructs a new Goto test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public GotoTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Goto test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Goto getFixture() {
+ return (Goto)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createGoto());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //GotoTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfTest.java
new file mode 100644
index 00000000..54fad94d
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.If;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>If</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class IfTest extends BranchInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(IfTest.class);
+ }
+
+ /**
+ * Constructs a new If test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public IfTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this If test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected If getFixture() {
+ return (If)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createIf());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //IfTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfnTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfnTest.java
new file mode 100644
index 00000000..586bdc40
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfnTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Ifn;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Ifn</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class IfnTest extends BranchInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(IfnTest.class);
+ }
+
+ /**
+ * Constructs a new Ifn test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public IfnTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Ifn test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Ifn getFixture() {
+ return (Ifn)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createIfn());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //IfnTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfteTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfteTest.java
new file mode 100644
index 00000000..36dfc2d6
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IfteTest.java
@@ -0,0 +1,193 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Ifte;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Ifte</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Ifte#getThenCbIndex() <em>Then Cb Index</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Ifte#getElseCbIndex() <em>Else Cb Index</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Ifte#getThenCb() <em>Then Cb</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Ifte#getElseCb() <em>Else Cb</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class IfteTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(IfteTest.class);
+ }
+
+ /**
+ * Constructs a new Ifte test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public IfteTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Ifte test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Ifte getFixture() {
+ return (Ifte)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createIfte());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#getThenCbIndex() <em>Then Cb Index</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#getThenCbIndex()
+ * @generated
+ */
+ public void testGetThenCbIndex() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#setThenCbIndex(int) <em>Then Cb Index</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#setThenCbIndex(int)
+ * @generated
+ */
+ public void testSetThenCbIndex() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#getElseCbIndex() <em>Else Cb Index</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#getElseCbIndex()
+ * @generated
+ */
+ public void testGetElseCbIndex() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#setElseCbIndex(int) <em>Else Cb Index</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#setElseCbIndex(int)
+ * @generated
+ */
+ public void testSetElseCbIndex() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#getThenCb() <em>Then Cb</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#getThenCb()
+ * @generated
+ */
+ public void testGetThenCb() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#setThenCb(org.eclipse.m2m.atl.emftvm.CodeBlock) <em>Then Cb</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#setThenCb(org.eclipse.m2m.atl.emftvm.CodeBlock)
+ * @generated
+ */
+ public void testSetThenCb() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#getElseCb() <em>Else Cb</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#getElseCb()
+ * @generated
+ */
+ public void testGetElseCb() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Ifte#setElseCb(org.eclipse.m2m.atl.emftvm.CodeBlock) <em>Else Cb</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Ifte#setElseCb(org.eclipse.m2m.atl.emftvm.CodeBlock)
+ * @generated
+ */
+ public void testSetElseCb() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //IfteTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ImpliesTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ImpliesTest.java
new file mode 100644
index 00000000..3f427cf1
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ImpliesTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Implies;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Implies</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class ImpliesTest extends CodeBlockInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ImpliesTest.class);
+ }
+
+ /**
+ * Constructs a new Implies test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ImpliesTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Implies test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Implies getFixture() {
+ return (Implies)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createImplies());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //ImpliesTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InputRuleElementTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InputRuleElementTest.java
new file mode 100644
index 00000000..23e64706
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InputRuleElementTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.InputRuleElement;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Input Rule Element</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InputRuleElementTest extends RuleElementTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InputRuleElementTest.class);
+ }
+
+ /**
+ * Constructs a new Input Rule Element test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InputRuleElementTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Input Rule Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InputRuleElement getFixture() {
+ return (InputRuleElement)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInputRuleElement());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //InputRuleElementTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InsertTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InsertTest.java
new file mode 100644
index 00000000..7df06575
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InsertTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Insert;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Insert</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InsertTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InsertTest.class);
+ }
+
+ /**
+ * Constructs a new Insert test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InsertTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Insert test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Insert getFixture() {
+ return (Insert)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInsert());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //InsertTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InstructionTest.java
new file mode 100644
index 00000000..b2540797
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InstructionTest.java
@@ -0,0 +1,126 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+
+import org.eclipse.m2m.atl.emftvm.Instruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Instruction#getOpcode() <em>Opcode</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Instruction#getStackProduction() <em>Stack Production</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Instruction#getStackConsumption() <em>Stack Consumption</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Instruction#getStackLevel() <em>Stack Level</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class InstructionTest extends TestCase {
+
+ /**
+ * The fixture for this Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected Instruction fixture = null;
+
+ /**
+ * Constructs a new Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(Instruction fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected Instruction getFixture() {
+ return fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Instruction#getOpcode() <em>Opcode</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Instruction#getOpcode()
+ * @generated
+ */
+ public void testGetOpcode() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Instruction#getStackProduction() <em>Stack Production</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Instruction#getStackProduction()
+ * @generated
+ */
+ public void testGetStackProduction() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Instruction#getStackConsumption() <em>Stack Consumption</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Instruction#getStackConsumption()
+ * @generated
+ */
+ public void testGetStackConsumption() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Instruction#getStackLevel() <em>Stack Level</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Instruction#getStackLevel()
+ * @generated
+ */
+ public void testGetStackLevel() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //InstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeAllCbsTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeAllCbsTest.java
new file mode 100644
index 00000000..d3a2a0ed
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeAllCbsTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.InvokeAllCbs;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke all cbs</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InvokeAllCbsTest extends InvokeInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InvokeAllCbsTest.class);
+ }
+
+ /**
+ * Constructs a new Invoke All Cbs test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeAllCbsTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke All Cbs test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeAllCbs getFixture() {
+ return (InvokeAllCbs)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInvokeAllCbs());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Invoke_all_cbsTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbSTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbSTest.java
new file mode 100644
index 00000000..d184223d
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbSTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.InvokeCbS;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke cb s</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InvokeCbSTest extends InvokeInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InvokeCbSTest.class);
+ }
+
+ /**
+ * Constructs a new Invoke Cb S test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeCbSTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke Cb S test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeCbS getFixture() {
+ return (InvokeCbS)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInvokeCbS());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Invoke_cb_sTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbTest.java
new file mode 100644
index 00000000..c3e5ed4b
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeCbTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.InvokeCb;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke cb</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InvokeCbTest extends CodeBlockInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InvokeCbTest.class);
+ }
+
+ /**
+ * Constructs a new Invoke Cb test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeCbTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke Cb test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeCb getFixture() {
+ return (InvokeCb)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInvokeCb());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Invoke_cbTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeInstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeInstructionTest.java
new file mode 100644
index 00000000..dfc00bf3
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeInstructionTest.java
@@ -0,0 +1,46 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.InvokeInstruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public abstract class InvokeInstructionTest extends InstructionTest {
+
+ /**
+ * Constructs a new Invoke Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeInstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeInstruction getFixture() {
+ return (InvokeInstruction)fixture;
+ }
+
+} //InvokeInstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeOperationInstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeOperationInstructionTest.java
new file mode 100644
index 00000000..501586d8
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeOperationInstructionTest.java
@@ -0,0 +1,46 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.InvokeOperationInstruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke Operation Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public abstract class InvokeOperationInstructionTest extends InvokeInstructionTest {
+
+ /**
+ * Constructs a new Invoke Operation Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeOperationInstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke Operation Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeOperationInstruction getFixture() {
+ return (InvokeOperationInstruction)fixture;
+ }
+
+} //InvokeOperationInstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeStaticTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeStaticTest.java
new file mode 100644
index 00000000..3d358f8a
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeStaticTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.InvokeStatic;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke static</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InvokeStaticTest extends InvokeOperationInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InvokeStaticTest.class);
+ }
+
+ /**
+ * Constructs a new Invoke Static test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeStaticTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke Static test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeStatic getFixture() {
+ return (InvokeStatic)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInvokeStatic());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Invoke_staticTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeSuperTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeSuperTest.java
new file mode 100644
index 00000000..e44788b0
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeSuperTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.InvokeSuper;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke super</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InvokeSuperTest extends InvokeOperationInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InvokeSuperTest.class);
+ }
+
+ /**
+ * Constructs a new Invoke Super test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeSuperTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke Super test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected InvokeSuper getFixture() {
+ return (InvokeSuper)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInvokeSuper());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Invoke_superTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeTest.java
new file mode 100644
index 00000000..eaceeeac
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/InvokeTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Invoke;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Invoke</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class InvokeTest extends InvokeOperationInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(InvokeTest.class);
+ }
+
+ /**
+ * Constructs a new Invoke test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public InvokeTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Invoke test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Invoke getFixture() {
+ return (Invoke)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createInvoke());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //InvokeTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IsnullTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IsnullTest.java
new file mode 100644
index 00000000..d578838a
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IsnullTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Isnull;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Isnull</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class IsnullTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(IsnullTest.class);
+ }
+
+ /**
+ * Constructs a new Isnull test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public IsnullTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Isnull test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Isnull getFixture() {
+ return (Isnull)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createIsnull());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //IsnullTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IterateTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IterateTest.java
new file mode 100644
index 00000000..b05b4c1b
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/IterateTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Iterate;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Iterate</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class IterateTest extends BranchInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(IterateTest.class);
+ }
+
+ /**
+ * Constructs a new Iterate test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public IterateTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Iterate test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Iterate getFixture() {
+ return (Iterate)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createIterate());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //IterateTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LineNumberTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LineNumberTest.java
new file mode 100644
index 00000000..b1f5d92b
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LineNumberTest.java
@@ -0,0 +1,98 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.LineNumber;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Line Number</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class LineNumberTest extends TestCase {
+
+ /**
+ * The fixture for this Line Number test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected LineNumber fixture = null;
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(LineNumberTest.class);
+ }
+
+ /**
+ * Constructs a new Line Number test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public LineNumberTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Line Number test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(LineNumber fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Line Number test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected LineNumber getFixture() {
+ return fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createLineNumber());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //LineNumberTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LoadTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LoadTest.java
new file mode 100644
index 00000000..9334bfc8
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LoadTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Load;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Load</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class LoadTest extends LocalVariableInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(LoadTest.class);
+ }
+
+ /**
+ * Constructs a new Load test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public LoadTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Load test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Load getFixture() {
+ return (Load)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createLoad());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //LoadTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableInstructionTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableInstructionTest.java
new file mode 100644
index 00000000..55eea677
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableInstructionTest.java
@@ -0,0 +1,146 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.LocalVariableInstruction;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Local Variable Instruction</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getCbOffset() <em>Cb Offset</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getSlot() <em>Slot</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getLocalVariableIndex() <em>Local Variable Index</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getLocalVariable() <em>Local Variable</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class LocalVariableInstructionTest extends InstructionTest {
+
+ /**
+ * Constructs a new Local Variable Instruction test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public LocalVariableInstructionTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Local Variable Instruction test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected LocalVariableInstruction getFixture() {
+ return (LocalVariableInstruction)fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getCbOffset() <em>Cb Offset</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getCbOffset()
+ * @generated
+ */
+ public void testGetCbOffset() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#setCbOffset(int) <em>Cb Offset</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#setCbOffset(int)
+ * @generated
+ */
+ public void testSetCbOffset() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getSlot() <em>Slot</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getSlot()
+ * @generated
+ */
+ public void testGetSlot() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getLocalVariableIndex() <em>Local Variable Index</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getLocalVariableIndex()
+ * @generated
+ */
+ public void testGetLocalVariableIndex() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#setLocalVariableIndex(int) <em>Local Variable Index</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#setLocalVariableIndex(int)
+ * @generated
+ */
+ public void testSetLocalVariableIndex() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getLocalVariable() <em>Local Variable</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#getLocalVariable()
+ * @generated
+ */
+ public void testGetLocalVariable() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#setLocalVariable(org.eclipse.m2m.atl.emftvm.LocalVariable) <em>Local Variable</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariableInstruction#setLocalVariable(org.eclipse.m2m.atl.emftvm.LocalVariable)
+ * @generated
+ */
+ public void testSetLocalVariable() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //LocalVariableInstructionTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableTest.java
new file mode 100644
index 00000000..24de40d0
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/LocalVariableTest.java
@@ -0,0 +1,166 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.LocalVariable;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Local Variable</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariable#getSlot() <em>Slot</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariable#getStartInstructionIndex() <em>Start Instruction Index</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.LocalVariable#getEndInstructionIndex() <em>End Instruction Index</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class LocalVariableTest extends TypedElementTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(LocalVariableTest.class);
+ }
+
+ /**
+ * Constructs a new Local Variable test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public LocalVariableTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Local Variable test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected LocalVariable getFixture() {
+ return (LocalVariable)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createLocalVariable());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariable#getSlot() <em>Slot</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariable#getSlot()
+ * @generated
+ */
+ public void testGetSlot() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariable#setSlot(int) <em>Slot</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariable#setSlot(int)
+ * @generated
+ */
+ public void testSetSlot() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariable#getStartInstructionIndex() <em>Start Instruction Index</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariable#getStartInstructionIndex()
+ * @generated
+ */
+ public void testGetStartInstructionIndex() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariable#setStartInstructionIndex(int) <em>Start Instruction Index</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariable#setStartInstructionIndex(int)
+ * @generated
+ */
+ public void testSetStartInstructionIndex() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariable#getEndInstructionIndex() <em>End Instruction Index</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariable#getEndInstructionIndex()
+ * @generated
+ */
+ public void testGetEndInstructionIndex() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.LocalVariable#setEndInstructionIndex(int) <em>End Instruction Index</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.LocalVariable#setEndInstructionIndex(int)
+ * @generated
+ */
+ public void testSetEndInstructionIndex() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //LocalVariableTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchSTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchSTest.java
new file mode 100644
index 00000000..3f96127c
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchSTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.MatchS;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Match s</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class MatchSTest extends InvokeInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(MatchSTest.class);
+ }
+
+ /**
+ * Constructs a new Match S test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public MatchSTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Match S test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected MatchS getFixture() {
+ return (MatchS)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createMatchS());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Match_sTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchTest.java
new file mode 100644
index 00000000..cba55414
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MatchTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Match;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Match</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class MatchTest extends InvokeInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(MatchTest.class);
+ }
+
+ /**
+ * Constructs a new Match test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public MatchTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Match test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Match getFixture() {
+ return (Match)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createMatch());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //MatchTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MetamodelTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MetamodelTest.java
new file mode 100644
index 00000000..1393f9a9
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/MetamodelTest.java
@@ -0,0 +1,99 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Metamodel;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Metamodel</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following operations are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Metamodel#findType(java.lang.String) <em>Find Type</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class MetamodelTest extends ModelTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(MetamodelTest.class);
+ }
+
+ /**
+ * Constructs a new Metamodel test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public MetamodelTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Metamodel test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Metamodel getFixture() {
+ return (Metamodel)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createMetamodel());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Metamodel#findType(java.lang.String) <em>Find Type</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Metamodel#findType(java.lang.String)
+ * @generated
+ */
+ public void testFindType__String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //MetamodelTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelDeclarationTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelDeclarationTest.java
new file mode 100644
index 00000000..239ceae5
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelDeclarationTest.java
@@ -0,0 +1,98 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.ModelDeclaration;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Model Declaration</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class ModelDeclarationTest extends TestCase {
+
+ /**
+ * The fixture for this Model Declaration test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected ModelDeclaration fixture = null;
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ModelDeclarationTest.class);
+ }
+
+ /**
+ * Constructs a new Model Declaration test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ModelDeclarationTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Model Declaration test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(ModelDeclaration fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Model Declaration test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected ModelDeclaration getFixture() {
+ return fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createModelDeclaration());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //ModelDeclarationTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelTest.java
new file mode 100644
index 00000000..bc3c36ae
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModelTest.java
@@ -0,0 +1,177 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Model;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Model</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Model#getResource() <em>Resource</em>}</li>
+ * </ul>
+ * </p>
+ * <p>
+ * The following operations are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Model#allInstancesOf(org.eclipse.emf.ecore.EClass) <em>All Instances Of</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Model#newElement(org.eclipse.emf.ecore.EClass) <em>New Element</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Model#deleteElement(org.eclipse.emf.ecore.EObject) <em>Delete Element</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class ModelTest extends TestCase {
+
+ /**
+ * The fixture for this Model test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected Model fixture = null;
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ModelTest.class);
+ }
+
+ /**
+ * Constructs a new Model test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ModelTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Model test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(Model fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Model test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected Model getFixture() {
+ return fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createModel());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Model#getResource() <em>Resource</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Model#getResource()
+ * @generated
+ */
+ public void testGetResource() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Model#setResource(org.eclipse.emf.ecore.resource.Resource) <em>Resource</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Model#setResource(org.eclipse.emf.ecore.resource.Resource)
+ * @generated
+ */
+ public void testSetResource() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Model#allInstancesOf(org.eclipse.emf.ecore.EClass) <em>All Instances Of</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Model#allInstancesOf(org.eclipse.emf.ecore.EClass)
+ * @generated
+ */
+ public void testAllInstancesOf__EClass() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Model#newElement(org.eclipse.emf.ecore.EClass) <em>New Element</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Model#newElement(org.eclipse.emf.ecore.EClass)
+ * @generated
+ */
+ public void testNewElement__EClass() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Model#deleteElement(org.eclipse.emf.ecore.EObject) <em>Delete Element</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Model#deleteElement(org.eclipse.emf.ecore.EObject)
+ * @generated
+ */
+ public void testDeleteElement__EObject() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //ModelTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModuleTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModuleTest.java
new file mode 100644
index 00000000..b1d1aed3
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ModuleTest.java
@@ -0,0 +1,99 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Module;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Module</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Module#getEImports() <em>EImports</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class ModuleTest extends NamedElementTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ModuleTest.class);
+ }
+
+ /**
+ * Constructs a new Module test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ModuleTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Module test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Module getFixture() {
+ return (Module)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createModule());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Module#getEImports() <em>EImports</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Module#getEImports()
+ * @generated
+ */
+ public void testGetEImports() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //ModuleTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NamedElementTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NamedElementTest.java
new file mode 100644
index 00000000..bbb8e8a7
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NamedElementTest.java
@@ -0,0 +1,65 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.framework.TestCase;
+
+import org.eclipse.m2m.atl.emftvm.NamedElement;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Named Element</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public abstract class NamedElementTest extends TestCase {
+
+ /**
+ * The fixture for this Named Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected NamedElement fixture = null;
+
+ /**
+ * Constructs a new Named Element test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public NamedElementTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Sets the fixture for this Named Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected void setFixture(NamedElement fixture) {
+ this.fixture = fixture;
+ }
+
+ /**
+ * Returns the fixture for this Named Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ protected NamedElement getFixture() {
+ return fixture;
+ }
+
+} //NamedElementTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewSTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewSTest.java
new file mode 100644
index 00000000..78d55975
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewSTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.NewS;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>New s</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class NewSTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(NewSTest.class);
+ }
+
+ /**
+ * Constructs a new New S test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public NewSTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this New S test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected NewS getFixture() {
+ return (NewS)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createNewS());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //New_sTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewTest.java
new file mode 100644
index 00000000..1b875fa5
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NewTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.New;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>New</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class NewTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(NewTest.class);
+ }
+
+ /**
+ * Constructs a new New test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public NewTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this New test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected New getFixture() {
+ return (New)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createNew());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //NewTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NotTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NotTest.java
new file mode 100644
index 00000000..0e2efbd1
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/NotTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Not;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Not</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class NotTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(NotTest.class);
+ }
+
+ /**
+ * Constructs a new Not test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public NotTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Not test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Not getFixture() {
+ return (Not)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createNot());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //NotTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OperationTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OperationTest.java
new file mode 100644
index 00000000..34de41fa
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OperationTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Operation;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Operation</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class OperationTest extends FeatureTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(OperationTest.class);
+ }
+
+ /**
+ * Constructs a new Operation test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public OperationTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Operation test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Operation getFixture() {
+ return (Operation)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createOperation());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //OperationTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OrTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OrTest.java
new file mode 100644
index 00000000..7a8f7395
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OrTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Or;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Or</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class OrTest extends CodeBlockInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(OrTest.class);
+ }
+
+ /**
+ * Constructs a new Or test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public OrTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Or test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Or getFixture() {
+ return (Or)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createOr());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //OrTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OutputRuleElementTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OutputRuleElementTest.java
new file mode 100644
index 00000000..242759cd
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/OutputRuleElementTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.OutputRuleElement;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Output Rule Element</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class OutputRuleElementTest extends RuleElementTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(OutputRuleElementTest.class);
+ }
+
+ /**
+ * Constructs a new Output Rule Element test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public OutputRuleElementTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Output Rule Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected OutputRuleElement getFixture() {
+ return (OutputRuleElement)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createOutputRuleElement());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //OutputRuleElementTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ParameterTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ParameterTest.java
new file mode 100644
index 00000000..a0fe5118
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ParameterTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Parameter;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Parameter</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class ParameterTest extends TypedElementTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ParameterTest.class);
+ }
+
+ /**
+ * Constructs a new Parameter test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ParameterTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Parameter test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Parameter getFixture() {
+ return (Parameter)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createParameter());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //ParameterTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PopTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PopTest.java
new file mode 100644
index 00000000..5577860d
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PopTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Pop;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Pop</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class PopTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(PopTest.class);
+ }
+
+ /**
+ * Constructs a new Pop test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public PopTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Pop test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Pop getFixture() {
+ return (Pop)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createPop());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //PopTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushTest.java
new file mode 100644
index 00000000..eac7f3ac
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Push;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Push</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class PushTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(PushTest.class);
+ }
+
+ /**
+ * Constructs a new Push test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public PushTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Push test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Push getFixture() {
+ return (Push)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createPush());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //PushTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushfTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushfTest.java
new file mode 100644
index 00000000..5b72892b
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushfTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Pushf;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Pushf</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class PushfTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(PushfTest.class);
+ }
+
+ /**
+ * Constructs a new Pushf test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public PushfTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Pushf test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Pushf getFixture() {
+ return (Pushf)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createPushf());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //PushfTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushtTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushtTest.java
new file mode 100644
index 00000000..f4c74ae0
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/PushtTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Pusht;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Pusht</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class PushtTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(PushtTest.class);
+ }
+
+ /**
+ * Constructs a new Pusht test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public PushtTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Pusht test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Pusht getFixture() {
+ return (Pusht)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createPusht());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //PushtTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RemoveTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RemoveTest.java
new file mode 100644
index 00000000..0a718889
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RemoveTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Remove;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Remove</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class RemoveTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(RemoveTest.class);
+ }
+
+ /**
+ * Constructs a new Remove test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public RemoveTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Remove test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Remove getFixture() {
+ return (Remove)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createRemove());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //RemoveTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ReturnTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ReturnTest.java
new file mode 100644
index 00000000..31f451ce
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/ReturnTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Return;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Return</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class ReturnTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(ReturnTest.class);
+ }
+
+ /**
+ * Constructs a new Return test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public ReturnTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Return test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Return getFixture() {
+ return (Return)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createReturn());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //ReturnTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleElementTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleElementTest.java
new file mode 100644
index 00000000..96091aae
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleElementTest.java
@@ -0,0 +1,65 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.RuleElement;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Rule Element</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.RuleElement#getEModels() <em>EModels</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class RuleElementTest extends TypedElementTest {
+
+ /**
+ * Constructs a new Rule Element test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public RuleElementTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Rule Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected RuleElement getFixture() {
+ return (RuleElement)fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.RuleElement#getEModels() <em>EModels</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.RuleElement#getEModels()
+ * @generated
+ */
+ public void testGetEModels() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //RuleElementTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleTest.java
new file mode 100644
index 00000000..285ab2c4
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/RuleTest.java
@@ -0,0 +1,160 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Rule;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Rule</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Rule#getESuperRules() <em>ESuper Rules</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Rule#getESubRules() <em>ESub Rules</em>}</li>
+ * </ul>
+ * </p>
+ * <p>
+ * The following operations are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Rule#findField(java.lang.Object, java.lang.String) <em>Find Field</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Rule#findStaticField(java.lang.Object, java.lang.String) <em>Find Static Field</em>}</li>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.Rule#registerField(org.eclipse.m2m.atl.emftvm.Field) <em>Register Field</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public class RuleTest extends NamedElementTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(RuleTest.class);
+ }
+
+ /**
+ * Constructs a new Rule test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public RuleTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Rule test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Rule getFixture() {
+ return (Rule)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createRule());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Rule#getESuperRules() <em>ESuper Rules</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Rule#getESuperRules()
+ * @generated
+ */
+ public void testGetESuperRules() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Rule#getESubRules() <em>ESub Rules</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Rule#getESubRules()
+ * @generated
+ */
+ public void testGetESubRules() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Rule#findField(java.lang.Object, java.lang.String) <em>Find Field</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Rule#findField(java.lang.Object, java.lang.String)
+ * @generated
+ */
+ public void testFindField__Object_String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Rule#findStaticField(java.lang.Object, java.lang.String) <em>Find Static Field</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Rule#findStaticField(java.lang.Object, java.lang.String)
+ * @generated
+ */
+ public void testFindStaticField__Object_String() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.Rule#registerField(org.eclipse.m2m.atl.emftvm.Field) <em>Register Field</em>}' operation.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.Rule#registerField(org.eclipse.m2m.atl.emftvm.Field)
+ * @generated
+ */
+ public void testRegisterField__Field() {
+ // TODO: implement this operation test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //RuleTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetStaticTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetStaticTest.java
new file mode 100644
index 00000000..c31dd61d
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetStaticTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.SetStatic;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Set static</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class SetStaticTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(SetStaticTest.class);
+ }
+
+ /**
+ * Constructs a new Set Static test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public SetStaticTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Set Static test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected SetStatic getFixture() {
+ return (SetStatic)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createSetStatic());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Set_staticTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetTest.java
new file mode 100644
index 00000000..40da11a5
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SetTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Set;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Set</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class SetTest extends FieldInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(SetTest.class);
+ }
+
+ /**
+ * Constructs a new Set test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public SetTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Set test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Set getFixture() {
+ return (Set)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createSet());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //SetTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/StoreTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/StoreTest.java
new file mode 100644
index 00000000..4ea5398c
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/StoreTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Store;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Store</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class StoreTest extends LocalVariableInstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(StoreTest.class);
+ }
+
+ /**
+ * Constructs a new Store test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public StoreTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Store test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Store getFixture() {
+ return (Store)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createStore());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //StoreTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapTest.java
new file mode 100644
index 00000000..ef8cd49d
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Swap;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Swap</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class SwapTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(SwapTest.class);
+ }
+
+ /**
+ * Constructs a new Swap test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public SwapTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Swap test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Swap getFixture() {
+ return (Swap)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createSwap());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //SwapTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapX1Test.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapX1Test.java
new file mode 100644
index 00000000..3c0ce73a
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/SwapX1Test.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.SwapX1;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Swap x1</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class SwapX1Test extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(SwapX1Test.class);
+ }
+
+ /**
+ * Constructs a new Swap X1 test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public SwapX1Test(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Swap X1 test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected SwapX1 getFixture() {
+ return (SwapX1)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createSwapX1());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //Swap_x1Test
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/TypedElementTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/TypedElementTest.java
new file mode 100644
index 00000000..8cdd9ed2
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/TypedElementTest.java
@@ -0,0 +1,78 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import org.eclipse.m2m.atl.emftvm.TypedElement;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Typed Element</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are tested:
+ * <ul>
+ * <li>{@link org.eclipse.m2m.atl.emftvm.TypedElement#getEType() <em>EType</em>}</li>
+ * </ul>
+ * </p>
+ * @generated
+ */
+public abstract class TypedElementTest extends NamedElementTest {
+
+ /**
+ * Constructs a new Typed Element test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public TypedElementTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Typed Element test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected TypedElement getFixture() {
+ return (TypedElement)fixture;
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.TypedElement#getEType() <em>EType</em>}' feature getter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.TypedElement#getEType()
+ * @generated
+ */
+ public void testGetEType() {
+ // TODO: implement this feature getter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+ /**
+ * Tests the '{@link org.eclipse.m2m.atl.emftvm.TypedElement#setEType(org.eclipse.emf.ecore.EClassifier) <em>EType</em>}' feature setter.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see org.eclipse.m2m.atl.emftvm.TypedElement#setEType(org.eclipse.emf.ecore.EClassifier)
+ * @generated
+ */
+ public void testSetEType() {
+ // TODO: implement this feature setter test method
+ // Ensure that you remove @generated or mark it @generated NOT
+ fail();
+ }
+
+} //TypedElementTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/XorTest.java b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/XorTest.java
new file mode 100644
index 00000000..04846824
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/src/org/eclipse/m2m/atl/emftvm/tests/XorTest.java
@@ -0,0 +1,80 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Vrije Universiteit Brussel.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Dennis Wagelaar, Vrije Universiteit Brussel - initial API and
+ * implementation and/or initial documentation
+ *******************************************************************************/
+package org.eclipse.m2m.atl.emftvm.tests;
+
+import junit.textui.TestRunner;
+
+import org.eclipse.m2m.atl.emftvm.EmftvmFactory;
+import org.eclipse.m2m.atl.emftvm.Xor;
+
+/**
+ * <!-- begin-user-doc -->
+ * A test case for the model object '<em><b>Xor</b></em>'.
+ * @author <a href="mailto:dennis.wagelaar@vub.ac.be">Dennis Wagelaar</a>
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class XorTest extends InstructionTest {
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public static void main(String[] args) {
+ TestRunner.run(XorTest.class);
+ }
+
+ /**
+ * Constructs a new Xor test case with the given name.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ public XorTest(String name) {
+ super(name);
+ }
+
+ /**
+ * Returns the fixture for this Xor test case.
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @generated
+ */
+ @Override
+ protected Xor getFixture() {
+ return (Xor)fixture;
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#setUp()
+ * @generated
+ */
+ @Override
+ protected void setUp() throws Exception {
+ setFixture(EmftvmFactory.eINSTANCE.createXor());
+ }
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @see junit.framework.TestCase#tearDown()
+ * @generated
+ */
+ @Override
+ protected void tearDown() throws Exception {
+ setFixture(null);
+ }
+
+} //XorTest
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/MatchedRuleWithFilterAndAction.atl b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/MatchedRuleWithFilterAndAction.atl
new file mode 100644
index 00000000..932c2e1e
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/MatchedRuleWithFilterAndAction.atl
@@ -0,0 +1,21 @@
+-- @atlcompiler emftvm
+-- @nsURI EMFTVM=http://www.eclipse.org/m2m/atl/2011/EMFTVM
+-- @path ATL=/org.eclipse.m2m.atl.emftvm.compiler/metamodels/ATL.ecore
+-- @path Problem=/org.eclipse.m2m.atl.emftvm.compiler/metamodels/Problem.ecore
+-- Tests the MatchedRuleWithFilterAndAction compiler rule
+-- $Id: MatchedRuleWithFilterAndAction.atl,v 1.1 2011/12/08 09:28:08 dwagelaar Exp $
+module MatchedRuleWithFilterAndAction;
+create OUT : EMFTVM, PBS : Problem from IN : ATL;
+
+lazy rule InvokeIncluding {
+ from
+ s : ATL!OclExpression (true)
+ to
+ invoke : EMFTVM!Invoke (
+ opname <- 'including',
+ argcount <- 1
+ )
+ do {
+ invoke;
+ }
+} \ No newline at end of file
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/NativeTest.atl b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/NativeTest.atl
new file mode 100644
index 00000000..f973bc4c
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/NativeTest.atl
@@ -0,0 +1,5 @@
+-- @atlcompiler emftvm
+library NativeTest;
+
+helper def : random() : Real =
+ "#native"!"java::util::Random".newInstance().nextDouble(); \ No newline at end of file
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestLib.atl b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestLib.atl
new file mode 100644
index 00000000..d9cb0a46
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestLib.atl
@@ -0,0 +1,17 @@
+-- @atlcompiler emftvm
+-- @nsURI EMFTVM=http://www.eclipse.org/m2m/atl/2011/EMFTVM
+-- Tests ATL compilation strategy
+library TestLib;
+
+helper context EMFTVM!NamedElement def : test() : Boolean =
+ (not self.name.oclIsUndefined()).debug(' TestLib::NamedElement.test() '.encode());
+
+helper context EMFTVM!Operation def : test() : Boolean =
+ super.test().debug('TestLib::Operation.test()');
+
+helper context OclAny def : encode() : String =
+ '';
+
+helper context String def : encode() : String =
+ self.replaceAll('\\s+', ' ')
+ .replaceAll('"', '');
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.atl b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.atl
new file mode 100644
index 00000000..8abe32a7
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/TestQuery.atl
@@ -0,0 +1,11 @@
+-- @atlcompiler emftvm
+-- @nsURI EMFTVM=http://www.eclipse.org/m2m/atl/2011/EMFTVM
+-- Tests ATL compilation strategy
+query TestQuery = EMFTVM!Operation.allInstances()->select(r|r.test()).debug('TestQuery');
+
+uses TestLib;
+uses NativeTest;
+
+helper context EMFTVM!Operation def : test() : Boolean =
+ (super.test() and not self.static).debug('TestQuery::Operation.test() (random = ' +
+ thisModule.random().toString() + ')'); \ No newline at end of file
diff --git a/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/build.xml b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/build.xml
new file mode 100644
index 00000000..497b0415
--- /dev/null
+++ b/tests/org.eclipse.m2m.atl.emftvm.tests/test-data/build.xml
@@ -0,0 +1,22 @@
+<project name="org.eclipse.m2m.atl.emftvm.tests/test-data" default="all">
+
+ <target name="clean">
+ <delete>
+ <fileset dir=".">
+ <exclude name="**/build.xml"/>
+ <exclude name="**/*.atl"/>
+ </fileset>
+ </delete>
+ </target>
+
+ <target name="copy-emftvm-file">
+ <copy todir=".">
+ <fileset dir="../../org.eclipse.m2m.atl.emftvm.compiler/transformations">
+ <include name="*.emftvm"/>
+ </fileset>
+ </copy>
+ </target>
+
+ <target name="all" depends="copy-emftvm-file"/>
+
+</project> \ No newline at end of file

Back to the top