Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Commits
fe1e3f41
Commit
fe1e3f41
authored
May 01, 2017
by
Alexander Weigl
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
added reports
parent
89dee988
Changes
5
Hide whitespace changes
Inline
Side-by-side
Showing
5 changed files
with
239 additions
and
5 deletions
+239
-5
.checkstyle_rules.xml
.checkstyle_rules.xml
+178
-0
pom.xml
pom.xml
+54
-1
src/main/java/edu/kit/formal/proofscriptparser/NotWelldefinedException.java
...kit/formal/proofscriptparser/NotWelldefinedException.java
+2
-2
src/main/java/edu/kit/formal/proofscriptparser/ast/ASTNode.java
...in/java/edu/kit/formal/proofscriptparser/ast/ASTNode.java
+0
-2
src/main/java/edu/kit/formal/proofscriptparser/package-info.java
...n/java/edu/kit/formal/proofscriptparser/package-info.java
+5
-0
No files found.
.checkstyle_rules.xml
0 → 100644
View file @
fe1e3f41
<?xml version="1.0"?>
<!DOCTYPE module PUBLIC
"-//Puppy Crawl//DTD Check Configuration 1.3//EN"
"http://checkstyle.sourceforge.net/dtds/configuration_1_3.dtd">
<!--
Checkstyle configuration that checks the sun coding conventions from:
- the Java Language Specification at
http://java.sun.com/docs/books/jls/second_edition/html/index.html
- the Sun Code Conventions at http://java.sun.com/docs/codeconv/
- the Javadoc guidelines at
http://java.sun.com/j2se/javadoc/writingdoccomments/index.html
- the JDK Api documentation http://java.sun.com/j2se/docs/api/index.html
- some best practices
Checkstyle is very configurable. Be sure to read the documentation at
http://checkstyle.sf.net (or in your downloaded distribution).
Most Checks are configurable, be sure to consult the documentation.
To completely disable a check, just comment it out or delete it from the file.
Finally, it is worth reading the documentation.
-->
<module
name=
"Checker"
>
<!--
If you set the basedir property below, then all reported file
names will be relative to the specified directory. See
http://checkstyle.sourceforge.net/5.x/config.html#Checker
<property name="basedir" value="${basedir}"/>
-->
<property
name=
"fileExtensions"
value=
"java, properties, xml"
/>
<!-- Checks that a package-info.java file exists for each package. -->
<!-- See http://checkstyle.sf.net/config_javadoc.html#JavadocPackage -->
<module
name=
"JavadocPackage"
/>
<!-- Checks whether files end with a new line. -->
<!-- See http://checkstyle.sf.net/config_misc.html#NewlineAtEndOfFile -->
<module
name=
"NewlineAtEndOfFile"
/>
<!-- Checks that property files contain the same keys. -->
<!-- See http://checkstyle.sf.net/config_misc.html#Translation -->
<module
name=
"Translation"
/>
<!-- Checks for Size Violations. -->
<!-- See http://checkstyle.sf.net/config_sizes.html -->
<module
name=
"FileLength"
/>
<!-- Checks for whitespace -->
<!-- See http://checkstyle.sf.net/config_whitespace.html -->
<module
name=
"FileTabCharacter"
/>
<!-- Miscellaneous other checks. -->
<!-- See http://checkstyle.sf.net/config_misc.html -->
<module
name=
"RegexpSingleline"
>
<property
name=
"format"
value=
"\s+$"
/>
<property
name=
"minimum"
value=
"0"
/>
<property
name=
"maximum"
value=
"0"
/>
<property
name=
"message"
value=
"Line has trailing spaces."
/>
</module>
<!-- Checks for Headers -->
<!-- See http://checkstyle.sf.net/config_header.html -->
<!-- <module name="Header"> -->
<!-- <property name="headerFile" value="${checkstyle.header.file}"/> -->
<!-- <property name="fileExtensions" value="java"/> -->
<!-- </module> -->
<module
name=
"TreeWalker"
>
<!-- Checks for Javadoc comments. -->
<!-- See http://checkstyle.sf.net/config_javadoc.html -->
<module
name=
"JavadocMethod"
/>
<module
name=
"JavadocType"
/>
<module
name=
"JavadocVariable"
/>
<module
name=
"JavadocStyle"
/>
<!-- Checks for Naming Conventions. -->
<!-- See http://checkstyle.sf.net/config_naming.html -->
<module
name=
"ConstantName"
/>
<module
name=
"LocalFinalVariableName"
/>
<module
name=
"LocalVariableName"
/>
<module
name=
"MemberName"
/>
<module
name=
"MethodName"
/>
<module
name=
"PackageName"
/>
<module
name=
"ParameterName"
/>
<module
name=
"StaticVariableName"
/>
<module
name=
"TypeName"
/>
<!-- Checks for imports -->
<!-- See http://checkstyle.sf.net/config_import.html -->
<module
name=
"AvoidStarImport"
>
<property
name=
"allowClassImports"
value=
"true"
/>
<property
name=
"allowStaticMemberImports"
value=
"true"
/>
</module>
<module
name=
"IllegalImport"
/>
<!-- defaults to sun.* packages -->
<module
name=
"RedundantImport"
/>
<module
name=
"UnusedImports"
>
<property
name=
"processJavadoc"
value=
"false"
/>
</module>
<!-- Checks for Size Violations. -->
<!-- See http://checkstyle.sf.net/config_sizes.html -->
<module
name=
"LineLength"
>
<property
name=
"max"
value=
"120"
/>
</module>
<module
name=
"MethodLength"
/>
<module
name=
"ParameterNumber"
/>
<!-- Checks for whitespace -->
<!-- See http://checkstyle.sf.net/config_whitespace.html -->
<module
name=
"EmptyForIteratorPad"
/>
<module
name=
"GenericWhitespace"
/>
<module
name=
"MethodParamPad"
/>
<module
name=
"NoWhitespaceAfter"
/>
<module
name=
"NoWhitespaceBefore"
/>
<module
name=
"OperatorWrap"
/>
<module
name=
"ParenPad"
/>
<module
name=
"TypecastParenPad"
/>
<module
name=
"WhitespaceAfter"
/>
<module
name=
"WhitespaceAround"
/>
<!-- Modifier Checks -->
<!-- See http://checkstyle.sf.net/config_modifiers.html -->
<module
name=
"ModifierOrder"
/>
<module
name=
"RedundantModifier"
/>
<!-- Checks for blocks. You know, those {}'s -->
<!-- See http://checkstyle.sf.net/config_blocks.html -->
<module
name=
"AvoidNestedBlocks"
/>
<module
name=
"EmptyBlock"
/>
<module
name=
"LeftCurly"
/>
<!-- <module name="NeedBraces"/> -->
<module
name=
"RightCurly"
/>
<!-- Checks for common coding problems -->
<!-- See http://checkstyle.sf.net/config_coding.html -->
<module
name=
"AvoidInlineConditionals"
/>
<module
name=
"EmptyStatement"
/>
<module
name=
"EqualsHashCode"
/>
<module
name=
"HiddenField"
/>
<module
name=
"IllegalInstantiation"
/>
<module
name=
"InnerAssignment"
/>
<module
name=
"MagicNumber"
/>
<module
name=
"MissingSwitchDefault"
/>
<module
name=
"SimplifyBooleanExpression"
/>
<module
name=
"SimplifyBooleanReturn"
/>
<!-- Checks for class design -->
<!-- See http://checkstyle.sf.net/config_design.html -->
<module
name=
"DesignForExtension"
/>
<module
name=
"FinalClass"
/>
<module
name=
"HideUtilityClassConstructor"
/>
<module
name=
"InterfaceIsType"
/>
<module
name=
"VisibilityModifier"
/>
<!-- Miscellaneous other checks. -->
<!-- See http://checkstyle.sf.net/config_misc.html -->
<module
name=
"ArrayTypeStyle"
/>
<module
name=
"FinalParameters"
/>
<module
name=
"TodoComment"
/>
<module
name=
"UpperEll"
/>
</module>
</module>
pom.xml
View file @
fe1e3f41
...
...
@@ -34,7 +34,6 @@
<inceptionYear>
2017
</inceptionYear>
<licenses>
<license>
<name>
gpl_v3
</name>
...
...
@@ -48,6 +47,26 @@
</properties>
<build>
<pluginManagement>
<plugins>
<plugin>
<groupId>
org.apache.maven.plugins
</groupId>
<artifactId>
maven-checkstyle-plugin
</artifactId>
<version>
2.17
</version>
<dependencies>
<dependency>
<groupId>
com.puppycrawl.tools
</groupId>
<artifactId>
checkstyle
</artifactId>
<version>
7.6.1
</version>
</dependency>
</dependencies>
<configuration>
<configLocation>
.checkstyle_rules.xml
</configLocation>
</configuration>
</plugin>
</plugins>
</pluginManagement>
<plugins>
<plugin>
<groupId>
org.codehaus.mojo
</groupId>
...
...
@@ -96,4 +115,38 @@
<scope>
provided
</scope>
</dependency>
</dependencies>
<reporting>
<plugins>
<plugin>
<groupId>
org.apache.maven.plugins
</groupId>
<artifactId>
maven-jxr-plugin
</artifactId>
<version>
2.5
</version>
</plugin>
<plugin>
<groupId>
org.apache.maven.plugins
</groupId>
<artifactId>
maven-checkstyle-plugin
</artifactId>
<version>
2.17
</version>
<reportSets>
<reportSet>
<reports>
<report>
checkstyle
</report>
</reports>
</reportSet>
</reportSets>
</plugin>
<plugin>
<groupId>
org.codehaus.mojo
</groupId>
<artifactId>
findbugs-maven-plugin
</artifactId>
<version>
3.0.4
</version>
</plugin>
<plugin>
<groupId>
org.codehaus.mojo
</groupId>
<artifactId>
jdepend-maven-plugin
</artifactId>
<version>
2.0
</version>
</plugin>
</plugins>
</reporting>
</project>
src/main/java/edu/kit/formal/proofscriptparser/NotWelldefinedException.java
View file @
fe1e3f41
...
...
@@ -13,8 +13,8 @@ import lombok.Data;
public
class
NotWelldefinedException
extends
Exception
{
private
final
Expression
expr
;
public
NotWelldefinedException
(
String
message
,
Expression
e
xpr
)
{
public
NotWelldefinedException
(
String
message
,
Expression
e
)
{
super
(
message
);
this
.
expr
=
e
xpr
;
this
.
expr
=
e
;
}
}
src/main/java/edu/kit/formal/proofscriptparser/ast/ASTNode.java
View file @
fe1e3f41
package
edu.kit.formal.proofscriptparser.ast
;
import
com.sun.xml.internal.ws.wsdl.writer.document.OpenAtts
;
import
edu.kit.formal.proofscriptparser.Visitable
;
import
edu.kit.formal.proofscriptparser.Visitor
;
import
lombok.Data
;
import
org.antlr.v4.runtime.ParserRuleContext
;
import
java.util.Optional
;
...
...
src/main/java/edu/kit/formal/proofscriptparser/package-info.java
0 → 100644
View file @
fe1e3f41
/**
* @author Alexander Weigl
* @version 1 (01.05.17)
*/
package
edu.kit.formal.proofscriptparser
;
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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