forked from runtimeverification/k
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathcheckstyle-java.xml
More file actions
38 lines (38 loc) · 1.59 KB
/
checkstyle-java.xml
File metadata and controls
38 lines (38 loc) · 1.59 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
<?xml version="1.0" encoding="UTF-8"?>
<!-- Copyright (c) 2014-2018 K Team. All Rights Reserved. -->
<!DOCTYPE module PUBLIC
"-//Puppy Crawl//DTD Check Configuration 1.3//EN"
"http://www.puppycrawl.com/dtds/configuration_1_3.dtd">
<module name="Checker">
<module name="TreeWalker">
<!--<module name="EqualsAvoidNull" />
<module name="EqualsHashCode" />
<module name="SimplifyBooleanReturn" />
<module name="StringLiteralEquality" />
<module name="PackageDeclaration" />
<module name="AvoidStarImport" />
<module name="RedundantImport" />
<module name="UnusedImports" />
<module name="UpperEll" />
<module name="ArrayTypeStyle" />
<module name="OuterTypeFilename" />
<module name="OuterTypeNumber" />-->
<module name="IllegalCatch">
<property name="illegalClassNames" value="java.lang.Exception, java.lang.Throwable, java.lang.Error, java.lang.RuntimeException" />
</module>
<module name="IllegalThrows">
<property name="illegalClassNames" value="java.lang.Exception, java.lang.Throwable" />
</module>
<module name="SuppressionCommentFilter">
<property name="offCommentFormat" value="DISABLE EXCEPTION CHECKSTYLE" />
<property name="onCommentFormat" value="ENABLE EXCEPTION CHECKSTYLE" />
<property name="checkFormat" value="IllegalCatch|IllegalThrows" />
</module>
</module>
<module name="FileTabCharacter" />
<module name="RegexpMultiline">
<property name="format" value="(?s:((\r)|([ \t\x0B\f]$)).*)" />
<property name="message" value="File has non-Unix line endings or trailing whitespace" />
</module>
<!--<module name="NewlineAtEndOfFile" />-->
</module>