diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..82e465bca7845066ab4148011833b51c8453946c --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +build +src/gen-res/ +src/gen/ +out*/ +.idea +.gradle +*.class +logs/ diff --git a/beaver.gradle b/beaver.gradle new file mode 100644 index 0000000000000000000000000000000000000000..f3aabfe3a3981548dc8a23f344432c03c2253bac --- /dev/null +++ b/beaver.gradle @@ -0,0 +1,37 @@ +/////////////////////////////// +////// B E A V E R //////////// +/////////////////////////////// + +configurations { + myBeaver2 + jflex2 +} + +dependencies { + + myBeaver2 group: 'net.sf.beaver', name: 'beaver-ant', version: '0.9.11' + jflex2 group: 'de.jflex', name: 'jflex', version: '1.6.1' +} + +task generateExpressionBeaver(type: JavaExec) { + + inputs.files { + project.file("src/main/jastadd/clauses/ExpressionParser.beaver") + } + outputs.dir { + // This closure is needed to delay reading the genDir setting. + project.file("src/gen/java/de/tudresden/inf/st/pnml/jastadd/parser") + } + + classpath = configurations.myBeaver2 + main = 'beaver.comp.run.Make' + + doFirst { + def outdir = project.file("src/gen/java/de/tudresden/inf/st/pnml/jastadd/parser") + if (!outdir.isDirectory()) { + outdir.mkdirs() + } + def inputFile = project.file("src/main/jastadd/base/clauses/ExpressionParser.beaver") + args(['-d', outdir.path, '-t', '-c', '-w', inputFile.path]) + } +} \ No newline at end of file diff --git a/build.gradle b/build.gradle new file mode 100644 index 0000000000000000000000000000000000000000..e4683dd9e34be3d14951b050188a67ddb4db0e90 --- /dev/null +++ b/build.gradle @@ -0,0 +1,217 @@ +// General configuration (plugins, settings, dependencies) +buildscript { + repositories.mavenCentral() + dependencies { + classpath 'org.jastadd:jastaddgradle:1.13.3' + } +} + +group 'de.tudresden.inf.st' +version '0.1' + +apply plugin: 'java' +apply plugin: 'java-library' +apply plugin: 'jastadd' +apply plugin: 'application' +apply plugin: "idea" + +apply from: 'beaver.gradle' + +sourceCompatibility = 1.8 +targetCompatibility = 1.8 + +repositories { + jcenter() + mavenCentral() + maven { + name 'gitlab-maven' + url 'https://git-st.inf.tu-dresden.de/api/v4/groups/jastadd/-/packages/maven' + } + maven { + name 'rosjava-maven' + url "https://git-st.inf.tu-dresden.de/api/v4/projects/1106/packages/maven" + } + maven { + name 'rosjava-msg-maven' + url 'https://git-st.inf.tu-dresden.de/api/v4/projects/1108/packages/maven' + } +} + +configurations { + ecore + relast +} + +idea.module.generatedSourceDirs += file('src/gen/java') + +sourceSets.main.java.srcDir "src/gen/java" +// jar.manifest.attributes('Main-Class': 'de.tudresden.inf.st.pnml.engine.Main') + +dependencies { + + implementation group: 'com.fasterxml.jackson.core', name: 'jackson-databind', version: "${jackson_version}" + implementation group: 'net.sf.beaver', name: 'beaver-rt', version: '0.9.11' + implementation group: 'org.slf4j', name: 'slf4j-api', version: '1.7.30' + implementation group: 'org.apache.logging.log4j', name: 'log4j-slf4j-impl', version: '2.13.2' + implementation group: 'org.fusesource.mqtt-client', name: 'mqtt-client', version: '1.15' + + // pnml lib + implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.ecore', version: '2.12.0' + implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.ecore.xmi', version: '2.12.0' + implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.common', version: '2.12.0' + implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.mwe.core', version: '1.3.13' + api group: 'fr.lip6.pnml', name: 'fr.lip6.pnml.framework.ptnet', version: '2.2.12' + api group: 'fr.lip6.pnml', name: 'fr.lip6.pnml.framework.utils', version: '2.2.12' + implementation group: 'org.apache.ws.commons.axiom', name: 'axiom-api', version: '1.2.22' + implementation group: 'org.apache.ws.commons.axiom', name: 'axiom-impl', version: '1.2.22' + implementation group: 'com.thaiopensource', name: 'jing', version: '20091111' + implementation 'org.jetbrains:annotations:19.0.0' + // https://mvnrepository.com/artifact/xalan/xalan + implementation group: 'xalan', name: 'xalan', version: '2.7.2' + + // https://mvnrepository.com/artifact/org.apache.commons/commons-collections4 + implementation group: 'org.apache.commons', name: 'commons-collections4', version: '4.4' + compile group: 'org.apache.commons', name: 'commons-lang3', version: '3.0' + + implementation 'com.google.code.gson:gson:2.9.0' + + jastadd2 "org.jastadd:jastadd:2.3.4" + relast group: 'org.jastadd', name: 'relast', version: "${relast_version}" + ecore files("libs/ecore2relast-0.1.jar") + + // testing + testImplementation('org.junit.jupiter:junit-jupiter:5.8.2') + +} + +run { + mainClassName = 'de.tudresden.inf.st.pnml.gen.Main' + standardInput = System.in +} + +jar { + manifest { + // attributes "Main-Class": "de.tudresden.inf.st.pnml.engine.Main" + } + + from { + configurations.runtimeClasspath.collect { it.isDirectory() ? it : zipTree(it) } + } + + exclude 'META-INF/*.RSA', 'META-INF/*.SF','META-INF/*.DSA' + + duplicatesStrategy = DuplicatesStrategy.EXCLUDE + + archiveBaseName = 'pnml-pkg-gen' + +} + +// Generated files +def ecoreFile = './src/main/resources/placeTransition.ecore' +def ecoreRelastAspect = './src/gen/jastadd/pnml/placeTransition.ecore.jadd' +def ecoreRelastGrammar = './src/gen/jastadd/pnml/placeTransition.relast' + +def ecoreInputFiles = [ecoreFile] +def ecoreOutputFiles = [ecoreRelastAspect, + ecoreRelastGrammar] + +def relastInputFiles = [ecoreRelastGrammar, './src/main/jastadd/base/marking/Marking.relast', './src/main/jastadd/base/io/IoPN.relast', './src/main/jastadd/base/clauses/expressions.relast'] +def relastOutputFiles = ['src/gen/jastadd/pnml/placeTransition.ast', 'src/gen/jastadd/pnml/placeTransition.jadd'] + +task ecoreToRelast(type: JavaExec) { + group = 'Build' + classpath = configurations.ecore + mainClass = 'de.tudresden.inf.st.e2j.Main' + + doFirst { + delete ecoreOutputFiles + mkdir 'src/gen/jastadd' + } + + args ecoreFile, ecoreRelastGrammar + + inputs.files ecoreInputFiles + outputs.files ecoreOutputFiles +} + +task relastToJastAdd(type: JavaExec) { + group = 'Build' + classpath = configurations.relast + mainClass = 'org.jastadd.relast.compiler.Compiler' + + doFirst { + delete relastOutputFiles + mkdir "src/gen/jastadd" + } + + args "--useJastAddNames", + "--grammarName=src/gen/jastadd/pnml/placeTransition", + "--listClass=java.util.ArrayList", + "--jastAddList=JastAddList", + "--resolverHelper", + '--file' + args relastInputFiles + + inputs.files relastInputFiles + outputs.files relastOutputFiles +} + + +jastadd { + + configureModuleBuild() + modules { + + module("pnml-pkg-gen") { + + java { + basedir "src/" + include "main/**/*.java" + include "gen/**/*.java" + } + + jastadd { + basedir ".." + include "pnml-relast-pkg-gen/src/main/jastadd/**/**/*.ast" + include "pnml-relast-pkg-gen/src/main/jastadd/**/**/*.jadd" + include "pnml-relast-pkg-gen/src/main/jastadd/**/**/*.jrag" + include "pnml-relast-pkg-gen/src/gen/jastadd/**/**/*.ast" + include "pnml-relast-pkg-gen/src/gen/jastadd/**/**/*.jadd" + include "pnml-relast-pkg-gen/src/gen/jastadd/**/**/*.jrag" + } + + scanner { + // basedir ".." + include "src/main/jastadd/base/clauses/expressions.flex" + } + + parser { + basedir ".." + } + } + } + + cleanGen.doFirst { + delete "src/gen/java/de" + delete "src/gen-res/BuildInfo.properties" + } + + module = "pnml-pkg-gen" + + astPackage = 'de.tudresden.inf.st.pnml.jastadd.model' + + genDir = 'src/gen/java' + + buildInfoDir = 'src/gen-res' + + scanner.genDir = "src/gen/java/de/tudresden/inf/st/pnml/jastadd/scanner" + parser.genDir = "src/gen/java/de/tudresden/inf/st/pnml/jastadd/parser" + +// default options are: '--rewrite=cnta', '--safeLazy', '--visitCheck=false', '--cacheCycle=false' + extraJastAddOptions = ['--List=JastAddList'] // '--incremental=param' +} + +relastToJastAdd.dependsOn ecoreToRelast +generateAst.dependsOn relastToJastAdd + +compileJava.dependsOn generateExpressionBeaver diff --git a/gradle.properties b/gradle.properties new file mode 100644 index 0000000000000000000000000000000000000000..d51a5f5997f156fb8cd9c468e2804eed1477e5c8 --- /dev/null +++ b/gradle.properties @@ -0,0 +1,3 @@ +jackson_version = 2.9.8 +apache_httpcomponents_version = 4.5.8 +relast_version = 0.4.0 \ No newline at end of file diff --git a/gradle/wrapper/gradle-wrapper.jar b/gradle/wrapper/gradle-wrapper.jar new file mode 100644 index 0000000000000000000000000000000000000000..d9b7505b1096bc428abaa017cb79c9d2da247111 Binary files /dev/null and b/gradle/wrapper/gradle-wrapper.jar differ diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties new file mode 100644 index 0000000000000000000000000000000000000000..19869d6658eca905211de6b30978e19634ac3931 --- /dev/null +++ b/gradle/wrapper/gradle-wrapper.properties @@ -0,0 +1,5 @@ +distributionBase=GRADLE_USER_HOME +distributionPath=wrapper/dists +zipStoreBase=GRADLE_USER_HOME +zipStorePath=wrapper/dists +distributionUrl=https\://services.gradle.org/distributions/gradle-6.7.1-bin.zip diff --git a/gradlew b/gradlew new file mode 100755 index 0000000000000000000000000000000000000000..fbd7c515832dab7b01092e80db76e5e03fe32d29 --- /dev/null +++ b/gradlew @@ -0,0 +1,185 @@ +#!/usr/bin/env sh + +# +# Copyright 2015 the original author or authors. +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# https://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. +# + +############################################################################## +## +## Gradle start up script for UN*X +## +############################################################################## + +# Attempt to set APP_HOME +# Resolve links: $0 may be a link +PRG="$0" +# Need this for relative symlinks. +while [ -h "$PRG" ] ; do + ls=`ls -ld "$PRG"` + link=`expr "$ls" : '.*-> \(.*\)$'` + if expr "$link" : '/.*' > /dev/null; then + PRG="$link" + else + PRG=`dirname "$PRG"`"/$link" + fi +done +SAVED="`pwd`" +cd "`dirname \"$PRG\"`/" >/dev/null +APP_HOME="`pwd -P`" +cd "$SAVED" >/dev/null + +APP_NAME="Gradle" +APP_BASE_NAME=`basename "$0"` + +# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"' + +# Use the maximum available, or set MAX_FD != -1 to use that value. +MAX_FD="maximum" + +warn () { + echo "$*" +} + +die () { + echo + echo "$*" + echo + exit 1 +} + +# OS specific support (must be 'true' or 'false'). +cygwin=false +msys=false +darwin=false +nonstop=false +case "`uname`" in + CYGWIN* ) + cygwin=true + ;; + Darwin* ) + darwin=true + ;; + MINGW* ) + msys=true + ;; + NONSTOP* ) + nonstop=true + ;; +esac + +CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar + + +# Determine the Java command to use to start the JVM. +if [ -n "$JAVA_HOME" ] ; then + if [ -x "$JAVA_HOME/jre/sh/java" ] ; then + # IBM's JDK on AIX uses strange locations for the executables + JAVACMD="$JAVA_HOME/jre/sh/java" + else + JAVACMD="$JAVA_HOME/bin/java" + fi + if [ ! -x "$JAVACMD" ] ; then + die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +else + JAVACMD="java" + which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." +fi + +# Increase the maximum file descriptors if we can. +if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then + MAX_FD_LIMIT=`ulimit -H -n` + if [ $? -eq 0 ] ; then + if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then + MAX_FD="$MAX_FD_LIMIT" + fi + ulimit -n $MAX_FD + if [ $? -ne 0 ] ; then + warn "Could not set maximum file descriptor limit: $MAX_FD" + fi + else + warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT" + fi +fi + +# For Darwin, add options to specify how the application appears in the dock +if $darwin; then + GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\"" +fi + +# For Cygwin or MSYS, switch paths to Windows format before running java +if [ "$cygwin" = "true" -o "$msys" = "true" ] ; then + APP_HOME=`cygpath --path --mixed "$APP_HOME"` + CLASSPATH=`cygpath --path --mixed "$CLASSPATH"` + + JAVACMD=`cygpath --unix "$JAVACMD"` + + # We build the pattern for arguments to be converted via cygpath + ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null` + SEP="" + for dir in $ROOTDIRSRAW ; do + ROOTDIRS="$ROOTDIRS$SEP$dir" + SEP="|" + done + OURCYGPATTERN="(^($ROOTDIRS))" + # Add a user-defined pattern to the cygpath arguments + if [ "$GRADLE_CYGPATTERN" != "" ] ; then + OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)" + fi + # Now convert the arguments - kludge to limit ourselves to /bin/sh + i=0 + for arg in "$@" ; do + CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -` + CHECK2=`echo "$arg"|egrep -c "^-"` ### Determine if an option + + if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then ### Added a condition + eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"` + else + eval `echo args$i`="\"$arg\"" + fi + i=`expr $i + 1` + done + case $i in + 0) set -- ;; + 1) set -- "$args0" ;; + 2) set -- "$args0" "$args1" ;; + 3) set -- "$args0" "$args1" "$args2" ;; + 4) set -- "$args0" "$args1" "$args2" "$args3" ;; + 5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;; + 6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;; + 7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;; + 8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;; + 9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;; + esac +fi + +# Escape application args +save () { + for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done + echo " " +} +APP_ARGS=`save "$@"` + +# Collect all arguments for the java command, following the shell quoting and substitution rules +eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS "\"-Dorg.gradle.appname=$APP_BASE_NAME\"" -classpath "\"$CLASSPATH\"" org.gradle.wrapper.GradleWrapperMain "$APP_ARGS" + +exec "$JAVACMD" "$@" diff --git a/gradlew.bat b/gradlew.bat new file mode 100644 index 0000000000000000000000000000000000000000..a9f778a7a964b6f01c904ee667903f005d6df556 --- /dev/null +++ b/gradlew.bat @@ -0,0 +1,104 @@ +@rem +@rem Copyright 2015 the original author or authors. +@rem +@rem Licensed under the Apache License, Version 2.0 (the "License"); +@rem you may not use this file except in compliance with the License. +@rem You may obtain a copy of the License at +@rem +@rem https://www.apache.org/licenses/LICENSE-2.0 +@rem +@rem Unless required by applicable law or agreed to in writing, software +@rem distributed under the License is distributed on an "AS IS" BASIS, +@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +@rem See the License for the specific language governing permissions and +@rem limitations under the License. +@rem + +@if "%DEBUG%" == "" @echo off +@rem ########################################################################## +@rem +@rem Gradle startup script for Windows +@rem +@rem ########################################################################## + +@rem Set local scope for the variables with windows NT shell +if "%OS%"=="Windows_NT" setlocal + +set DIRNAME=%~dp0 +if "%DIRNAME%" == "" set DIRNAME=. +set APP_BASE_NAME=%~n0 +set APP_HOME=%DIRNAME% + +@rem Resolve any "." and ".." in APP_HOME to make it shorter. +for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi + +@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m" + +@rem Find java.exe +if defined JAVA_HOME goto findJavaFromJavaHome + +set JAVA_EXE=java.exe +%JAVA_EXE% -version >NUL 2>&1 +if "%ERRORLEVEL%" == "0" goto init + +echo. +echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:findJavaFromJavaHome +set JAVA_HOME=%JAVA_HOME:"=% +set JAVA_EXE=%JAVA_HOME%/bin/java.exe + +if exist "%JAVA_EXE%" goto init + +echo. +echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:init +@rem Get command-line arguments, handling Windows variants + +if not "%OS%" == "Windows_NT" goto win9xME_args + +:win9xME_args +@rem Slurp the command line arguments. +set CMD_LINE_ARGS= +set _SKIP=2 + +:win9xME_args_slurp +if "x%~1" == "x" goto execute + +set CMD_LINE_ARGS=%* + +:execute +@rem Setup the command line + +set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar + + +@rem Execute Gradle +"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %CMD_LINE_ARGS% + +:end +@rem End local scope for the variables with windows NT shell +if "%ERRORLEVEL%"=="0" goto mainEnd + +:fail +rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of +rem the _cmd.exe /c_ return code! +if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1 +exit /b 1 + +:mainEnd +if "%OS%"=="Windows_NT" endlocal + +:omega diff --git a/libs/ecore2relast-0.1.jar b/libs/ecore2relast-0.1.jar new file mode 100644 index 0000000000000000000000000000000000000000..0b4405335f990892b3a6731579d64b4698d3aec6 Binary files /dev/null and b/libs/ecore2relast-0.1.jar differ diff --git a/libs/relast.jar b/libs/relast.jar new file mode 100644 index 0000000000000000000000000000000000000000..a3430dfc1754b92676e2beb6b9f8ce4f1bb4429f Binary files /dev/null and b/libs/relast.jar differ diff --git a/libs/rosgraph_msgs-1.10.12.jar b/libs/rosgraph_msgs-1.10.12.jar new file mode 100644 index 0000000000000000000000000000000000000000..ea7ed16a55770077b4d494727875d40ca725e33b Binary files /dev/null and b/libs/rosgraph_msgs-1.10.12.jar differ diff --git a/libs/rosjava_srv-0.1.0.jar b/libs/rosjava_srv-0.1.0.jar new file mode 100644 index 0000000000000000000000000000000000000000..bcbab7745004a18c14f524861dd1c343be0ec1ff Binary files /dev/null and b/libs/rosjava_srv-0.1.0.jar differ diff --git a/libs/std_msgs-0.5.11.jar b/libs/std_msgs-0.5.11.jar new file mode 100644 index 0000000000000000000000000000000000000000..f4bda8eda378e01d97a29456929286d14e04f73e Binary files /dev/null and b/libs/std_msgs-0.5.11.jar differ diff --git a/settings.gradle b/settings.gradle new file mode 100644 index 0000000000000000000000000000000000000000..3e116a26d1afe41d6bd312d40ce59fb35bd07baa --- /dev/null +++ b/settings.gradle @@ -0,0 +1,2 @@ +rootProject.name = 'pnml-relast-pkg-gen' + diff --git a/src/main/jastadd/base b/src/main/jastadd/base new file mode 120000 index 0000000000000000000000000000000000000000..e0baf3dffa617ea0ddee8b006e8c5dfe1f1b030e --- /dev/null +++ b/src/main/jastadd/base @@ -0,0 +1 @@ +../../../../../pnml-relast-base/src/main/jastadd/base \ No newline at end of file diff --git a/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java b/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java new file mode 100644 index 0000000000000000000000000000000000000000..affb607b44f0e1d14486439cd60357b2861f84f3 --- /dev/null +++ b/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java @@ -0,0 +1,10 @@ +package de.tudresden.inf.st.pnml.gen; + +public class Main { + + public static void main(java.lang.String[] args){ + + // TODO + + } +} diff --git a/src/main/java/de/tudresden/inf/st/pnml/gen/base b/src/main/java/de/tudresden/inf/st/pnml/gen/base new file mode 120000 index 0000000000000000000000000000000000000000..c973a6a4cdad85570cf4fc46191a73650bae2352 --- /dev/null +++ b/src/main/java/de/tudresden/inf/st/pnml/gen/base @@ -0,0 +1 @@ +../../../../../../../../../../../pnml-relast-base/src/data/java/de/tudresden/inf/st/pnml/base \ No newline at end of file diff --git a/src/main/resources/placeTransition.ecore b/src/main/resources/placeTransition.ecore new file mode 100644 index 0000000000000000000000000000000000000000..f4c4351b6a8ef6e4751beae215ef9b8eddaa4c7a --- /dev/null +++ b/src/main/resources/placeTransition.ecore @@ -0,0 +1,336 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- Meta-model for PNML specification --> +<!-- Provided by www.pnml.org --> +<ecore:EPackage xmi:version="2.0" + xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" + xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ptnet" + nsURI="http:///ptnet.ecore" nsPrefix="ptnet"> + <eClassifiers xsi:type="ecore:EClass" name="PTMarking" eSuperTypes="#//Annotation"> + <eAnnotations source="http://www.pnml.org/models/OCL"> + <details key="markingValueRange" value="self.text >= 0"/> + </eAnnotations> + <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> + <details key="constraints" value="markingValueRange"/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="text" lowerBound="1" eType="#//Natural"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPlace" eType="#//Place" + eOpposite="#//Place/initialMarking"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="PTArcAnnotation" eSuperTypes="#//Annotation"> + <eAnnotations source="http://www.pnml.org/models/OCL"> + <details key="inscriptionValueRange" value="self.text > 0"/> + </eAnnotations> + <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> + <details key="constraints" value="inscriptionValueRange"/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="text" lowerBound="1" eType="#//PositiveInteger"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerArc" eType="#//Arc" + eOpposite="#//Arc/inscription"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EDataType" name="PositiveInteger" instanceClassName="java.lang.Integer"/> + <eClassifiers xsi:type="ecore:EDataType" name="Natural" instanceClassName="java.lang.Integer"/> + <eClassifiers xsi:type="ecore:EClass" name="PetriNetDoc"> + <eStructuralFeatures xsi:type="ecore:EReference" name="nets" ordered="false" lowerBound="1" + upperBound="-1" eType="#//PetriNet" containment="true" eOpposite="#//PetriNet/containerPetriNetDoc"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="xmlns" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" + changeable="false" defaultValueLiteral="http://www.pnml.org/version-2009/grammar/pnml"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="PetriNet"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" ordered="false" lowerBound="1" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" defaultValueLiteral="" + iD="true"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" ordered="false" lowerBound="1" + eType="#//PNType" defaultValueLiteral=""/> + <eStructuralFeatures xsi:type="ecore:EReference" name="pages" ordered="false" + lowerBound="1" upperBound="-1" eType="#//Page" containment="true" eOpposite="#//Page/containerPetriNet"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="name" ordered="false" eType="#//Name" + containment="true" eOpposite="#//Name/containerNamePetriNet"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="toolspecifics" ordered="false" + upperBound="-1" eType="#//ToolInfo" containment="true" eOpposite="#//ToolInfo/containerPetriNet"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPetriNetDoc" ordered="false" + eType="#//PetriNetDoc" eOpposite="#//PetriNetDoc/nets"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="PNType"> + <eLiterals name="PTNET" value="1" literal="http://www.pnml.org/version-2009/grammar/ptnet"/> + <eLiterals name="COREMODEL" literal="http://www.pnml.org/version-2009/grammar/pnmlcoremodel"/> + <eLiterals name="SYMNET" value="2" literal="http://www.pnml.org/version-2009/grammar/snnet"/> + <eLiterals name="HLPN" value="3" literal="http://www.pnml.org/version-2009/grammar/highlevelnet"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Page" eSuperTypes="#//PnObject"> + <eStructuralFeatures xsi:type="ecore:EReference" name="objects" ordered="false" + upperBound="-1" eType="#//PnObject" containment="true" eOpposite="#//PnObject/containerPage"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPetriNet" ordered="false" + eType="#//PetriNet" eOpposite="#//PetriNet/pages"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="nodegraphics" eType="#//NodeGraphics" + containment="true" eOpposite="#//NodeGraphics/containerPage"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="PnObject" abstract="true"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" ordered="false" lowerBound="1" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" iD="true"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="name" ordered="false" eType="#//Name" + containment="true" eOpposite="#//Name/containerNamePnObject"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="toolspecifics" ordered="false" + upperBound="-1" eType="#//ToolInfo" containment="true" eOpposite="#//ToolInfo/containerPnObject"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPage" ordered="false" + eType="#//Page" eOpposite="#//Page/objects"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Name" eSuperTypes="#//Annotation"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="text" ordered="false" lowerBound="1" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerNamePetriNet" + eType="#//PetriNet" eOpposite="#//PetriNet/name"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerNamePnObject" + eType="#//PnObject" eOpposite="#//PnObject/name"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="ToolInfo"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="tool" ordered="false" lowerBound="1" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="version" ordered="false" + lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="formattedXMLBuffer" ordered="false" + eType="#//LongString"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="toolInfoGrammarURI" ordered="false" + eType="#//URI"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPetriNet" ordered="false" + eType="#//PetriNet" eOpposite="#//PetriNet/toolspecifics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPnObject" ordered="false" + eType="#//PnObject" eOpposite="#//PnObject/toolspecifics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerLabel" ordered="false" + eType="#//Label" eOpposite="#//Label/toolspecifics"/> +<!-- <eStructuralFeatures xsi:type="ecore:EReference" name="toolInfoModel" eType="#//AnyObject"--> +<!-- containment="true" eOpposite="#//AnyObject/containerToolInfo"/>--> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Label" abstract="true"> + <eStructuralFeatures xsi:type="ecore:EReference" name="toolspecifics" ordered="false" + upperBound="-1" eType="#//ToolInfo" containment="true" eOpposite="#//ToolInfo/containerLabel"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="NodeGraphics" eSuperTypes="#//Graphics"> + <eStructuralFeatures xsi:type="ecore:EReference" name="position" ordered="false" + eType="#//Position" containment="true" eOpposite="#//Position/containerPNodeGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="dimension" ordered="false" + eType="#//Dimension" containment="true" eOpposite="#//Dimension/containerDNodeGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="fill" ordered="false" eType="#//Fill" + containment="true" eOpposite="#//Fill/containerNodeGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="line" ordered="false" eType="#//Line" + containment="true" eOpposite="#//Line/containerNodeGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerNode" eType="#//Node" + eOpposite="#//Node/nodegraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPage" eType="#//Page" + eOpposite="#//Page/nodegraphics"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Graphics" abstract="true"/> + <eClassifiers xsi:type="ecore:EClass" name="Coordinate" abstract="true"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="x" ordered="false" lowerBound="1" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="y" ordered="false" lowerBound="1" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Position" eSuperTypes="#//Coordinate"> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerArcGraphics" ordered="false" + eType="#//ArcGraphics" eOpposite="#//ArcGraphics/positions"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerPNodeGraphics" + eType="#//NodeGraphics" eOpposite="#//NodeGraphics/position"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Offset" eSuperTypes="#//Coordinate"> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics" + ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/offset"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Dimension" eSuperTypes="#//Coordinate"> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerDNodeGraphics" + ordered="false" eType="#//NodeGraphics" eOpposite="#//NodeGraphics/dimension"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="AnnotationGraphics" eSuperTypes="#//Graphics"> + <eStructuralFeatures xsi:type="ecore:EReference" name="offset" ordered="false" + eType="#//Offset" containment="true" eOpposite="#//Offset/containerAnnotationGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="fill" ordered="false" eType="#//Fill" + containment="true" eOpposite="#//Fill/containerAnnotationGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="line" ordered="false" eType="#//Line" + containment="true" eOpposite="#//Line/containerAnnotationGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="font" ordered="false" eType="#//Font" + containment="true" eOpposite="#//Font/containerAnnotationGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotation" eType="#//Annotation" + eOpposite="#//Annotation/annotationgraphics"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Fill"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="color" ordered="false" + eType="#//CSS2Color" defaultValueLiteral="BLACK"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="gradientcolor" ordered="false" + eType="#//CSS2Color" defaultValueLiteral="BLACK"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="gradientrotation" ordered="false" + eType="#//Gradient"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="image" ordered="false" + eType="#//URI"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerNodeGraphics" + ordered="false" eType="#//NodeGraphics" eOpposite="#//NodeGraphics/fill"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics" + ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/fill"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="CSS2Color"> + <eLiterals name="AQUA" literal="aqua"/> + <eLiterals name="BLACK" value="1" literal="black"/> + <eLiterals name="BLUE" value="2" literal="blue"/> + <eLiterals name="FUCHSIA" value="3" literal="fuchsia"/> + <eLiterals name="GRAY" value="4" literal="gray"/> + <eLiterals name="GREEN" value="5" literal="green"/> + <eLiterals name="LIME" value="6" literal="lime"/> + <eLiterals name="MAROON" value="7" literal="maroon"/> + <eLiterals name="NAVY" value="8" literal="navy"/> + <eLiterals name="OLIVE" value="9" literal="olive"/> + <eLiterals name="ORANGE" value="10" literal="orange"/> + <eLiterals name="PURPLE" value="11" literal="purple"/> + <eLiterals name="RED" value="12" literal="red"/> + <eLiterals name="SILVER" value="13" literal="silver"/> + <eLiterals name="TEAL" value="14" literal="teal"/> + <eLiterals name="WHITE" value="15" literal="white"/> + <eLiterals name="YELLOW" value="16" literal="yellow"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="Gradient"> + <eLiterals name="HORIZONTAL" literal="horizontal"/> + <eLiterals name="VERTICAL" value="1" literal="vertical"/> + <eLiterals name="DIAGONAL" value="2" literal="diagonal"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Line"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="color" ordered="false" + eType="#//CSS2Color" defaultValueLiteral="BLACK"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="shape" ordered="false" + eType="#//LineShape" defaultValueLiteral="LINE"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="width" ordered="false" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerNodeGraphics" + ordered="false" eType="#//NodeGraphics" eOpposite="#//NodeGraphics/line"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerArcGraphics" ordered="false" + eType="#//ArcGraphics" eOpposite="#//ArcGraphics/line"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics" + ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/line"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="style" eType="#//LineStyle"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="LineShape"> + <eLiterals name="LINE" literal="line"/> + <eLiterals name="CURVE" value="1" literal="curve"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="ArcGraphics" eSuperTypes="#//Graphics"> + <eStructuralFeatures xsi:type="ecore:EReference" name="positions" upperBound="-1" + eType="#//Position" containment="true" eOpposite="#//Position/containerArcGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="line" ordered="false" eType="#//Line" + containment="true" eOpposite="#//Line/containerArcGraphics"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerArc" eType="#//Arc" + eOpposite="#//Arc/arcgraphics"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Arc" eSuperTypes="#//PnObject"> + <eAnnotations source="http://www.pnml.org/models/OCL"> + <details key="samePageSourceTarget" value="self.source.containerPage = self.target.containerPage"/> + <details key="differentSourceTarget" value="(self.source.oclIsKindOf(PlaceNode) and self.target.oclIsKindOf(TransitionNode)) or (self.source.oclIsKindOf(TransitionNode) and self.target.oclIsKindOf(PlaceNode))"/> + </eAnnotations> + <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> + <details key="constraints" value="samePageSourceTarget differentSourceTarget"/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false" + lowerBound="1" eType="#//Node" eOpposite="#//Node/OutArcs"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false" + lowerBound="1" eType="#//Node" eOpposite="#//Node/InArcs"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="arcgraphics" ordered="false" + eType="#//ArcGraphics" containment="true" eOpposite="#//ArcGraphics/containerArc"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="inscription" eType="#//PTArcAnnotation" + containment="true" eOpposite="#//PTArcAnnotation/containerArc"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Node" abstract="true" eSuperTypes="#//PnObject"> + <eStructuralFeatures xsi:type="ecore:EReference" name="InArcs" ordered="false" + upperBound="-1" eType="#//Arc" changeable="false" eOpposite="#//Arc/target"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="OutArcs" ordered="false" + upperBound="-1" eType="#//Arc" changeable="false" eOpposite="#//Arc/source"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="nodegraphics" eType="#//NodeGraphics" + containment="true" eOpposite="#//NodeGraphics/containerNode"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Font"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="align" ordered="false" + eType="#//FontAlign" defaultValueLiteral="LEFT"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="decoration" ordered="false" + eType="#//FontDecoration" defaultValueLiteral="UNDERLINE"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="family" ordered="false" + eType="#//CSS2FontFamily" defaultValueLiteral="VERDANA"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="rotation" ordered="false" + eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="size" ordered="false" eType="#//CSS2FontSize" + defaultValueLiteral="SMALL"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="style" ordered="false" + eType="#//CSS2FontStyle" defaultValueLiteral="NORMAL"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" ordered="false" + eType="#//CSS2FontWeight"/> + <eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics" + ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/font"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="FontAlign"> + <eLiterals name="LEFT" literal="left"/> + <eLiterals name="CENTER" value="1" literal="center"/> + <eLiterals name="RIGHT" value="2" literal="right"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="FontDecoration"> + <eLiterals name="UNDERLINE" literal="underline"/> + <eLiterals name="OVERLINE" value="1" literal="overline"/> + <eLiterals name="LINETHROUGH" value="2" literal="linethrough"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="CSS2FontFamily"> + <eLiterals name="VERDANA" literal="verdana"/> + <eLiterals name="ARIAL" value="1" literal="arial"/> + <eLiterals name="TIMES" value="2" literal="times"/> + <eLiterals name="GEORGIA" value="3" literal="georgia"/> + <eLiterals name="TREBUCHET" value="4" literal="trebuchet"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="CSS2FontSize"> + <eLiterals name="XXSMALL" literal="xxsmall"/> + <eLiterals name="XSMALL" value="1" literal="xsmall"/> + <eLiterals name="SMALL" value="2" literal="small"/> + <eLiterals name="MEDIUM" value="3" literal="medium"/> + <eLiterals name="LARGE" value="4" literal="large"/> + <eLiterals name="XLARGE" value="5" literal="xlarge"/> + <eLiterals name="XXLARGE" value="6" literal="xxlarge"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="CSS2FontStyle"> + <eLiterals name="NORMAL" literal="normal"/> + <eLiterals name="ITALIC" value="1" literal="italic"/> + <eLiterals name="OBLIQUE" value="2" literal="oblique"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EEnum" name="CSS2FontWeight"> + <eLiterals name="NORMAL" literal="normal"/> + <eLiterals name="BOLD" value="1" literal="bold"/> + <eLiterals name="BOLDER" value="2" literal="bolder"/> + <eLiterals name="LIGHTER" value="3" literal="lighter"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="PlaceNode" abstract="true" eSuperTypes="#//Node"> + <eStructuralFeatures xsi:type="ecore:EReference" name="referencingPlaces" upperBound="-1" + eType="#//RefPlace" changeable="false" eOpposite="#//RefPlace/ref"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="TransitionNode" abstract="true" eSuperTypes="#//Node"> + <eStructuralFeatures xsi:type="ecore:EReference" name="referencingTransitions" + upperBound="-1" eType="#//RefTransition" changeable="false" eOpposite="#//RefTransition/ref"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Place" eSuperTypes="#//PlaceNode"> + <eStructuralFeatures xsi:type="ecore:EReference" name="initialMarking" eType="#//PTMarking" + containment="true" eOpposite="#//PTMarking/containerPlace"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="RefTransition" eSuperTypes="#//TransitionNode"> + <eStructuralFeatures xsi:type="ecore:EReference" name="ref" ordered="false" lowerBound="1" + eType="#//TransitionNode" eOpposite="#//TransitionNode/referencingTransitions"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Transition" eSuperTypes="#//TransitionNode"/> + <eClassifiers xsi:type="ecore:EClass" name="RefPlace" eSuperTypes="#//PlaceNode"> + <eStructuralFeatures xsi:type="ecore:EReference" name="ref" ordered="false" lowerBound="1" + eType="#//PlaceNode" eOpposite="#//PlaceNode/referencingPlaces"/> + </eClassifiers> +<!-- <eClassifiers xsi:type="ecore:EClass" name="Attribute" abstract="true" eSuperTypes="#//Label"/>--> + <eClassifiers xsi:type="ecore:EEnum" name="LineStyle"> + <eLiterals name="SOLID" literal="solid"/> + <eLiterals name="DASH" value="1" literal="dash"/> + <eLiterals name="DOT" value="2" literal="dot"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="Annotation" abstract="true" eSuperTypes="#//Label"> + <eStructuralFeatures xsi:type="ecore:EReference" name="annotationgraphics" ordered="false" + eType="#//AnnotationGraphics" containment="true" eOpposite="#//AnnotationGraphics/containerAnnotation"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EDataType" name="URI" instanceClassName="java.net.URI"/> + <eClassifiers xsi:type="ecore:EDataType" name="LongString" instanceClassName="java.lang.StringBuffer"/> +<!-- <eClassifiers xsi:type="ecore:EClass" name="AnyObject" abstract="true">--> +<!-- <eStructuralFeatures xsi:type="ecore:EReference" name="containerToolInfo" eType="#//ToolInfo"--> +<!-- changeable="false" eOpposite="#//ToolInfo/toolInfoModel"/>--> +<!-- </eClassifiers>--> +</ecore:EPackage>