From fa85362da4c481693f14ad6c92a9f306c53492d9 Mon Sep 17 00:00:00 2001
From: Baorui Zhou <b42zhou@uwaterloo.ca>
Date: Tue, 26 Mar 2019 11:58:15 -0400
Subject: [PATCH] fix InferenceATF so that viewpointAdaptMember wouldn't get
 called on executables

---
 src/checkers/inference/InferenceAnnotatedTypeFactory.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/checkers/inference/InferenceAnnotatedTypeFactory.java b/src/checkers/inference/InferenceAnnotatedTypeFactory.java
index 8d6ac9e2d..7a398d17a 100644
--- a/src/checkers/inference/InferenceAnnotatedTypeFactory.java
+++ b/src/checkers/inference/InferenceAnnotatedTypeFactory.java
@@ -43,6 +43,7 @@
 import javax.lang.model.element.ExecutableElement;
 import javax.lang.model.element.TypeParameterElement;
 import javax.lang.model.element.VariableElement;
+import javax.lang.model.type.TypeKind;
 import javax.lang.model.type.TypeVariable;
 
 import checkers.inference.dataflow.InferenceAnalysis;
@@ -298,7 +299,7 @@ protected void annotateInheritedFromClass(AnnotatedTypeMirror type,
     @Override
     public void postAsMemberOf(final AnnotatedTypeMirror type,
                                final AnnotatedTypeMirror owner, final Element element) {
-        if (viewpointAdapter != null) {
+        if (viewpointAdapter != null && type.getKind() != TypeKind.EXECUTABLE) {
             viewpointAdapter.viewpointAdaptMember(owner, element, type);
         }
     }