InferenceTransfer contains two Maps that use Trees as keys:
|
private final Map<Tree, RefinementVariableSlot> createdRefinementVariables = new HashMap<>(); |
Understand why they are needed and see whether the Trees should be evicted at some point, e.g. when compilation unit changes.
InferenceTransfer contains two Maps that use Trees as keys:
checker-framework-inference/src/checkers/inference/dataflow/InferenceTransfer.java
Line 58 in d16f905
Understand why they are needed and see whether the Trees should be evicted at some point, e.g. when compilation unit changes.