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 86e7ff79f82..bb20d5418ef 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
@@ -808,6 +808,15 @@ protected ViewpointAdapter createViewpointAdapter() {
         return null;
     }
 
+    /**
+     * Get {@link #viewpointAdapter}.
+     *
+     * @return {@link #viewpointAdapter}
+     */
+    public ViewpointAdapter getViewpointAdapter() {
+        return viewpointAdapter;
+    }
+
     /**
      * TypeVariableSubstitutor provides a method to replace type parameters with their arguments.
      */