Remove unneeded formal parameter

Author: mernst

framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInference.java

@@ -130,9 +130,8 @@ void updateFromFormalParameterAssignment(
    * @param field the field whose type will be refined. Must be either a FieldAccessNode or a
    *     LocalVariableNode whose element kind is FIELD.
    * @param rhs the expression being assigned to the field
-   * @param classTree the ClassTree for the enclosing class of the assignment
    */
-  void updateFromFieldAssignment(Node field, Node rhs, ClassTree classTree);
+  void updateFromFieldAssignment(Node field, Node rhs);
 
   /**
    * Updates the type of {@code field} based on an assignment whose right-hand side has type {@code

framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java

@@ -423,7 +423,7 @@ public void updateFromFormalParameterAssignment(
   }
 
   @Override
-  public void updateFromFieldAssignment(Node lhs, Node rhs, ClassTree classTree) {
+  public void updateFromFieldAssignment(Node lhs, Node rhs) {
 
     Element element;
     String fieldName;

framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java

@@ -850,10 +850,7 @@ public TransferResult<V, S> visitAssignment(AssignmentNode n, TransferInput<V, S
           || (lhs instanceof LocalVariableNode
               && ((LocalVariableNode) lhs).getElement().getKind() == ElementKind.FIELD)) {
         // Updates inferred field type
-        analysis
-            .atypeFactory
-            .getWholeProgramInference()
-            .updateFromFieldAssignment(lhs, rhs, analysis.getContainingClass(n.getTree()));
+        analysis.atypeFactory.getWholeProgramInference().updateFromFieldAssignment(lhs, rhs);
       } else if (lhs instanceof LocalVariableNode
           && ((LocalVariableNode) lhs).getElement().getKind() == ElementKind.PARAMETER) {
         // lhs is a formal parameter of some method
@@ -926,8 +923,7 @@ && shouldPerformWholeProgramInference(n.getTree(), lhs.getTree())) {
       analysis
           .atypeFactory
           .getWholeProgramInference()
-          .updateFromFieldAssignment(
-              (FieldAccessNode) lhs, rhs, analysis.getContainingClass(n.getTree()));
+          .updateFromFieldAssignment((FieldAccessNode) lhs, rhs);
     }
 
     processCommonAssignment(in, lhs, rhs, store, resultValue);