jar libraries are added.

ModelWriter · Jun 7, 2018 · 1c4cc0e · 1c4cc0e
1 parent 48e8091
commit 1c4cc0e
Show file tree

Hide file tree

Showing 104 changed files with 11 additions and 0 deletions.
diff --git a/.project b/.project
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>AlloyInEcore</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+	</buildSpec>
+	<natures>
+	</natures>
+</projectDescription>
diff --git a/Source/eu.modelwriter.core.alloyinecore.mapping/lib/ST-4.0.8.jar b/Source/eu.modelwriter.core.alloyinecore.mapping/lib/ST-4.0.8.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.mapping/lib/antlr-4.7-complete.jar b/Source/eu.modelwriter.core.alloyinecore.mapping/lib/antlr-4.7-complete.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.mapping/lib/eu.modelwriter.core.alloyinecore.jar b/Source/eu.modelwriter.core.alloyinecore.mapping/lib/eu.modelwriter.core.alloyinecore.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.mapping/lib/kodkod.jar b/Source/eu.modelwriter.core.alloyinecore.mapping/lib/kodkod.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.ui/lib/antlr-4.7-complete.jar b/Source/eu.modelwriter.core.alloyinecore.ui/lib/antlr-4.7-complete.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.ui/lib/com.microsoft.z3.jar b/Source/eu.modelwriter.core.alloyinecore.ui/lib/com.microsoft.z3.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.ui/lib/eu.modelwriter.core.alloyinecore.jar b/Source/eu.modelwriter.core.alloyinecore.ui/lib/eu.modelwriter.core.alloyinecore.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.ui/lib/kodkod.jar b/Source/eu.modelwriter.core.alloyinecore.ui/lib/kodkod.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore.ui/lib/kodkod_orj.jar b/Source/eu.modelwriter.core.alloyinecore.ui/lib/kodkod_orj.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/ST4-4.0.8.jar b/Source/eu.modelwriter.core.alloyinecore/lib/ST4-4.0.8.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr-4.6-complete.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr-4.6-complete.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr-runtime-3.5.2.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr-runtime-3.5.2.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-4.6.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-4.6.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-maven-plugin-4.6-javadoc.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-maven-plugin-4.6-javadoc.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-maven-plugin-4.6.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-maven-plugin-4.6.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-runtime-4.6-javadoc.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-runtime-4.6-javadoc.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-runtime-4.6.jar b/Source/eu.modelwriter.core.alloyinecore/lib/antlr4-runtime-4.6.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/backport-util-concurrent-3.1.jar b/Source/eu.modelwriter.core.alloyinecore/lib/backport-util-concurrent-3.1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/classworlds-1.1-alpha-2.jar b/Source/eu.modelwriter.core.alloyinecore/lib/classworlds-1.1-alpha-2.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/com.microsoft.z3.jar b/Source/eu.modelwriter.core.alloyinecore/lib/com.microsoft.z3.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/darwin_x86_64.zip b/Source/eu.modelwriter.core.alloyinecore/lib/darwin_x86_64.zip
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/eu.modelwriter.core.alloyinecore.jar b/Source/eu.modelwriter.core.alloyinecore/lib/eu.modelwriter.core.alloyinecore.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/examples.jar b/Source/eu.modelwriter.core.alloyinecore/lib/examples.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/guava-21.0-javadoc.jar b/Source/eu.modelwriter.core.alloyinecore/lib/guava-21.0-javadoc.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/guava-21.0.jar b/Source/eu.modelwriter.core.alloyinecore/lib/guava-21.0.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/hamcrest-core-1.3.jar b/Source/eu.modelwriter.core.alloyinecore/lib/hamcrest-core-1.3.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/javax.json-1.0.4.jar b/Source/eu.modelwriter.core.alloyinecore/lib/javax.json-1.0.4.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/junit-3.8.1.jar b/Source/eu.modelwriter.core.alloyinecore/lib/junit-3.8.1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/junit-4.12-javadoc.jar b/Source/eu.modelwriter.core.alloyinecore/lib/junit-4.12-javadoc.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/junit-4.12.jar b/Source/eu.modelwriter.core.alloyinecore/lib/junit-4.12.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/kodkod-2.1.zip b/Source/eu.modelwriter.core.alloyinecore/lib/kodkod-2.1.zip
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/kodkod-javadoc.zip b/Source/eu.modelwriter.core.alloyinecore/lib/kodkod-javadoc.zip
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/kodkod.jar b/Source/eu.modelwriter.core.alloyinecore/lib/kodkod.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/kodkod.tar.gz b/Source/eu.modelwriter.core.alloyinecore/lib/kodkod.tar.gz
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/kodkod_orj.jar b/Source/eu.modelwriter.core.alloyinecore/lib/kodkod_orj.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-artifact-3.0.5.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-artifact-3.0.5.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-model-3.0.5.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-model-3.0.5.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-plugin-annotations-3.2.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-plugin-annotations-3.2.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-plugin-api-3.0.5.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-plugin-api-3.0.5.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-plugin-registry-2.2.1.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-plugin-registry-2.2.1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-profile-2.2.1.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-profile-2.2.1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-project-2.2.1.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-project-2.2.1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-repository-metadata-3.3.9.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-repository-metadata-3.3.9.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/maven-settings-3.3.9.jar b/Source/eu.modelwriter.core.alloyinecore/lib/maven-settings-3.3.9.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/org.abego.treelayout.core-1.0.3.jar b/Source/eu.modelwriter.core.alloyinecore/lib/org.abego.treelayout.core-1.0.3.jar
diff --git a/...modelwriter.core.alloyinecore/lib/org.eclipse.emf.common.source_2.12.0.v20160420-0247.jar b/...modelwriter.core.alloyinecore/lib/org.eclipse.emf.common.source_2.12.0.v20160420-0247.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.common_2.12.0.v20160420-0247.jar b/Source/eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.common_2.12.0.v20160420-0247.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.compare_3.5.0.201706130827.jar b/Source/eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.compare_3.5.0.201706130827.jar
diff --git a/....modelwriter.core.alloyinecore/lib/org.eclipse.emf.ecore.source_2.12.0.v20160420-0247.jar b/....modelwriter.core.alloyinecore/lib/org.eclipse.emf.ecore.source_2.12.0.v20160420-0247.jar
diff --git a/...elwriter.core.alloyinecore/lib/org.eclipse.emf.ecore.xmi.source_2.12.0.v20160420-0247.jar b/...elwriter.core.alloyinecore/lib/org.eclipse.emf.ecore.xmi.source_2.12.0.v20160420-0247.jar
diff --git a/.../eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar b/.../eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar b/Source/eu.modelwriter.core.alloyinecore/lib/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/org.sat4j.core-2.3.1-javadoc.jar b/Source/eu.modelwriter.core.alloyinecore/lib/org.sat4j.core-2.3.1-javadoc.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/org.sat4j.core-2.3.1.jar b/Source/eu.modelwriter.core.alloyinecore/lib/org.sat4j.core-2.3.1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/plexus-build-api-0.0.7.jar b/Source/eu.modelwriter.core.alloyinecore/lib/plexus-build-api-0.0.7.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/plexus-classworlds-2.5.2.jar b/Source/eu.modelwriter.core.alloyinecore/lib/plexus-classworlds-2.5.2.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/plexus-compiler-api-2.2.jar b/Source/eu.modelwriter.core.alloyinecore/lib/plexus-compiler-api-2.2.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/plexus-component-annotations-1.6.jar b/Source/eu.modelwriter.core.alloyinecore/lib/plexus-component-annotations-1.6.jar
diff --git a/...ce/eu.modelwriter.core.alloyinecore/lib/plexus-container-default-1.0-alpha-9-stable-1.jar b/...ce/eu.modelwriter.core.alloyinecore/lib/plexus-container-default-1.0-alpha-9-stable-1.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/plexus-interpolation-1.11.jar b/Source/eu.modelwriter.core.alloyinecore/lib/plexus-interpolation-1.11.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/plexus-utils-3.0.15.jar b/Source/eu.modelwriter.core.alloyinecore/lib/plexus-utils-3.0.15.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/sisu-guava-0.9.9.jar b/Source/eu.modelwriter.core.alloyinecore/lib/sisu-guava-0.9.9.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/sisu-guice-3.1.0-no_aop.jar b/Source/eu.modelwriter.core.alloyinecore/lib/sisu-guice-3.1.0-no_aop.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/sisu-inject-bean-2.3.0.jar b/Source/eu.modelwriter.core.alloyinecore/lib/sisu-inject-bean-2.3.0.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/sisu-inject-plexus-2.3.0.jar b/Source/eu.modelwriter.core.alloyinecore/lib/sisu-inject-plexus-2.3.0.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/wagon-provider-api-2.10.jar b/Source/eu.modelwriter.core.alloyinecore/lib/wagon-provider-api-2.10.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/lib/z3_source.zip b/Source/eu.modelwriter.core.alloyinecore/lib/z3_source.zip
diff --git a/Source/eu.modelwriter.core.alloyinecore/out/artifacts/antlr-4.6-complete.jar b/Source/eu.modelwriter.core.alloyinecore/out/artifacts/antlr-4.6-complete.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/out/artifacts/eu.modelwriter.core.alloyinecore.jar b/Source/eu.modelwriter.core.alloyinecore/out/artifacts/eu.modelwriter.core.alloyinecore.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/out/artifacts/guava-21.0.jar b/Source/eu.modelwriter.core.alloyinecore/out/artifacts/guava-21.0.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/out/artifacts/kodkod.jar b/Source/eu.modelwriter.core.alloyinecore/out/artifacts/kodkod.jar
diff --git a/...elwriter.core.alloyinecore/out/artifacts/org.eclipse.emf.common_2.12.0.v20160420-0247.jar b/...elwriter.core.alloyinecore/out/artifacts/org.eclipse.emf.common_2.12.0.v20160420-0247.jar
diff --git a/...riter.core.alloyinecore/out/artifacts/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar b/...riter.core.alloyinecore/out/artifacts/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar
diff --git a/...delwriter.core.alloyinecore/out/artifacts/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar b/...delwriter.core.alloyinecore/out/artifacts/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar
diff --git a/Source/eu.modelwriter.core.alloyinecore/out/artifacts/org.sat4j.core-2.3.1.jar b/Source/eu.modelwriter.core.alloyinecore/out/artifacts/org.sat4j.core-2.3.1.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-anim-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-anim-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-awt-util-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-awt-util-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-bridge-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-bridge-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-codec-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-codec-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-css-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-css-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-dom-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-dom-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-ext-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-ext-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-extension-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-extension-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-gui-util-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-gui-util-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-gvt-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-gvt-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-parser-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-parser-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-script-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-script-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-svg-dom-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-svg-dom-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-svggen-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-svggen-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-swing-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-swing-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-transcoder-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-transcoder-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-util-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-util-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/batik-xml-1.8.jar b/Source/eu.modelwriter.core.svgutil/lib/batik-xml-1.8.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/fop-transcoder-allinone-1.1.jar b/Source/eu.modelwriter.core.svgutil/lib/fop-transcoder-allinone-1.1.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/js.jar b/Source/eu.modelwriter.core.svgutil/lib/js.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/xalan-2.7.0.jar b/Source/eu.modelwriter.core.svgutil/lib/xalan-2.7.0.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/xerces_2_5_0.jar b/Source/eu.modelwriter.core.svgutil/lib/xerces_2_5_0.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/xml-apis-1.3.04.jar b/Source/eu.modelwriter.core.svgutil/lib/xml-apis-1.3.04.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/xml-apis-ext-1.3.04.jar b/Source/eu.modelwriter.core.svgutil/lib/xml-apis-ext-1.3.04.jar
diff --git a/Source/eu.modelwriter.core.svgutil/lib/xmlgraphics-commons-2.0.jar b/Source/eu.modelwriter.core.svgutil/lib/xmlgraphics-commons-2.0.jar
diff --git a/Source/eu.modelwriter.core.svgutil/svgutil.jar b/Source/eu.modelwriter.core.svgutil/svgutil.jar
diff --git a/Source/kodkod/lib/com.microsoft.z3.jar b/Source/kodkod/lib/com.microsoft.z3.jar
diff --git a/Source/kodkod/lib/org.sat4j.core-2.3.1.jar b/Source/kodkod/lib/org.sat4j.core-2.3.1.jar