2020-08-22 19:07:26 +02:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<!DOCTYPE module PUBLIC
|
|
|
|
"-//Checkstyle//DTD Checkstyle Configuration 1.3//EN"
|
|
|
|
"https://checkstyle.org/dtds/configuration_1_3.dtd">
|
|
|
|
|
|
|
|
<module name="Checker">
|
|
|
|
<property name="fileExtensions" value="java, xml"/>
|
|
|
|
<property name="charset" value="UTF-8"/>
|
|
|
|
|
2020-08-23 10:36:15 +02:00
|
|
|
<module name="SuppressionFilter">
|
|
|
|
<property name="file" value="checkstyle/suppressions.xml"/>
|
|
|
|
</module>
|
|
|
|
|
2020-08-23 14:42:02 +02:00
|
|
|
<!-- Check that Java source files have the correct header -->
|
2020-08-22 19:07:26 +02:00
|
|
|
<module name="Header">
|
|
|
|
<property name="fileExtensions" value="java"/>
|
2020-08-23 10:36:15 +02:00
|
|
|
<property name="headerFile" value="checkstyle/header.txt"/>
|
2020-08-22 19:07:26 +02:00
|
|
|
</module>
|
|
|
|
</module>
|