support method and constructor parameter annotations

archunit-example/example-plain/src/main/java/com/tngtech/archunit/example/layers/controller/OtherController.java

@@ -0,0 +1,9 @@
+package com.tngtech.archunit.example.layers.controller;
+
+import com.tngtech.archunit.example.layers.controller.marshaller.StringUnmarshaller;
+
+@SuppressWarnings("unused")
+public class OtherController {
+    void receive(@UnmarshalTransport(StringUnmarshaller.class) Object param) {
+    }
+}

archunit-example/example-plain/src/main/java/com/tngtech/archunit/example/layers/controller/UnmarshalTransport.java

@@ -0,0 +1,12 @@
+package com.tngtech.archunit.example.layers.controller;
+
+import java.lang.annotation.Retention;
+
+import com.tngtech.archunit.example.layers.controller.marshaller.Unmarshaller;
+
+import static java.lang.annotation.RetentionPolicy.RUNTIME;
+
+@Retention(RUNTIME)
+public @interface UnmarshalTransport {
+    Class<? extends Unmarshaller<?>>[] value();
+}

archunit-example/example-plain/src/main/java/com/tngtech/archunit/example/layers/controller/marshaller/ByteUnmarshaller.java

@@ -0,0 +1,8 @@
+package com.tngtech.archunit.example.layers.controller.marshaller;
+
+public class ByteUnmarshaller implements Unmarshaller<Byte> {
+    @Override
+    public <T> T unmarschal(Byte from) {
+        return null;
+    }
+}

archunit-example/example-plain/src/main/java/com/tngtech/archunit/example/layers/controller/marshaller/StringUnmarshaller.java

@@ -0,0 +1,8 @@
+package com.tngtech.archunit.example.layers.controller.marshaller;
+
+public class StringUnmarshaller implements Unmarshaller<String> {
+    @Override
+    public <T> T unmarschal(String from) {
+        return null;
+    }
+}

archunit-example/example-plain/src/main/java/com/tngtech/archunit/example/layers/controller/marshaller/Unmarshaller.java

@@ -0,0 +1,6 @@
+package com.tngtech.archunit.example.layers.controller.marshaller;
+
+public interface Unmarshaller<F> {
+    @SuppressWarnings("unused")
+    <T> T unmarschal(F from);
+}

archunit-example/example-plain/src/main/java/com/tngtech/archunit/example/layers/service/OtherServiceViolatingLayerRules.java

@@ -0,0 +1,11 @@
+package com.tngtech.archunit.example.layers.service;
+
+import com.tngtech.archunit.example.layers.controller.UnmarshalTransport;
+import com.tngtech.archunit.example.layers.controller.marshaller.ByteUnmarshaller;
+import com.tngtech.archunit.example.layers.controller.marshaller.StringUnmarshaller;
+
+public class OtherServiceViolatingLayerRules {
+    @SuppressWarnings("unused")
+    public void dependentOnParameterAnnotation(@UnmarshalTransport({StringUnmarshaller.class, ByteUnmarshaller.class}) Object param) {
+    }
+}

archunit-integration-test/src/test/java/com/tngtech/archunit/PublicAPIRules.java

@@ -73,7 +73,7 @@ public class PublicAPIRules {
                     .and(doNot(inheritPublicAPI()))
                     .and(are(relevantArchUnitMembers()))
 
-                    .should(notBePublic())
+                    .should().notBePublic()
 
                     .because("users of ArchUnit should only access intended members, to preserve maintainability");
 

archunit-integration-test/src/test/java/com/tngtech/archunit/integration/ExamplesIntegrationTest.java

@@ -80,7 +80,11 @@
 import com.tngtech.archunit.example.layers.controller.SomeController;
 import com.tngtech.archunit.example.layers.controller.SomeGuiController;
 import com.tngtech.archunit.example.layers.controller.SomeUtility;
+import com.tngtech.archunit.example.layers.controller.UnmarshalTransport;
 import com.tngtech.archunit.example.layers.controller.WronglyAnnotated;
+import com.tngtech.archunit.example.layers.controller.marshaller.ByteUnmarshaller;
+import com.tngtech.archunit.example.layers.controller.marshaller.StringUnmarshaller;
+import com.tngtech.archunit.example.layers.controller.marshaller.Unmarshaller;
 import com.tngtech.archunit.example.layers.controller.one.SomeEnum;
 import com.tngtech.archunit.example.layers.controller.one.UseCaseOneThreeController;
 import com.tngtech.archunit.example.layers.controller.one.UseCaseOneTwoController;
@@ -100,6 +104,7 @@
 import com.tngtech.archunit.example.layers.security.Secured;
 import com.tngtech.archunit.example.layers.service.Async;
 import com.tngtech.archunit.example.layers.service.ComplexServiceAnnotation;
+import com.tngtech.archunit.example.layers.service.OtherServiceViolatingLayerRules;
 import com.tngtech.archunit.example.layers.service.ProxiedConnection;
 import com.tngtech.archunit.example.layers.service.ServiceHelper;
 import com.tngtech.archunit.example.layers.service.ServiceInterface;
@@ -174,6 +179,7 @@
 import static com.tngtech.archunit.testutils.ExpectedAccess.callFromMethod;
 import static com.tngtech.archunit.testutils.ExpectedAccess.callFromStaticInitializer;
 import static com.tngtech.archunit.testutils.ExpectedDependency.annotatedClass;
+import static com.tngtech.archunit.testutils.ExpectedDependency.annotatedParameter;
 import static com.tngtech.archunit.testutils.ExpectedDependency.constructor;
 import static com.tngtech.archunit.testutils.ExpectedDependency.field;
 import static com.tngtech.archunit.testutils.ExpectedDependency.genericFieldType;
@@ -233,7 +239,7 @@ Stream<DynamicTest> CodingRulesTest() {
                         .inLine(9));
 
         expectFailures.ofRule("fields that have raw type java.util.logging.Logger should be private " +
-                "and should be static and should be final, because we agreed on this convention")
+                        "and should be static and should be final, because we agreed on this convention")
                 .by(ExpectedField.of(ClassViolatingCodingRules.class, "log").doesNotHaveModifier(JavaModifier.PRIVATE))
                 .by(ExpectedField.of(ClassViolatingCodingRules.class, "log").doesNotHaveModifier(JavaModifier.FINAL));
 
@@ -245,8 +251,8 @@ Stream<DynamicTest> CodingRulesTest() {
                 .by(method(ClassViolatingCodingRules.class, "jodaTimeIsBad")
                         .withReturnType(org.joda.time.DateTime.class));
 
-        expectFailures.ofRule("no classes should use field injection, because field injection is considered harmful; "
-                + "use constructor injection or setter injection instead; see https://stackoverflow.com/q/39890849 for detailed explanations")
+        expectFailures.ofRule("no classes should use field injection, because field injection is considered harmful; " +
+                        "use constructor injection or setter injection instead; see https://stackoverflow.com/q/39890849 for detailed explanations")
                 .by(ExpectedField.of(ClassViolatingInjectionRules.class, "badBecauseAutowiredField").beingAnnotatedWith(Autowired.class))
                 .by(ExpectedField.of(ClassViolatingInjectionRules.class, "badBecauseValueField").beingAnnotatedWith(Value.class))
                 .by(ExpectedField.of(ClassViolatingInjectionRules.class, "badBecauseJavaxInjectField").beingAnnotatedWith(javax.inject.Inject.class))
@@ -815,6 +821,15 @@ Stream<DynamicTest> LayerDependencyRulesTest() {
                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(ComplexControllerAnnotation.class))
                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(SimpleControllerAnnotation.class))
                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(SomeEnum.class))
+                .by(annotatedParameter(Object.class)
+                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                        .annotatedWith(UnmarshalTransport.class))
+                .by(annotatedParameter(Object.class)
+                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                        .withAnnotationParameterType(StringUnmarshaller.class))
+                .by(annotatedParameter(Object.class)
+                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                        .withAnnotationParameterType(ByteUnmarshaller.class))
                 .by(method(ComplexServiceAnnotation.class, "controllerAnnotation").withReturnType(ComplexControllerAnnotation.class))
                 .by(method(ComplexServiceAnnotation.class, "controllerEnum").withReturnType(SomeEnum.class))
 
@@ -898,6 +913,15 @@ Stream<DynamicTest> LayerDependencyRulesTest() {
                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(ComplexControllerAnnotation.class))
                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(SimpleControllerAnnotation.class))
                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(SomeEnum.class))
+                .by(annotatedParameter(Object.class)
+                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                        .annotatedWith(UnmarshalTransport.class))
+                .by(annotatedParameter(Object.class)
+                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                        .withAnnotationParameterType(StringUnmarshaller.class))
+                .by(annotatedParameter(Object.class)
+                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                        .withAnnotationParameterType(ByteUnmarshaller.class))
                 .by(method(ComplexServiceAnnotation.class, "controllerAnnotation").withReturnType(ComplexControllerAnnotation.class))
                 .by(method(ComplexServiceAnnotation.class, "controllerEnum").withReturnType(SomeEnum.class))
 
@@ -977,6 +1001,15 @@ Stream<DynamicTest> LayeredArchitectureTest() {
                                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(ComplexControllerAnnotation.class))
                                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(SimpleControllerAnnotation.class))
                                 .by(annotatedClass(ServiceViolatingLayerRules.class).withAnnotationParameterType(SomeEnum.class))
+                                .by(annotatedParameter(Object.class)
+                                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                                        .annotatedWith(UnmarshalTransport.class))
+                                .by(annotatedParameter(Object.class)
+                                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                                        .withAnnotationParameterType(StringUnmarshaller.class))
+                                .by(annotatedParameter(Object.class)
+                                        .ofMethod(OtherServiceViolatingLayerRules.class, "dependentOnParameterAnnotation", Object.class)
+                                        .withAnnotationParameterType(ByteUnmarshaller.class))
                                 .by(method(ComplexServiceAnnotation.class, "controllerAnnotation").withReturnType(ComplexControllerAnnotation.class))
                                 .by(method(ComplexServiceAnnotation.class, "controllerEnum").withReturnType(SomeEnum.class))
                                 .by(method(OtherJpa.class, "testConnection")
@@ -1117,6 +1150,10 @@ Stream<DynamicTest> NamingConventionTest() {
                 .by(simpleNameOf(InheritedControllerImpl.class).notEndingWith("Controller"))
                 .by(simpleNameOf(ComplexControllerAnnotation.class).notEndingWith("Controller"))
                 .by(simpleNameOf(SimpleControllerAnnotation.class).notEndingWith("Controller"))
+                .by(simpleNameOf(UnmarshalTransport.class).notEndingWith("Controller"))
+                .by(simpleNameOf(Unmarshaller.class).notEndingWith("Controller"))
+                .by(simpleNameOf(StringUnmarshaller.class).notEndingWith("Controller"))
+                .by(simpleNameOf(ByteUnmarshaller.class).notEndingWith("Controller"))
                 .by(simpleNameOf(SomeUtility.class).notEndingWith("Controller"))
                 .by(simpleNameOf(WronglyAnnotated.class).notEndingWith("Controller"))
                 .by(simpleNameOf(SomeEnum.class).notEndingWith("Controller"))
@@ -1398,14 +1435,15 @@ Stream<DynamicTest> SlicesIsolationTest() {
         // controllers_should_only_use_their_own_slice
         addExpectedCommonFailureFor_controllers_should_only_use_their_own_slice
                 .accept("controllers_should_only_use_their_own_slice", expectedTestFailures);
-        expectedTestFailures.by(sliceDependency()
-                .described("Controller one depends on Controller two")
-                .by(callFromMethod(UseCaseOneTwoController.class, doSomethingOne)
-                        .toConstructor(UseCaseTwoController.class)
-                        .inLine(10))
-                .by(callFromMethod(UseCaseOneTwoController.class, doSomethingOne)
-                        .toMethod(UseCaseTwoController.class, doSomethingTwo)
-                        .inLine(10)))
+        expectedTestFailures
+                .by(sliceDependency()
+                        .described("Controller one depends on Controller two")
+                        .by(callFromMethod(UseCaseOneTwoController.class, doSomethingOne)
+                                .toConstructor(UseCaseTwoController.class)
+                                .inLine(10))
+                        .by(callFromMethod(UseCaseOneTwoController.class, doSomethingOne)
+                                .toMethod(UseCaseTwoController.class, doSomethingTwo)
+                                .inLine(10)))
                 .by(sliceDependency()
                         .described("Controller three depends on Controller one")
                         .by(callFromMethod(UseCaseThreeController.class, doSomethingThree)

archunit-integration-test/src/test/java/com/tngtech/archunit/testutils/ExpectedDependency.java

@@ -11,6 +11,8 @@
 
 import static com.google.common.base.Preconditions.checkArgument;
 import static com.google.common.collect.Iterables.getOnlyElement;
+import static com.tngtech.archunit.core.domain.Formatters.formatMethod;
+import static com.tngtech.archunit.core.domain.Formatters.formatNamesOf;
 import static com.tngtech.archunit.core.domain.JavaConstructor.CONSTRUCTOR_NAME;
 import static java.util.regex.Pattern.quote;
 
@@ -82,6 +84,10 @@ public static AnnotationDependencyCreator annotatedClass(Class<?> clazz) {
         return new AnnotationDependencyCreator(clazz);
     }
 
+    public static AnnotationParameterDependencyCreator annotatedParameter(Class<?> parameterType) {
+        return new AnnotationParameterDependencyCreator(parameterType);
+    }
+
     public static AccessCreator accessFrom(Class<?> clazz) {
         return new AccessCreator(clazz);
     }
@@ -317,21 +323,40 @@ public ExpectedDependency inLine(int lineNumber) {
         }
     }
 
+    public static class AnnotationParameterDependencyCreator {
+        private final Class<?> parameterType;
+
+        private AnnotationParameterDependencyCreator(Class<?> parameterType) {
+            this.parameterType = parameterType;
+        }
+
+        public AnnotationDependencyCreator ofMethod(Class<?> originClass, String methodName, Class<?>... paramTypes) {
+            return new AnnotationDependencyCreator(originClass, "Parameter <" + parameterType.getName() + "> of method <" +
+                    formatMethod(originClass.getName(), methodName, formatNamesOf(paramTypes)) + ">");
+        }
+    }
+
     public static class AnnotationDependencyCreator {
-        private final Class<?> owner;
+        private final Class<?> originClass;
+        private final String originDescription;
 
-        AnnotationDependencyCreator(Class<?> owner) {
-            this.owner = owner;
+        AnnotationDependencyCreator(Class<?> originClass) {
+            this(originClass, originClass.getName());
+        }
+
+        AnnotationDependencyCreator(Class<?> originClass, String originDescription) {
+            this.originClass = originClass;
+            this.originDescription = originDescription;
         }
 
         public ExpectedDependency annotatedWith(Class<?> annotationType) {
-            String dependencyPattern = getDependencyPattern(owner.getName(), "is annotated with", annotationType.getName(), 0);
-            return new ExpectedDependency(owner, annotationType, dependencyPattern);
+            String dependencyPattern = getDependencyPattern(originDescription, "is annotated with", annotationType.getName(), 0);
+            return new ExpectedDependency(originClass, annotationType, dependencyPattern);
         }
 
         public ExpectedDependency withAnnotationParameterType(Class<?> type) {
-            String dependencyPattern = getDependencyPattern(owner.getName(), "has annotation member of type", type.getName(), 0);
-            return new ExpectedDependency(owner, type, dependencyPattern);
+            String dependencyPattern = getDependencyPattern(originDescription, "has annotation member of type", type.getName(), 0);
+            return new ExpectedDependency(originClass, type, dependencyPattern);
         }
     }
 }

archunit/src/main/java/com/tngtech/archunit/base/DescribedPredicate.java

@@ -141,7 +141,7 @@ public static DescribedPredicate<Iterable<?>> empty() {
         return new EmptyPredicate();
     }
 
-    public static <T> DescribedPredicate<Iterable<T>> anyElementThat(final DescribedPredicate<? super T> predicate) {
+    public static <T> DescribedPredicate<Iterable<? extends T>> anyElementThat(final DescribedPredicate<? super T> predicate) {
         return new AnyElementPredicate<>(predicate);
     }
 
@@ -320,7 +320,7 @@ public boolean apply(Iterable<?> input) {
         }
     }
 
-    private static class AnyElementPredicate<T> extends DescribedPredicate<Iterable<T>> {
+    private static class AnyElementPredicate<T> extends DescribedPredicate<Iterable<? extends T>> {
         private final DescribedPredicate<T> predicate;
 
         AnyElementPredicate(DescribedPredicate<? super T> predicate) {
@@ -329,7 +329,7 @@ private static class AnyElementPredicate<T> extends DescribedPredicate<Iterable<
         }
 
         @Override
-        public boolean apply(Iterable<T> iterable) {
+        public boolean apply(Iterable<? extends T> iterable) {
             for (T javaClass : iterable) {
                 if (predicate.apply(javaClass)) {
                     return true;

archunit/src/main/java/com/tngtech/archunit/core/domain/Dependency.java

@@ -177,6 +177,10 @@ private static Origin findSuitableOrigin(Object dependencyCause, Object originCa
             JavaClass clazz = (JavaClass) originCandidate;
             return new Origin(clazz, clazz.getDescription());
         }
+        if (originCandidate instanceof JavaCodeUnit.Parameter) {
+            JavaCodeUnit.Parameter parameter = (JavaCodeUnit.Parameter) originCandidate;
+            return new Origin(parameter.getOwner().getOwner(), parameter.getDescription());
+        }
         throw new IllegalStateException("Could not find suitable dependency origin for " + dependencyCause);
     }
 

archunit/src/main/java/com/tngtech/archunit/core/domain/ImportContext.java

@@ -57,6 +57,4 @@ public interface ImportContext {
     Set<JavaConstructorCall> createConstructorCallsFor(JavaCodeUnit codeUnit);
 
     JavaClass resolveClass(String fullyQualifiedClassName);
-
-    Optional<JavaClass> getMethodReturnType(String declaringClassName, String methodName);
 }

archunit/src/main/java/com/tngtech/archunit/core/domain/JavaAnnotation.java

@@ -100,7 +100,7 @@ private JavaAnnotation(JavaClass type, OWNER owner, CanBeAnnotated annotatedElem
 
     private static CanBeAnnotated getAnnotatedElement(Object owner) {
         Object candiate = owner;
-        while (!(candiate instanceof JavaClass) && !(candiate instanceof JavaMember) && (candiate instanceof HasOwner<?>)) {
+        while (!(candiate instanceof CanBeAnnotated) && (candiate instanceof HasOwner<?>)) {
             candiate = ((HasOwner<?>) candiate).getOwner();
         }
         if (!(candiate instanceof CanBeAnnotated)) {