1414public class ContextHistory {
1515 private static ContextHistory instance ;
1616
17- private Map <String , Map <String , Set <RefinedVariable >>> vars ; // file -> (scope -> variables in scope)
17+ private Map <String , Map <String , Set <RefinedVariable >>> fileScopeVars ; // file -> (scope -> variables in scope)
1818 private Map <String , Set <GhostState >> ghosts ; // file -> ghosts
1919
2020 // globals
@@ -23,7 +23,7 @@ public class ContextHistory {
2323 private Set <RefinedVariable > globalVars ;
2424
2525 private ContextHistory () {
26- vars = new HashMap <>();
26+ fileScopeVars = new HashMap <>();
2727 instanceVars = new HashSet <>();
2828 globalVars = new HashSet <>();
2929 ghosts = new HashMap <>();
@@ -37,7 +37,7 @@ public static ContextHistory getInstance() {
3737 }
3838
3939 public void clearHistory () {
40- vars .clear ();
40+ fileScopeVars .clear ();
4141 instanceVars .clear ();
4242 globalVars .clear ();
4343 ghosts .clear ();
@@ -51,8 +51,8 @@ public void saveContext(CtElement element, Context context) {
5151
5252 // add variables in scope
5353 String scope = getScopePosition (element );
54- vars .putIfAbsent (file , new HashMap <>());
55- vars .get (file ).put (scope , new HashSet <>(context .getCtxVars ()));
54+ fileScopeVars .putIfAbsent (file , new HashMap <>());
55+ fileScopeVars .get (file ).put (scope , new HashSet <>(context .getCtxVars ()));
5656
5757 // add other elements in context (except ghosts)
5858 instanceVars .addAll (context .getCtxInstanceVars ());
@@ -84,8 +84,8 @@ public String getScopePosition(CtElement element) {
8484 pos .getEndColumn ());
8585 }
8686
87- public Map <String , Map <String , Set <RefinedVariable >>> getVars () {
88- return vars ;
87+ public Map <String , Map <String , Set <RefinedVariable >>> getFileScopeVars () {
88+ return fileScopeVars ;
8989 }
9090
9191 public Set <RefinedVariable > getInstanceVars () {
0 commit comments