Issue #12099: Add ArchUnit test to detect cycles in packages

.ci/jsoref-spellchecker/exclude.pl

@@ -17,6 +17,7 @@
   /openjdk17-excluded\.files$
   ^cdg-pitest-licence.txt$
   ^.teamcity/
+  ^config/archunit-store/
 );
 my $exclude = join "|", @excludes;
 while (<>) {

config/archunit-store/stored.rules

@@ -0,0 +1,3 @@
+#
+#Sat Sep 10 22:27:26 IST 2022
+slices\ matching\ 'com.puppycrawl.tools.checkstyle.(**)'\ should\ be\ free\ of\ cycles=7999d2d1-606c-4e14-a852-2cb0fa661f48

config/checkstyle_non_main_files_suppressions.xml

@@ -95,6 +95,9 @@
   <!-- this file cannot be line wrapped, it contains cdg pitest licence -->
   <suppress id="lineLength" files="cdg-pitest-licence.txt"/>
 
+  <!-- files in this directory cannot be line wrapped as they are generated by ArchUnit -->
+  <suppress id="lineLength" files="config[\\/]archunit-store.*"/>
+
   <!-- apply check numberOfTestCasesInXpath only for files in suppressionxpathfilter directory -->
   <suppress id="numberOfTestCasesInXpath"
          files="src[\\/]it[\\/]java[\\/]com[\\/].*" />

config/pmd-test.xml

@@ -119,7 +119,8 @@
              from the test method.
            In XdocsPagesTest PMD does not find asserts in lambdas.
            All test classes which starts with XpathRegression have asserts inside parent's method.
-           In ArchUnitTest assertion calls are not required as they are called by the library -->
+           In ArchUnitTest, ArchUnitCyclesCheckTest assertion calls are not required as they are
+             called by the library -->
       <property name="violationSuppressXPath"
                value="//ClassOrInterfaceDeclaration[@SimpleName='AllChecksTest'
                      or @SimpleName='AstRegressionTest'
@@ -133,6 +134,8 @@
                    | //ClassOrInterfaceDeclaration[starts-with(@SimpleName,'XpathRegression')]
                        //MethodDeclaration
                    | //ClassOrInterfaceDeclaration[@SimpleName='ArchUnitTest']
+                       //MethodDeclaration
+                   | //ClassOrInterfaceDeclaration[@SimpleName='ArchUnitCyclesCheckTest']
                        //MethodDeclaration"/>
     </properties>
   </rule>

pom.xml

@@ -1623,6 +1623,7 @@
                 <exclude>markdownlint.rb</exclude>
                 <exclude>signatures.txt</exclude>
                 <exclude>signatures-test.txt</exclude>
+                <exclude>archunit-store/**</exclude>
               </excludes>
             </validationSet>
             <validationSet>

src/test/java/com/puppycrawl/tools/checkstyle/internal/ArchUnitCyclesCheckTest.java

@@ -0,0 +1,47 @@
+///////////////////////////////////////////////////////////////////////////////////////////////
+// checkstyle: Checks Java source code and other text files for adherence to a set of rules.
+// Copyright (C) 2001-2022 the original author or authors.
+//
+// This library is free software; you can redistribute it and/or
+// modify it under the terms of the GNU Lesser General Public
+// License as published by the Free Software Foundation; either
+// version 2.1 of the License, or (at your option) any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+// Lesser General Public License for more details.
+//
+// You should have received a copy of the GNU Lesser General Public
+// License along with this library; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+///////////////////////////////////////////////////////////////////////////////////////////////
+
+package com.puppycrawl.tools.checkstyle.internal;
+
+import static com.tngtech.archunit.library.dependencies.SlicesRuleDefinition.slices;
+
+import org.junit.jupiter.api.Test;
+
+import com.tngtech.archunit.core.domain.JavaClasses;
+import com.tngtech.archunit.core.importer.ClassFileImporter;
+import com.tngtech.archunit.core.importer.ImportOption;
+import com.tngtech.archunit.lang.ArchRule;
+import com.tngtech.archunit.library.freeze.FreezingArchRule;
+
+public class ArchUnitCyclesCheckTest {
+
+    @Test
+    public void testSlicesShouldBeFreeOfCycle() {
+        final JavaClasses importedClasses = new ClassFileImporter()
+            .withImportOption(ImportOption.Predefined.DO_NOT_INCLUDE_TESTS)
+            .importPackages("com.puppycrawl.tools.checkstyle");
+
+        final ArchRule slicesShouldBeFreeOfCycle = FreezingArchRule.freeze(
+            slices()
+            .matching("com.puppycrawl.tools.checkstyle.(**)")
+            .should().beFreeOfCycles());
+
+        slicesShouldBeFreeOfCycle.check(importedClasses);
+    }
+}

src/test/resources/archunit.properties

@@ -0,0 +1,13 @@
+# This will limit the maximum number of dependencies to report per cycle edge.
+# Note that ArchUnit will regardless always analyze all dependencies to detect cycles,
+# so this purely affects how many dependencies will be printed in the report.
+# Also note that this number will quickly affect the required heap since it scales with number.
+# of edges and number of cycles
+# default is 20
+cycles.maxNumberOfDependenciesPerEdge=550
+
+# This will limit the maximum number of cycles to detect and thus required CPU and heap.
+# default is 100
+cycles.maxNumberToDetect=200
+
+freeze.store.default.path=config/archunit-store