Skip to content

P
ProofScriptParser
Commit 145e4979 authored by Alexander Weigl's avatar Alexander Weigl
Browse files
Options

Die Axt im Walde ...

parent eef68b1a
Pipeline #13140 failed with stage
    in 3 minutes and 36 seconds
    Expand all Hide whitespace changes
    Inline Side-by-side
    Showing with 1503 additions and 1035 deletions
    .gitmodules
    View file @ 145e4979
    [submodule "doc"]
    path = doc
    url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git
    [submodule "lib/DockFX"]
    path = lib/DockFX
    [submodule "DockFX"]
    path = DockFX
    url = https://github.com/ClearControl/DockFX.git
    .idea/libraries/Maven__antlr_antlr_2_7_7.xml deleted 100644 → 0
    View file @ eef68b1a
    <component name="libraryTable">
    <library name="Maven: antlr:antlr:2.7.7">
    <CLASSES>
    <root url="jar://$MAVEN_REPOSITORY$/antlr/antlr/2.7.7/antlr-2.7.7.jar!/" />
    </CLASSES>
    <JAVADOC>
    <root url="jar://$MAVEN_REPOSITORY$/antlr/antlr/2.7.7/antlr-2.7.7-javadoc.jar!/" />
    </JAVADOC>
    <SOURCES>
    <root url="jar://$MAVEN_REPOSITORY$/antlr/antlr/2.7.7/antlr-2.7.7-sources.jar!/" />
    </SOURCES>
    </library>
    </component>
    \ No newline at end of file
    .idea/libraries/Maven__net_java_dev_javacc_javacc_4_0.xml deleted 100644 → 0
    View file @ eef68b1a
    <component name="libraryTable">
    <library name="Maven: net.java.dev.javacc:javacc:4.0">
    <CLASSES>
    <root url="jar://$MAVEN_REPOSITORY$/net/java/dev/javacc/javacc/4.0/javacc-4.0.jar!/" />
    </CLASSES>
    <JAVADOC>
    <root url="jar://$MAVEN_REPOSITORY$/net/java/dev/javacc/javacc/4.0/javacc-4.0-javadoc.jar!/" />
    </JAVADOC>
    <SOURCES>
    <root url="jar://$MAVEN_REPOSITORY$/net/java/dev/javacc/javacc/4.0/javacc-4.0-sources.jar!/" />
    </SOURCES>
    </library>
    </component>
    \ No newline at end of file
    .idea/libraries/Maven__org_antlr_antlr_3_5_2.xml deleted 100644 → 0
    View file @ eef68b1a
    <component name="libraryTable">
    <library name="Maven: org.antlr:antlr:3.5.2">
    <CLASSES>
    <root url="jar://$MAVEN_REPOSITORY$/org/antlr/antlr/3.5.2/antlr-3.5.2.jar!/" />
    </CLASSES>
    <JAVADOC>
    <root url="jar://$MAVEN_REPOSITORY$/org/antlr/antlr/3.5.2/antlr-3.5.2-javadoc.jar!/" />
    </JAVADOC>
    <SOURCES>
    <root url="jar://$MAVEN_REPOSITORY$/org/antlr/antlr/3.5.2/antlr-3.5.2-sources.jar!/" />
    </SOURCES>
    </library>
    </component>
    \ No newline at end of file
    DockFX @ bbbc5765
    File moved
    keydeps/README 0 → 100644
    View file @ 145e4979
    # Execute this in this folder.
    # Set to key/key/deployment/components/
    COMPONENTS=lib/components/
    mvn install:install-file -Dfile=$COMPONENTS/key.core.jar \
    -DgroupId=key-project-psdbg \
    -DartifactId=key.core \
    -Dversion=2.7 \
    -Dpackaging=jar \
    -DlocalRepositoryPath=local-repo
    mvn install:install-file -Dfile=$COMPONENTS/key.ui.jar \
    -DgroupId=key-project-psdbg \
    -DartifactId=key.ui \
    -Dversion=2.7 \
    -Dpackaging=jar \
    -DlocalRepositoryPath=local-repo
    mvn install:install-file -Dfile=$COMPONENTS/key.util.jar \
    -DgroupId=key-project-psdbg \
    -DartifactId=key.util \
    -Dversion=2.7 \
    -Dpackaging=jar \
    -DlocalRepositoryPath=local-repo
    mvn install:install-file -Dfile=$COMPONENTS/../libs/recoderKey.jar\
    -DgroupId=key-project-psdbg \
    -DartifactId=recoder \
    -Dversion=2.7 \
    -Dpackaging=jar \
    -DlocalRepositoryPath=local-repo
    \ No newline at end of file
    keydeps/local-repo/key-project-psdbg/key.core/2.7/key.core-2.7.pom 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
    <modelVersion>4.0.0</modelVersion>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.core</artifactId>
    <version>2.7</version>
    <description>POM was created from install:install-file</description>
    </project>
    keydeps/local-repo/key-project-psdbg/key.core/maven-metadata-local.xml 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <metadata>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.core</artifactId>
    <versioning>
    <release>2.7</release>
    <versions>
    <version>2.7</version>
    </versions>
    <lastUpdated>20170828163803</lastUpdated>
    </versioning>
    </metadata>
    keydeps/local-repo/key-project-psdbg/key.ui/2.7/key.ui-2.7.pom 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
    <modelVersion>4.0.0</modelVersion>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.ui</artifactId>
    <version>2.7</version>
    <description>POM was created from install:install-file</description>
    </project>
    keydeps/local-repo/key-project-psdbg/key.ui/maven-metadata-local.xml 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <metadata>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.ui</artifactId>
    <versioning>
    <release>2.7</release>
    <versions>
    <version>2.7</version>
    </versions>
    <lastUpdated>20170828163805</lastUpdated>
    </versioning>
    </metadata>
    keydeps/local-repo/key-project-psdbg/key.util/2.7/key.util-2.7.pom 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
    <modelVersion>4.0.0</modelVersion>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.util</artifactId>
    <version>2.7</version>
    <description>POM was created from install:install-file</description>
    </project>
    keydeps/local-repo/key-project-psdbg/key.util/maven-metadata-local.xml 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <metadata>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.util</artifactId>
    <versioning>
    <release>2.7</release>
    <versions>
    <version>2.7</version>
    </versions>
    <lastUpdated>20170828163808</lastUpdated>
    </versioning>
    </metadata>
    keydeps/local-repo/key-project-psdbg/recoder/2.7/recoder-2.7.pom 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
    <modelVersion>4.0.0</modelVersion>
    <groupId>key-project-psdbg</groupId>
    <artifactId>recoder</artifactId>
    <version>2.7</version>
    <description>POM was created from install:install-file</description>
    </project>
    keydeps/local-repo/key-project-psdbg/recoder/maven-metadata-local.xml 0 → 100644
    View file @ 145e4979
    <?xml version="1.0" encoding="UTF-8"?>
    <metadata>
    <groupId>key-project-psdbg</groupId>
    <artifactId>recoder</artifactId>
    <versioning>
    <release>2.7</release>
    <versions>
    <version>2.7</version>
    </versions>
    <lastUpdated>20170828163810</lastUpdated>
    </versioning>
    </metadata>
    keydeps/pom.xml 0 → 100644
    View file @ 145e4979
    <?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>
    <artifactId>psdbg</artifactId>
    <groupId>edu.kit.iti.formal.psdbg</groupId>
    <version>0.1-SNAPSHOT</version>
    </parent>
    <artifactId>keydeps</artifactId>
    <packaging>jar</packaging>
    <version>1.0</version>
    <repositories>
    <repository>
    <id>local-repo</id>
    <name>local-repo</name>
    <url>file:///${basedir}/local-repo</url>
    </repository>
    </repositories>
    <dependencies>
    <dependency>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.core</artifactId>
    <version>2.7</version>
    </dependency>
    <dependency>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.ui</artifactId>
    <version>2.7</version>
    </dependency>
    <dependency>
    <groupId>key-project-psdbg</groupId>
    <artifactId>key.util</artifactId>
    <version>2.7</version>
    </dependency>
    <dependency>
    <groupId>org.antlr</groupId>
    <artifactId>antlr</artifactId>
    <version>3.5.2</version>
    </dependency>
    <dependency>
    <groupId>antlr</groupId>
    <artifactId>antlr</artifactId>
    <version>2.7.7</version>
    </dependency>
    <dependency>
    <groupId>net.java.dev.javacc</groupId>
    <artifactId>javacc</artifactId>
    <version>4.0</version>
    </dependency>
    <dependency>
    <groupId>key-project-psdbg</groupId>
    <artifactId>recoder</artifactId>
    <version>2.7</version>
    </dependency>
    </dependencies>
    </project>
    lang/pom.xml 0 → 100644
    View file @ 145e4979
    <?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>0.1-SNAPSHOT</version>
    <relativePath>..</relativePath>
    </parent>
    <artifactId>lang</artifactId>
    <packaging>jar</packaging>
    <name>Language Foundations</name>
    <dependencies>
    <dependency>
    <groupId>org.antlr</groupId>
    <artifactId>antlr4</artifactId>
    <version>4.7</version>
    </dependency>
    </dependencies>
    <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>
    </project>
    src/test/java/edu/kit/formal/psdb/parser/TestHelper.java → lang/src/main/java/edu/kit/iti/formal/psdbg/TestHelper.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg;
    /*-
    * #%L
    ......@@ -23,7 +23,10 @@ package edu.kit.formal.psdb.parser;
    */
    import edu.kit.formal.psdb.parser.ast.Expression;
    import edu.kit.iti.formal.psdbg.parser.Facade;
    import edu.kit.iti.formal.psdbg.parser.ScriptLanguageParser;
    import edu.kit.iti.formal.psdbg.parser.TransformAst;
    import edu.kit.iti.formal.psdbg.parser.ast.Expression;
    import org.antlr.v4.runtime.CharStreams;
    import java.io.*;
    ......
    src/main/java/edu/kit/formal/psdb/parser/ASTChanger.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ASTChanger.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -23,9 +23,8 @@ package edu.kit.formal.psdb.parser;
    */
    import edu.kit.formal.psdb.parser.ast.*;
    import edu.kit.formal.psdb.parser.types.Type;
    import edu.kit.iti.formal.psdbg.parser.types.Type;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    import java.util.ArrayList;
    import java.util.Map;
    import java.util.Set;
    ......
    src/main/java/edu/kit/formal/psdb/parser/ASTTraversal.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ASTTraversal.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -23,8 +23,8 @@ package edu.kit.formal.psdb.parser;
    */
    import edu.kit.formal.psdb.parser.ast.*;
    import edu.kit.formal.psdb.parser.types.Type;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    import edu.kit.iti.formal.psdbg.parser.types.Type;
    import java.util.Map;
    ......
    src/main/java/edu/kit/formal/psdb/parser/DefaultASTVisitor.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/DefaultASTVisitor.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -21,9 +21,7 @@ package edu.kit.formal.psdb.parser;
    * <http://www.gnu.org/licenses/gpl-3.0.html>.
    * #L%
    */
    import edu.kit.formal.psdb.parser.ast.*;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    /**
    * @author Alexander Weigl
    ......
    src/main/java/edu/kit/formal/psdb/parser/Facade.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/Facade.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -23,8 +23,8 @@ package edu.kit.formal.psdb.parser;
    */
    import edu.kit.formal.psdb.parser.ast.ASTNode;
    import edu.kit.formal.psdb.parser.ast.ProofScript;
    import edu.kit.iti.formal.psdbg.parser.ast.ASTNode;
    import edu.kit.iti.formal.psdbg.parser.ast.ProofScript;
    import org.antlr.v4.runtime.CharStream;
    import org.antlr.v4.runtime.CharStreams;
    import org.antlr.v4.runtime.CommonTokenStream;
    ......@@ -33,6 +33,7 @@ import org.antlr.v4.runtime.ParserRuleContext;
    import java.io.File;
    import java.io.IOException;
    import java.util.List;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    /**
    * This class captures high-level functions of this package.
    ......
    src/main/java/edu/kit/formal/psdb/parser/NotWelldefinedException.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/NotWelldefinedException.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -24,7 +24,7 @@ package edu.kit.formal.psdb.parser;
    import edu.kit.formal.psdb.parser.ast.Expression;
    import edu.kit.iti.formal.psdbg.parser.ast.Expression;
    import lombok.AllArgsConstructor;
    import lombok.Data;
    ......
    src/main/java/edu/kit/formal/psdb/parser/PrettyPrinter.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/PrettyPrinter.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -23,13 +23,14 @@ package edu.kit.formal.psdb.parser;
    */
    import edu.kit.formal.psdb.parser.ast.*;
    import edu.kit.formal.psdb.parser.types.Type;
    import edu.kit.iti.formal.psdbg.parser.types.Type;
    import lombok.Getter;
    import lombok.Setter;
    import java.util.Iterator;
    import java.util.Map;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    /**
    * Pretty printer for ASTs.
    ......
    src/main/java/edu/kit/formal/psdb/parser/TransformAst.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -23,8 +23,7 @@ package edu.kit.formal.psdb.parser;
    */
    import edu.kit.formal.psdb.parser.ast.*;
    import edu.kit.formal.psdb.parser.types.TypeFacade;
    import edu.kit.iti.formal.psdbg.parser.types.TypeFacade;
    import org.antlr.v4.runtime.ParserRuleContext;
    import org.antlr.v4.runtime.tree.ErrorNode;
    import org.antlr.v4.runtime.tree.ParseTree;
    ......@@ -35,6 +34,7 @@ import java.util.ArrayList;
    import java.util.LinkedHashMap;
    import java.util.List;
    import java.util.Map;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    /**
    * @author Alexander Weigl
    ......
    src/main/java/edu/kit/formal/psdb/parser/Visitor.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/Visitor.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser;
    package edu.kit.iti.formal.psdbg.parser;
    /*-
    * #%L
    ......@@ -22,9 +22,7 @@ package edu.kit.formal.psdb.parser;
    * #L%
    */
    import edu.kit.formal.psdb.parser.ast.*;
    import edu.kit.iti.formal.psdbg.parser.ast.*;
    /**
    * @author Alexander Weigl
    ......
    src/main/java/edu/kit/formal/psdb/parser/ast/ASTNode.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/ASTNode.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser.ast;
    package edu.kit.iti.formal.psdbg.parser.ast;
    /*-
    * #%L
    ......@@ -23,8 +23,8 @@ package edu.kit.formal.psdb.parser.ast;
    */
    import edu.kit.formal.psdb.parser.Visitable;
    import edu.kit.formal.psdb.parser.Visitor;
    import edu.kit.iti.formal.psdbg.parser.Visitable;
    import edu.kit.iti.formal.psdbg.parser.Visitor;
    import lombok.Getter;
    import org.antlr.v4.runtime.ParserRuleContext;
    ......
    src/main/java/edu/kit/formal/psdb/parser/ast/AssignmentStatement.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/AssignmentStatement.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser.ast;
    package edu.kit.iti.formal.psdbg.parser.ast;
    /*-
    * #%L
    ......@@ -24,9 +24,9 @@ package edu.kit.formal.psdb.parser.ast;
    import edu.kit.formal.psdb.parser.ScriptLanguageParser;
    import edu.kit.formal.psdb.parser.Visitor;
    import edu.kit.formal.psdb.parser.types.Type;
    import edu.kit.iti.formal.psdbg.parser.ScriptLanguageParser;
    import edu.kit.iti.formal.psdbg.parser.Visitor;
    import edu.kit.iti.formal.psdbg.parser.types.Type;
    import lombok.*;
    /**
    ......
    src/main/java/edu/kit/formal/psdb/parser/ast/BinaryExpression.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/BinaryExpression.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser.ast;
    package edu.kit.iti.formal.psdbg.parser.ast;
    /*-
    * #%L
    ......@@ -23,9 +23,9 @@ package edu.kit.formal.psdb.parser.ast;
    */
    import edu.kit.formal.psdb.parser.NotWelldefinedException;
    import edu.kit.formal.psdb.parser.Visitor;
    import edu.kit.formal.psdb.parser.types.Type;
    import edu.kit.iti.formal.psdbg.parser.NotWelldefinedException;
    import edu.kit.iti.formal.psdbg.parser.Visitor;
    import edu.kit.iti.formal.psdbg.parser.types.Type;
    import lombok.Data;
    import org.antlr.v4.runtime.ParserRuleContext;
    ......
    src/main/java/edu/kit/formal/psdb/parser/ast/BooleanLiteral.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/BooleanLiteral.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser.ast;
    package edu.kit.iti.formal.psdbg.parser.ast;
    /*-
    * #%L
    ......@@ -24,9 +24,9 @@ package edu.kit.formal.psdb.parser.ast;
    import edu.kit.formal.psdb.parser.NotWelldefinedException;
    import edu.kit.formal.psdb.parser.Visitor;
    import edu.kit.formal.psdb.parser.types.SimpleType;
    import edu.kit.iti.formal.psdbg.parser.NotWelldefinedException;
    import edu.kit.iti.formal.psdbg.parser.Visitor;
    import edu.kit.iti.formal.psdbg.parser.types.SimpleType;
    import lombok.Data;
    import lombok.EqualsAndHashCode;
    import lombok.Getter;
    ......
    src/main/java/edu/kit/formal/psdb/parser/ast/CallStatement.java → lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/CallStatement.java
    View file @ 145e4979
    package edu.kit.formal.psdb.parser.ast;
    package edu.kit.iti.formal.psdbg.parser.ast;
    /*-
    * #%L
    ......@@ -24,8 +24,8 @@ package edu.kit.formal.psdb.parser.ast;
    import edu.kit.formal.psdb.parser.ScriptLanguageParser;
    import edu.kit.formal.psdb.parser.Visitor;
    import edu.kit.iti.formal.psdbg.parser.ScriptLanguageParser;
    import edu.kit.iti.formal.psdbg.parser.Visitor;
    import lombok.*;
    /**
    ......