From e521fea5f75f8f73f6b396f5e53d0821f057704d Mon Sep 17 00:00:00 2001
From: chrahe <christian.rahe@uni-hamburg.de>
Date: Tue, 16 Nov 2021 03:30:30 +0100
Subject: [PATCH] disallow single line Javadoc & stricter multiline regex

---
 coderunner/checkstyle/config.xml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/coderunner/checkstyle/config.xml b/coderunner/checkstyle/config.xml
index 623bc3b..f0ceb1e 100644
--- a/coderunner/checkstyle/config.xml
+++ b/coderunner/checkstyle/config.xml
@@ -18,13 +18,13 @@
     </module>
 
     <module name="RegexpMultiline">
-        <property name="format" value="\*/(\n\s*){2,}"/>
+        <property name="format" value="\*\/(\n\s*){2,}"/>
         <property name="maximum" value="0" />
         <message key="regexp.exceeded"
                  value="Zwischen Javadoc und nächster Codezeile sollten keine Leerzeilen stehen." />
     </module>
     <module name="RegexpMultiline">
-        <property name="format" value="(\n\s*){3,}"/>
+        <property name="format" value="(\n\s*){4,}"/>
         <property name="maximum" value="0" />
         <message key="regexp.exceeded"
                  value="Es sollten nicht mehr als zwei aufeinanderfolgende Leerzeilen im Code stehen." />
@@ -291,8 +291,6 @@
             <message key="name.invalidPattern"
                      value="Der Name der Methode ''{0}'' folgt nicht den Quelltextkonventionen"/>
         </module>
-        <module name="SingleLineJavadoc" />
-        <module name="RequireEmptyLineBeforeBlockTagGroup" />
         <module name="EmptyCatchBlock">
             <property name="exceptionVariableName" value="expected"/>
         </module>
-- 
GitLab