From 17e61532b596c105dd1eedf52fabf8a6a972a449 Mon Sep 17 00:00:00 2001
From: lnsun <57457122+lnsun@users.noreply.github.com>
Date: Thu, 25 Jun 2020 16:27:24 -0400
Subject: [PATCH] add getViewpointAdapter

---
 .../framework/type/AnnotatedTypeFactory.java             | 9 +++++++++
 1 file changed, 9 insertions(+)

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 fd0d2430d5a..fe6e6cc5181 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
@@ -796,6 +796,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.
      */