Skip to content
Snippets Groups Projects
Commit 5a3e9bf8 authored by Sebastian Ebert's avatar Sebastian Ebert
Browse files

project setup

parent 8bd1b745
Branches
No related tags found
No related merge requests found
Showing
with 909 additions and 0 deletions
build
src/gen-res/
src/gen/
out*/
.idea
.gradle
*.class
logs/
///////////////////////////////
////// 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
// 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
jackson_version = 2.9.8
apache_httpcomponents_version = 4.5.8
relast_version = 0.4.0
\ No newline at end of file
File added
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
gradlew 0 → 100755
#!/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" "$@"
@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
File added
File added
File added
File added
File added
rootProject.name = 'pnml-relast-pkg-gen'
../../../../../pnml-relast-base/src/main/jastadd/base
\ No newline at end of file
package de.tudresden.inf.st.pnml.gen;
public class Main {
public static void main(java.lang.String[] args){
// TODO
}
}
../../../../../../../../../../../pnml-relast-base/src/data/java/de/tudresden/inf/st/pnml/base
\ No newline at end of file
<?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>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment