From 30c8eb04f347dfbfa825599e53fe89228aa1adfd Mon Sep 17 00:00:00 2001
From: Baorui Zhou <b42zhou@uwaterloo.ca>
Date: Fri, 22 Mar 2019 16:38:39 -0400
Subject: [PATCH] fix ATF so that viewpointAdaptMember wouldn't get called on
 executables

---
 .../checkerframework/framework/type/AnnotatedTypeFactory.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
index 57dfc69ff1f1..447ceb88db27 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
@@ -1433,7 +1433,7 @@ public void postAsMemberOf(
             addAnnotationFromFieldInvariant(type, owner, (VariableElement) element);
         }
         addComputedTypeAnnotations(element, type);
-        if (viewpointAdapter != null) {
+        if (viewpointAdapter != null && type.getKind() != TypeKind.EXECUTABLE) {
             viewpointAdapter.viewpointAdaptMember(owner, element, type);
         }
     }