get external refine map in CLM; correction in ERFP (missing super.visit...())

Author: Pichers

latte/src/main/java/context/ClassLevelMaps.java

@@ -275,4 +275,8 @@ public boolean hasExternalMethodParamPermissions(
 
         return methodMap.containsKey(Pair.of(methodName, arity));
     }
+
+    public Object getExternaRefinementsMap() {
+        return externalMethodParamPermissions;
+    }
 }

latte/src/main/java/typechecking/ExternalRefinementFirstPass.java

@@ -67,6 +67,7 @@ public <T> void visitCtInterface(CtInterface<T> ctInterface) {
             logInfo("Processing external interface: " + ctInterface.getQualifiedName(), ctInterface);
             scan(ctInterface.getMethods());
         }
+        super.visitCtInterface(ctInterface);
     }
 
     @Override
@@ -91,5 +92,7 @@ public <T> void visitCtMethod(CtMethod<T> method) {
         maps.addExternalMethodParamPermissions(declaringClass, methodSig.getLeft(), methodSig.getRight(), paramAnnotations);
 
         logInfo("Collected annotations for method: " + methodSig + " => " + paramAnnotations, method);
+        super.visitCtMethod(method);
     }
+
 }