diff options
Diffstat (limited to 'tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests')
8 files changed, 138 insertions, 25 deletions
diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/META-INF/MANIFEST.MF b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/META-INF/MANIFEST.MF index d351fd63a..84d07de79 100644 --- a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/META-INF/MANIFEST.MF +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/META-INF/MANIFEST.MF @@ -12,7 +12,7 @@ Require-Bundle: org.eclipse.qvtd.doc.miniocl;bundle-version="0.13.0", org.eclipse.xtext.xbase.junit,
org.eclipse.xtext.xbase.lib
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-Export-Package: org.eclipse.qvtd.doc.tests
+Export-Package: org.eclipse.qvtd.doc.minioclcs.xtext.tests
Import-Package: org.hamcrest.core,
org.junit;version="4.5.0",
org.junit.runners.model;version="4.5.0",
diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/MiniOCLCSParsingTest.launch b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/MiniOCLCSParsingTest.launch index c78c323e9..b7ce04327 100644 --- a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/MiniOCLCSParsingTest.launch +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/MiniOCLCSParsingTest.launch @@ -1,15 +1,15 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?> -<launchConfiguration type="org.eclipse.jdt.junit.launchconfig"> -<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> -<listEntry value="/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/tests/MiniOCLCSParsingTest.java"/> -</listAttribute> -<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> -<listEntry value="1"/> -</listAttribute> -<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.qvtd.doc.tests.MiniOCLCSParsingTest"/> -<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.eclipse.qvtd.doc.minioclcs.xtext.tests"/> -</launchConfiguration> +<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.jdt.junit.launchconfig">
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/org.eclipse.qvtd.doc.minioclcs.xtext.tests"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="4"/>
+</listAttribute>
+<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.qvtd.doc.minioclcs.xtext.tests.MiniOCLCSParsingTest"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.eclipse.qvtd.doc.minioclcs.xtext.tests"/>
+</launchConfiguration>
diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src-gen/org/eclipse/qvtd/doc/tests/MiniOCLCSInjectorProvider.java b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSInjectorProvider.java index 145ce3139..53e6a212d 100644 --- a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src-gen/org/eclipse/qvtd/doc/tests/MiniOCLCSInjectorProvider.java +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSInjectorProvider.java @@ -1,7 +1,7 @@ /* * generated by Xtext 2.10.0 */ -package org.eclipse.qvtd.doc.tests; +package org.eclipse.qvtd.doc.minioclcs.xtext.tests; import com.google.inject.Guice; import com.google.inject.Injector; diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src/org/eclipse/qvtd/doc/tests/MiniOCLCSParsingTest.xtend b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSParsingTest.xtend index 519eb1ef9..502e067ea 100644 --- a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src/org/eclipse/qvtd/doc/tests/MiniOCLCSParsingTest.xtend +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSParsingTest.xtend @@ -1,7 +1,7 @@ /* * generated by Xtext 2.10.0-SNAPSHOT */ -package org.eclipse.qvtd.doc.tests +package org.eclipse.qvtd.doc.minioclcs.xtext.tests import com.google.inject.Inject import org.eclipse.xtext.junit4.InjectWith @@ -11,16 +11,17 @@ import org.junit.Assert import org.junit.Test import org.junit.runner.RunWith import org.eclipse.qvtd.doc.minioclcs.RootCS +import junit.framework.TestCase @RunWith(XtextRunner) @InjectWith(MiniOCLCSInjectorProvider) -class MiniOCLCSParsingTest{ +class MiniOCLCSParsingTest extends TestCase { @Inject ParseHelper<RootCS> parseHelper @Test - def void testSimpleMiniOCL() { + def void testSimpleMiniOCL_PackagesDef() { val result = parseHelper.parse(''' package ocl { @@ -39,8 +40,8 @@ class MiniOCLCSParsingTest{ Assert.assertNotNull(result) } - //@Test - def void test() { + @Test + def void testSimpleMiniOCL_Invariant() { val result = parseHelper.parse(''' package package1 { diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/.MiniOCLCSParsingTest.xtendbin b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/.MiniOCLCSParsingTest.xtendbin Binary files differnew file mode 100644 index 000000000..8919ddde6 --- /dev/null +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/.MiniOCLCSParsingTest.xtendbin diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/.gitignore b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/.gitignore new file mode 100644 index 000000000..2226a607e --- /dev/null +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/.gitignore @@ -0,0 +1 @@ +/.MiniOCLCSParsingTest.java._trace diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSParsingTest.java b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSParsingTest.java new file mode 100644 index 000000000..71cc80c46 --- /dev/null +++ b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSParsingTest.java @@ -0,0 +1,114 @@ +/** + * generated by Xtext 2.10.0-SNAPSHOT + */ +package org.eclipse.qvtd.doc.minioclcs.xtext.tests; + +import com.google.inject.Inject; +import junit.framework.TestCase; +import org.eclipse.qvtd.doc.minioclcs.RootCS; +import org.eclipse.qvtd.doc.minioclcs.xtext.tests.MiniOCLCSInjectorProvider; +import org.eclipse.xtend2.lib.StringConcatenation; +import org.eclipse.xtext.junit4.InjectWith; +import org.eclipse.xtext.junit4.XtextRunner; +import org.eclipse.xtext.junit4.util.ParseHelper; +import org.eclipse.xtext.xbase.lib.Exceptions; +import org.junit.Assert; +import org.junit.Test; +import org.junit.runner.RunWith; + +@RunWith(XtextRunner.class) +@InjectWith(MiniOCLCSInjectorProvider.class) +@SuppressWarnings("all") +public class MiniOCLCSParsingTest extends TestCase { + @Inject + private ParseHelper<RootCS> parseHelper; + + @Test + public void testSimpleMiniOCL_PackagesDef() { + try { + StringConcatenation _builder = new StringConcatenation(); + _builder.append("package ocl {"); + _builder.newLine(); + _builder.append("\t"); + _builder.newLine(); + _builder.append("\t"); + _builder.append("class String {}"); + _builder.newLine(); + _builder.append("}"); + _builder.newLine(); + _builder.newLine(); + _builder.append("package package1 {"); + _builder.newLine(); + _builder.append("\t"); + _builder.newLine(); + _builder.append("\t"); + _builder.append("class c1 {\t\t"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.append("prop a : ocl::String;"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.append("op getA() : ocl::String = a;"); + _builder.newLine(); + _builder.append("\t"); + _builder.append("}"); + _builder.newLine(); + _builder.append("}"); + _builder.newLine(); + _builder.newLine(); + final RootCS result = this.parseHelper.parse(_builder); + Assert.assertNotNull(result); + } catch (Throwable _e) { + throw Exceptions.sneakyThrow(_e); + } + } + + @Test + public void testSimpleMiniOCL_Invariant() { + try { + StringConcatenation _builder = new StringConcatenation(); + _builder.append("package package1 {"); + _builder.newLine(); + _builder.append("\t"); + _builder.newLine(); + _builder.append("\t"); + _builder.append("class c1 {"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.append("prop a : String;"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.append("op giveMeA() : String = self.c1;"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.newLine(); + _builder.append("\t\t"); + _builder.append("op testA() : Boolean = giveMeA().size() <> 0; "); + _builder.newLine(); + _builder.append("\t"); + _builder.append("}"); + _builder.newLine(); + _builder.append("}"); + _builder.newLine(); + _builder.newLine(); + _builder.append("context package1::c1 {"); + _builder.newLine(); + _builder.append("\t"); + _builder.append("inv : a = giveMeA();"); + _builder.newLine(); + _builder.append("\t"); + _builder.append("inv : testA();"); + _builder.newLine(); + _builder.append("}"); + _builder.newLine(); + final RootCS result = this.parseHelper.parse(_builder); + Assert.assertNotNull(result); + } catch (Throwable _e) { + throw Exceptions.sneakyThrow(_e); + } + } +} diff --git a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/tests/.gitignore b/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/tests/.gitignore deleted file mode 100644 index 34692069c..000000000 --- a/tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/xtend-gen/org/eclipse/qvtd/doc/tests/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/.MiniOCLCSParsingTest.java._trace -/.MiniOCLCSParsingTest.xtendbin -/MiniOCLCSParsingTest.java |