Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
b2d6b0e4
Commit
b2d6b0e4
authored
Jan 23, 2018
by
Alexander Weigl
Browse files
dist as libs
parent
9260f35a
Pipeline
#17229
passed with stages
in 10 minutes and 24 seconds
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/ASTNode.java
View file @
b2d6b0e4
...
...
@@ -31,12 +31,12 @@ import lombok.Setter;
import
org.antlr.v4.runtime.ParserRuleContext
;
import
javax.annotation.Nullable
;
import
java.util.Objects
;
/**
* @author Alexander Weigl
* @version 1 (27.04.17)
*/
@EqualsAndHashCode
public
abstract
class
ASTNode
<
T
extends
ParserRuleContext
>
implements
Visitable
,
Copyable
<
ASTNode
<
T
>>
{
/**
...
...
@@ -139,4 +139,17 @@ public abstract class ASTNode<T extends ParserRuleContext>
}
while
(
n
!=
null
);
return
depth
;
}
@Override
public
boolean
equals
(
Object
o
)
{
if
(
this
==
o
)
return
true
;
if
(
o
==
null
||
getClass
()
!=
o
.
getClass
())
return
false
;
ASTNode
<?>
astNode
=
(
ASTNode
<?>)
o
;
return
Objects
.
equals
(
getRuleContext
(),
astNode
.
getRuleContext
());
}
@Override
public
int
hashCode
()
{
return
Objects
.
hash
(
getRuleContext
());
}
}
lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/ProofScript.java
View file @
b2d6b0e4
...
...
@@ -25,16 +25,16 @@ package edu.kit.iti.formal.psdbg.parser.ast;
import
edu.kit.iti.formal.psdbg.parser.ScriptLanguageParser
;
import
edu.kit.iti.formal.psdbg.parser.Visitor
;
import
lombok.Data
;
import
lombok.Getter
;
import
lombok.NonNull
;
import
lombok.Setter
;
import
lombok.*
;
import
java.util.Objects
;
/**
* @author Alexander Weigl
* @version 1 (27.04.17)
*/
@Data
@EqualsAndHashCode
(
callSuper
=
false
)
public
class
ProofScript
extends
ASTNode
<
ScriptLanguageParser
.
ScriptContext
>
{
@NonNull
@Getter
...
...
@@ -73,4 +73,19 @@ public class ProofScript extends ASTNode<ScriptLanguageParser.ScriptContext> {
return
getBody
()
!=
null
?
getBody
().
eq
(
that
.
getBody
())
:
that
.
getBody
()
==
null
;
}
@Override
public
boolean
equals
(
Object
o
)
{
if
(
this
==
o
)
return
true
;
if
(
o
==
null
||
getClass
()
!=
o
.
getClass
())
return
false
;
if
(!
super
.
equals
(
o
))
return
false
;
ProofScript
that
=
(
ProofScript
)
o
;
return
Objects
.
equals
(
getName
(),
that
.
getName
())
&&
Objects
.
equals
(
getSignature
(),
that
.
getSignature
())
&&
Objects
.
equals
(
getBody
(),
that
.
getBody
());
}
@Override
public
int
hashCode
()
{
return
Objects
.
hash
(
super
.
hashCode
(),
getName
(),
getSignature
(),
getBody
());
}
}
ui/pom.xml
View file @
b2d6b0e4
...
...
@@ -72,6 +72,52 @@
<build>
<plugins>
<plugin>
<groupId>
org.codehaus.mojo
</groupId>
<artifactId>
appassembler-maven-plugin
</artifactId>
<version>
1.10
</version>
<configuration>
<repositoryLayout>
flat
</repositoryLayout>
<repositoryName>
libs
</repositoryName>
<binFolder>
./
</binFolder>
<!-- Set the target configuration directory to be used in the bin scripts -->
<configurationDirectory>
conf
</configurationDirectory>
<!-- Copy the contents from "/src/main/config" to the target
configuration directory in the assembled application -->
<copyConfigurationDirectory>
true
</copyConfigurationDirectory>
<!-- Include the target configuration directory in the beginning of
the classpath declaration in the bin scripts -->
<includeConfigurationDirectoryInClasspath>
true
</includeConfigurationDirectoryInClasspath>
<!-- set alternative assemble directory -->
<assembleDirectory>
${project.build.directory}/dist
</assembleDirectory>
<!-- Extra JVM arguments that will be included in the bin scripts -->
<extraJvmArguments>
-Xms128m
</extraJvmArguments>
<!-- Generate bin scripts for windows and unix pr default -->
<platforms>
<platform>
windows
</platform>
<platform>
unix
</platform>
</platforms>
<programs>
<program>
<mainClass>
edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger
</mainClass>
<id>
psdbg
</id>
<!-- Only generate unix shell script for this application -->
<platforms>
<platform>
unix
</platform>
<platform>
windows
</platform>
</platforms>
</program>
</programs>
</configuration>
<executions>
<execution>
<phase>
package
</phase>
</execution>
</executions>
</plugin>
<plugin>
<groupId>
org.lesscss
</groupId>
<artifactId>
lesscss-maven-plugin
</artifactId>
...
...
@@ -92,12 +138,12 @@
</plugin>
<!--
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-shade-plugin</artifactId>
<version>2.4.3</version>
<configuration>
<!-- put your configurations here -->
</configuration>
<executions>
<execution>
...
...
@@ -120,6 +166,7 @@
</execution>
</executions>
</plugin>
-->
<plugin>
<groupId>
org.antlr
</groupId>
<artifactId>
antlr4-maven-plugin
</artifactId>
...
...
@@ -149,10 +196,10 @@
<name>
bintray
</name>
<url>
http://dl.bintray.com/jerady/maven
</url>
</repository>
<repository>
<id>
sonatype
</id>
<url>
https://oss.sonatype.org/content/repositories/snapshots/
</url>
</repository>
<repository>
<id>
sonatype
</id>
<url>
https://oss.sonatype.org/content/repositories/snapshots/
</url>
</repository>
</repositories>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment