java - 如何创建 ArchUnit 规则来验证引发的所有异常是否继承自特定的自定义异常？

Question

我的架构规则之一是应用程序代码抛出的所有异常都必须是 CustomException 或 CustomException 的子类。

我在 ArchUnit 中编写此规则时遇到困难。我目前拥有的内容如下:

private static final ArchCondition<JavaClass> THROWS_NON_CUSTOM_EXCEPTION = callCodeUnitWhere( 
   target(is(constructor()))
      .and(
         originOwner(
            is(assignableTo(Throwable.class)) 
            .and(not(assignableTo(CustomException.class)))
         )
      )
   );

@ArchTest public static final ArchRule noNonCustomExceptions = noClasses()
   .should(THROWS_NON_CUSTOM_EXCEPTION);

运行此规则会返回 true(JUnit 测试通过)，即使我的代码抛出的异常不是 CustomException。

我已经测试了规则的一部分，该部分检测构造函数具有可分配给 Throwable 的所有者:

private static final ArchCondition<JavaClass> THROWS_NON_CUSTOM_EXCEPTION =    
   callCodeUnitWhere( 
      target(is(constructor()))
         .and(
            originOwner( 
               is(assignableTo(Throwable.class))
            )
         )
   );

这会正确返回代码中创建任何 Throwable 的每个位置。

问题似乎出在我的代码中，该代码尝试查找不可分配给 CustomException 的所有者:

   private static final ArchCondition<JavaClass> THROWS_NON_CUSTOM_EXCEPTION = callCodeUnitWhere( 
      target(is(constructor()))
         .and(
            originOwner( 
               is(not(assignableTo(CustomException.class)))
            )
         )
   );

这将返回每个构造函数，甚至是那些可分配给 CustomException 的异常构造函数。

在 ArchUnit 中编写一条规则以返回调用其所有者可分配给 Throwable 而不能分配给 CustomException 的构造函数的每个代码单元的正确方法是什么？

Answer 1

我认为你只需要将已有的部分组合起来即可。以下代码对我有用:

noClasses().should().callCodeUnitWhere(
    JavaCall.Predicates.target(
        AccessTarget.Predicates.constructor()
        .and(AccessTarget.Predicates.declaredIn(JavaClass.Predicates.assignableTo(Throwable.class)))
        .and(DescribedPredicate.not(AccessTarget.Predicates.declaredIn(JavaClass.Predicates.assignableTo(BaseException.class))))
    )
);

如果您的 BaseException 位于分析范围内，您将需要排除该类:noClasses().that(not(belongToAnyOf(BaseException.class)))。