Skip to content

P
ProofScriptParser
Commit 2c64471a authored by Alexander Weigl's avatar Alexander Weigl
Browse files
Options

Merge branch 'gradle' 

* gradle:
  new ci file
  Now copy to clipboard contains parsable string
  fixed instantiate commadn in key sources
  build for cradle
  other key versions
  commit for interactiveModeController
  Sortskript of Quicksort
  contraposition skript angepasst multiple Open Goals Fix
  gradle build
parents 9f59ca14 991c3b45
Pipeline #18633 failed with stages
        in 2 minutes and 20 seconds
        Expand all Hide whitespace changes
        Inline Side-by-side
        Showing with 9502 additions and 599 deletions
        .idea/uiDesigner.xml deleted 100644 → 0
        View file @ 9f59ca14
        <?xml version="1.0" encoding="UTF-8"?>
        <project version="4">
        <component name="Palette2">
        <group name="Swing">
        <item class="com.intellij.uiDesigner.HSpacer" tooltip-text="Horizontal Spacer" icon="/com/intellij/uiDesigner/icons/hspacer.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="1" hsize-policy="6" anchor="0" fill="1" />
        </item>
        <item class="com.intellij.uiDesigner.VSpacer" tooltip-text="Vertical Spacer" icon="/com/intellij/uiDesigner/icons/vspacer.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="6" hsize-policy="1" anchor="0" fill="2" />
        </item>
        <item class="javax.swing.JPanel" icon="/com/intellij/uiDesigner/icons/panel.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="3" hsize-policy="3" anchor="0" fill="3" />
        </item>
        <item class="javax.swing.JScrollPane" icon="/com/intellij/uiDesigner/icons/scrollPane.png" removable="false" auto-create-binding="false" can-attach-label="true">
        <default-constraints vsize-policy="7" hsize-policy="7" anchor="0" fill="3" />
        </item>
        <item class="javax.swing.JButton" icon="/com/intellij/uiDesigner/icons/button.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="3" anchor="0" fill="1" />
        <initial-values>
        <property name="text" value="Button" />
        </initial-values>
        </item>
        <item class="javax.swing.JRadioButton" icon="/com/intellij/uiDesigner/icons/radioButton.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="3" anchor="8" fill="0" />
        <initial-values>
        <property name="text" value="RadioButton" />
        </initial-values>
        </item>
        <item class="javax.swing.JCheckBox" icon="/com/intellij/uiDesigner/icons/checkBox.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="3" anchor="8" fill="0" />
        <initial-values>
        <property name="text" value="CheckBox" />
        </initial-values>
        </item>
        <item class="javax.swing.JLabel" icon="/com/intellij/uiDesigner/icons/label.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="0" anchor="8" fill="0" />
        <initial-values>
        <property name="text" value="Label" />
        </initial-values>
        </item>
        <item class="javax.swing.JTextField" icon="/com/intellij/uiDesigner/icons/textField.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="8" fill="1">
        <preferred-size width="150" height="-1" />
        </default-constraints>
        </item>
        <item class="javax.swing.JPasswordField" icon="/com/intellij/uiDesigner/icons/passwordField.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="8" fill="1">
        <preferred-size width="150" height="-1" />
        </default-constraints>
        </item>
        <item class="javax.swing.JFormattedTextField" icon="/com/intellij/uiDesigner/icons/formattedTextField.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="8" fill="1">
        <preferred-size width="150" height="-1" />
        </default-constraints>
        </item>
        <item class="javax.swing.JTextArea" icon="/com/intellij/uiDesigner/icons/textArea.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="6" hsize-policy="6" anchor="0" fill="3">
        <preferred-size width="150" height="50" />
        </default-constraints>
        </item>
        <item class="javax.swing.JTextPane" icon="/com/intellij/uiDesigner/icons/textPane.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="6" hsize-policy="6" anchor="0" fill="3">
        <preferred-size width="150" height="50" />
        </default-constraints>
        </item>
        <item class="javax.swing.JEditorPane" icon="/com/intellij/uiDesigner/icons/editorPane.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="6" hsize-policy="6" anchor="0" fill="3">
        <preferred-size width="150" height="50" />
        </default-constraints>
        </item>
        <item class="javax.swing.JComboBox" icon="/com/intellij/uiDesigner/icons/comboBox.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="0" hsize-policy="2" anchor="8" fill="1" />
        </item>
        <item class="javax.swing.JTable" icon="/com/intellij/uiDesigner/icons/table.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="6" hsize-policy="6" anchor="0" fill="3">
        <preferred-size width="150" height="50" />
        </default-constraints>
        </item>
        <item class="javax.swing.JList" icon="/com/intellij/uiDesigner/icons/list.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="6" hsize-policy="2" anchor="0" fill="3">
        <preferred-size width="150" height="50" />
        </default-constraints>
        </item>
        <item class="javax.swing.JTree" icon="/com/intellij/uiDesigner/icons/tree.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="6" hsize-policy="6" anchor="0" fill="3">
        <preferred-size width="150" height="50" />
        </default-constraints>
        </item>
        <item class="javax.swing.JTabbedPane" icon="/com/intellij/uiDesigner/icons/tabbedPane.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="3" hsize-policy="3" anchor="0" fill="3">
        <preferred-size width="200" height="200" />
        </default-constraints>
        </item>
        <item class="javax.swing.JSplitPane" icon="/com/intellij/uiDesigner/icons/splitPane.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="3" hsize-policy="3" anchor="0" fill="3">
        <preferred-size width="200" height="200" />
        </default-constraints>
        </item>
        <item class="javax.swing.JSpinner" icon="/com/intellij/uiDesigner/icons/spinner.png" removable="false" auto-create-binding="true" can-attach-label="true">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="8" fill="1" />
        </item>
        <item class="javax.swing.JSlider" icon="/com/intellij/uiDesigner/icons/slider.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="8" fill="1" />
        </item>
        <item class="javax.swing.JSeparator" icon="/com/intellij/uiDesigner/icons/separator.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="6" hsize-policy="6" anchor="0" fill="3" />
        </item>
        <item class="javax.swing.JProgressBar" icon="/com/intellij/uiDesigner/icons/progressbar.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="0" fill="1" />
        </item>
        <item class="javax.swing.JToolBar" icon="/com/intellij/uiDesigner/icons/toolbar.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="6" anchor="0" fill="1">
        <preferred-size width="-1" height="20" />
        </default-constraints>
        </item>
        <item class="javax.swing.JToolBar$Separator" icon="/com/intellij/uiDesigner/icons/toolbarSeparator.png" removable="false" auto-create-binding="false" can-attach-label="false">
        <default-constraints vsize-policy="0" hsize-policy="0" anchor="0" fill="1" />
        </item>
        <item class="javax.swing.JScrollBar" icon="/com/intellij/uiDesigner/icons/scrollbar.png" removable="false" auto-create-binding="true" can-attach-label="false">
        <default-constraints vsize-policy="6" hsize-policy="0" anchor="0" fill="2" />
        </item>
        </group>
        </component>
        </project>
        \ No newline at end of file
        DockFX/DockFX.iml
        View file @ 2c64471a
        <?xml version="1.0" encoding="UTF-8"?>
        <module org.jetbrains.idea.maven.project.MavenProjectsManager.isMavenModule="true" type="JAVA_MODULE" version="4">
        <module external.linked.project.id=":DockFX" external.linked.project.path="$MODULE_DIR$" external.root.project.path="$MODULE_DIR$/.." external.system.id="GRADLE" external.system.module.group="org.dockfx" external.system.module.version="1.0-FM" type="JAVA_MODULE" version="4">
        <component name="NewModuleRootManager" LANGUAGE_LEVEL="JDK_1_8">
        <output url="file://$MODULE_DIR$/target/classes" />
        <output-test url="file://$MODULE_DIR$/target/test-classes" />
        <output url="file://$MODULE_DIR$/out/production/classes" />
        <output-test url="file://$MODULE_DIR$/out/test/classes" />
        <content url="file://$MODULE_DIR$">
        <sourceFolder url="file://$MODULE_DIR$/src/main/java" isTestSource="false" />
        <sourceFolder url="file://$MODULE_DIR$/src/test/java" isTestSource="true" />
        <sourceFolder url="file://$MODULE_DIR$/src/main/resources" type="java-resource" />
        <sourceFolder url="file://$MODULE_DIR$/target/generated-sources/license" isTestSource="false" generated="true" />
        <sourceFolder url="file://$MODULE_DIR$/src/test/resources" type="java-test-resource" />
        <excludeFolder url="file://$MODULE_DIR$/.gradle" />
        <excludeFolder url="file://$MODULE_DIR$/build" />
        <excludeFolder url="file://$MODULE_DIR$/out" />
        <excludeFolder url="file://$MODULE_DIR$/target" />
        </content>
        <orderEntry type="inheritedJdk" />
        <orderEntry type="sourceFolder" forTests="false" />
        <orderEntry type="library" scope="TEST" name="Maven: junit:junit:4.12" level="project" />
        <orderEntry type="library" scope="TEST" name="Maven: org.hamcrest:hamcrest-core:1.3" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Maven: org.projectlombok:lombok:1.16.16" level="project" />
        <orderEntry type="library" name="Maven: commons-cli:commons-cli:1.4" level="project" />
        <orderEntry type="library" name="Maven: com.google.guava:guava:22.0" level="project" />
        <orderEntry type="library" name="Maven: com.google.code.findbugs:jsr305:1.3.9" level="project" />
        <orderEntry type="library" name="Maven: com.google.errorprone:error_prone_annotations:2.0.18" level="project" />
        <orderEntry type="library" name="Maven: com.google.j2objc:j2objc-annotations:1.1" level="project" />
        <orderEntry type="library" name="Maven: org.codehaus.mojo:animal-sniffer-annotations:1.14" level="project" />
        <orderEntry type="library" name="Maven: commons-io:commons-io:2.5" level="project" />
        <orderEntry type="library" name="Maven: commons-lang:commons-lang:2.6" level="project" />
        <orderEntry type="library" name="Maven: org.apache.logging.log4j:log4j-api:2.6" level="project" />
        <orderEntry type="library" name="Maven: org.apache.logging.log4j:log4j-core:2.6" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: commons-cli:commons-cli:1.4" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: com.google.guava:guava:22.0" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: commons-io:commons-io:2.5" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: commons-lang:commons-lang:2.6" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: org.apache.logging.log4j:log4j-core:2.6" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: org.apache.logging.log4j:log4j-api:2.6" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: org.projectlombok:lombok:1.16.16" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: com.google.code.findbugs:jsr305:1.3.9" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: com.google.errorprone:error_prone_annotations:2.0.18" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: com.google.j2objc:j2objc-annotations:1.1" level="project" />
        <orderEntry type="library" scope="PROVIDED" name="Gradle: org.codehaus.mojo:animal-sniffer-annotations:1.14" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: commons-cli:commons-cli:1.4" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: com.google.guava:guava:22.0" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: commons-io:commons-io:2.5" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: commons-lang:commons-lang:2.6" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: org.apache.logging.log4j:log4j-core:2.6" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: org.apache.logging.log4j:log4j-api:2.6" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: com.google.code.findbugs:jsr305:1.3.9" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: com.google.errorprone:error_prone_annotations:2.0.18" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: com.google.j2objc:j2objc-annotations:1.1" level="project" />
        <orderEntry type="library" scope="RUNTIME" name="Gradle: org.codehaus.mojo:animal-sniffer-annotations:1.14" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: commons-cli:commons-cli:1.4" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: com.google.guava:guava:22.0" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: commons-io:commons-io:2.5" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: commons-lang:commons-lang:2.6" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: org.apache.logging.log4j:log4j-core:2.6" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: org.apache.logging.log4j:log4j-api:2.6" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: junit:junit:4.12" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: com.google.code.findbugs:jsr305:1.3.9" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: com.google.errorprone:error_prone_annotations:2.0.18" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: com.google.j2objc:j2objc-annotations:1.1" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: org.codehaus.mojo:animal-sniffer-annotations:1.14" level="project" />
        <orderEntry type="library" scope="TEST" name="Gradle: org.hamcrest:hamcrest-core:1.3" level="project" />
        </component>
        </module>
        \ No newline at end of file
        DockFX/build.gradle 0 → 100644
        View file @ 2c64471a
        group = 'org.dockfx'
        description = 'DockFX'
        build.gradle 0 → 100644
        View file @ 2c64471a
        allprojects {
        apply plugin: 'maven'
        group = 'edu.kit.iti.formal.psdbg'
        version = '1.0-FM'
        }
        subprojects {
        apply plugin: 'java'
        apply plugin: 'idea'
        sourceCompatibility = 1.8
        targetCompatibility = 1.8
        tasks.withType(JavaCompile) {
        options.encoding = 'UTF-8'
        }
        repositories {
        mavenLocal()
        maven { url "http://repo.maven.apache.org/maven2" }
        maven { url "http://dl.bintray.com/jerady/maven" }
        maven { url "https://oss.sonatype.org/content/repositories/snapshots/" }
        }
        dependencies {
        compile group: 'commons-cli', name: 'commons-cli', version: '1.4'
        compile group: 'com.google.guava', name: 'guava', version: '22.0'
        compile group: 'commons-io', name: 'commons-io', version: '2.5'
        compile group: 'commons-lang', name: 'commons-lang', version: '2.6'
        compile group: 'org.apache.logging.log4j', name: 'log4j-api', version: '2.6'
        compile group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.6'
        testCompile group: 'junit', name: 'junit', version: '4.12'
        compileOnly group: 'org.projectlombok', name: 'lombok', version: '1.16.16'
        }
        }
        gradle/wrapper/gradle-wrapper.properties 0 → 100644
        View file @ 2c64471a
        #Fri Feb 09 15:16:51 CET 2018
        distributionBase=GRADLE_USER_HOME
        distributionPath=wrapper/dists
        zipStoreBase=GRADLE_USER_HOME
        zipStorePath=wrapper/dists
        distributionUrl=https\://services.gradle.org/distributions/gradle-4.0-all.zip
        gradlew 0 → 100755
        View file @ 2c64471a
        #!/usr/bin/env sh
        ##############################################################################
        ##
        ## 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=""
        # 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, switch paths to Windows format before running java
        if $cygwin ; 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=$((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"
        # by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
        if [ "$(uname)" = "Darwin" ] && [ "$HOME" = "$PWD" ]; then
        cd "$(dirname "$0")"
        fi
        exec "$JAVACMD" "$@"
        gradlew.bat 0 → 100644
        View file @ 2c64471a
        @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 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=
        @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
        keydeps/build.gradle 0 → 100644
        View file @ 2c64471a
        description = ''
        dependencies {
        compile files('lib/components/key.core.jar')
        compile files('lib/components/key.ui.jar')
        compile files('lib/components/key.util.jar')
        compile files('lib/libs/recoderKey.jar')
        compile group: 'org.antlr', name: 'antlr', version:'3.5.2'
        compile group: 'antlr', name: 'antlr', version:'2.7.7'
        compile group: 'net.java.dev.javacc', name: 'javacc', version:'4.0'
        }
        lang/build.gradle 0 → 100644
        View file @ 2c64471a
        description = 'lang'
        apply plugin: 'antlr'
        repositories { mavenCentral() }
        generateGrammarSource {
        maxHeapSize = "64m"
        arguments += ["-visitor", "-long-messages", "-package","edu.kit.iti.formal.psdbg.parser"]
        outputDirectory file("${project.buildDir}/generated-src/antlr/main/")
        }
        dependencies {
        compile group: 'org.antlr', name: 'antlr4', version: '4.7'
        antlr group: 'org.antlr', name: 'antlr4', version: '4.7'
        }
        lint/build.gradle 0 → 100644
        View file @ 2c64471a
        plugins {
        id 'org.unbroken-dome.xjc' version '1.1.3'
        }
        description = 'lint'
        xjcGenerate {
        source = fileTree('src/main/xsd') { include '*.xsd' }
        targetPackage = "edu.kit.iti.formal.psdbg.lint"
        //bindingFiles = fileTree('src/main/jaxb') { include '*.xjb' }
        //catalogs = fileTree('src/main/catalog') { include '*.cat' }
        }
        compileJava.dependsOn xjcGenerate
        dependencies {
        compile group: 'com.github.spullara.mustache.java', name: 'compiler', version: '0.9.5'
        compile group: 'it.unibo.alice.tuprolog', name: 'tuprolog', version: '3.2.1'
        compile project(':lang')
        compile project(':rt')
        xjcClasspath 'com.sun.xml.bind:jaxb-xjc:2.2.7-b41'
        xjcClasspath 'com.sun.xml.bind:jaxb-impl:2.2.7-b41'
        xjcClasspath 'javax.xml.bind:jaxb-api:2.2.7'
        xjcClasspath 'org.jvnet.jaxb2_commons:jaxb2-basics:0.11.1'
        }
        matcher/build.gradle 0 → 100644
        View file @ 2c64471a
        apply plugin: 'antlr'
        description = ''
        repositories { mavenCentral() }
        generateGrammarSource {
        maxHeapSize = "64m"
        arguments += ["-visitor", "-long-messages",
        "-package", "edu.kit.iti.formal.psdbg.termmatcher"]
        outputDirectory file("${project.buildDir}/generated-src/antlr/main/")
        }
        dependencies {
        compile group: 'org.antlr', name: 'antlr4', version: '4.7'
        antlr group: 'org.antlr', name: 'antlr4', version: '4.7'
        compile project(':keydeps')
        }
        matcher/pom.xml deleted 100644 → 0
        View file @ 9f59ca14
        <?xml version="1.0" encoding="UTF-8"?>
        <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
        <modelVersion>4.0.0</modelVersion>
        <parent>
        <groupId>edu.kit.iti.formal.psdbg</groupId>
        <artifactId>psdbg</artifactId>
        <version>1.0-FM</version>
        <relativePath>..</relativePath>
        </parent>
        <artifactId>matcher</artifactId>
        <packaging>jar</packaging>
        <build>
        <plugins>
        <plugin>
        <groupId>org.antlr</groupId>
        <artifactId>antlr4-maven-plugin</artifactId>
        <version>4.7</version>
        <executions>
        <execution>
        <id>antlr</id>
        <goals>
        <goal>antlr4</goal>
        </goals>
        </execution>
        </executions>
        <configuration>
        <visitor>true</visitor>
        </configuration>
        </plugin>
        </plugins>
        </build>
        <dependencies>
        <dependency>
        <groupId>org.antlr</groupId>
        <artifactId>antlr4</artifactId>
        <version>4.7</version>
        </dependency>
        <dependency>
        <groupId>edu.kit.iti.formal.psdbg</groupId>
        <artifactId>keydeps</artifactId>
        <version>1.0</version>
        </dependency>
        </dependencies>
        </project>
        matcher/src/main/java/edu/kit/iti/formal/psdbg/termmatcher/MatchPatternDualVisitor.java
        View file @ 2c64471a
        package edu.kit.iti.formal.psdbg.termmatcher;
        import edu.kit.formal.psdb.termmatcher.MatchPatternBaseVisitor;
        import edu.kit.formal.psdb.termmatcher.MatchPatternParser;
        import org.antlr.v4.runtime.ParserRuleContext;
        import java.util.Stack;
        ......
        matcher/src/main/java/edu/kit/iti/formal/psdbg/termmatcher/MatcherFacade.java
        View file @ 2c64471a
        ......@@ -4,8 +4,8 @@ import de.uka.ilkd.key.java.Services;
        import de.uka.ilkd.key.logic.Semisequent;
        import de.uka.ilkd.key.logic.Sequent;
        import de.uka.ilkd.key.logic.Term;
        import edu.kit.formal.psdb.termmatcher.MatchPatternLexer;
        import edu.kit.formal.psdb.termmatcher.MatchPatternParser;
        import edu.kit.iti.formal.psdbg.termmatcher.MatchPatternLexer;
        import edu.kit.iti.formal.psdbg.termmatcher.MatchPatternParser;
        import edu.kit.iti.formal.psdbg.termmatcher.mp.MatchPathFacade;
        import org.antlr.v4.runtime.CharStream;
        import org.antlr.v4.runtime.CharStreams;
        ......
        matcher/src/main/java/edu/kit/iti/formal/psdbg/termmatcher/MatcherImpl.java
        View file @ 2c64471a
        ......@@ -4,8 +4,8 @@ import com.google.common.collect.Sets;
        import de.uka.ilkd.key.java.Services;
        import de.uka.ilkd.key.logic.*;
        import de.uka.ilkd.key.logic.op.QuantifiableVariable;
        import edu.kit.formal.psdb.termmatcher.MatchPatternLexer;
        import edu.kit.formal.psdb.termmatcher.MatchPatternParser;
        import edu.kit.iti.formal.psdbg.termmatcher.MatchPatternLexer;
        import edu.kit.iti.formal.psdbg.termmatcher.MatchPatternParser;
        import edu.kit.iti.formal.psdbg.termmatcher.mp.MatchPath;
        import lombok.Getter;
        import lombok.RequiredArgsConstructor;
        ......
        matcher/src/main/java/edu/kit/iti/formal/psdbg/termmatcher/OwnFunctionContext.java
        View file @ 2c64471a
        package edu.kit.iti.formal.psdbg.termmatcher;
        import edu.kit.formal.psdb.termmatcher.MatchPatternParser;
        import edu.kit.iti.formal.psdbg.termmatcher.MatchPatternParser;
        import org.antlr.v4.runtime.Token;
        import org.antlr.v4.runtime.tree.TerminalNode;
        ......
        matcher/src/main/java/edu/kit/iti/formal/psdbg/termmatcher/Utils.java
        View file @ 2c64471a
        ......@@ -23,16 +23,16 @@ public class Utils {
        sb.append("(" + toPrettyTerm(formula.sub(0)) + ") -> (" + toPrettyTerm(formula.sub(1)) + ")");
        } else {
        if (op.equals(Junctor.AND)) {
        sb.append("(" + toPrettyTerm(formula.sub(0)) + ") && (" + toPrettyTerm(formula.sub(1)) + ")");
        sb.append("(" + toPrettyTerm(formula.sub(0)) + ") & (" + toPrettyTerm(formula.sub(1)) + ")");
        } else {
        if (op.equals(Junctor.OR)) {
        sb.append("(" + toPrettyTerm(formula.sub(0)) + ") || (" + toPrettyTerm(formula.sub(1)) + ")");
        sb.append("(" + toPrettyTerm(formula.sub(0)) + ") | (" + toPrettyTerm(formula.sub(1)) + ")");
        } else {