param name mismatch in javadoc

Kirill Golubev · Kirill Golubev · commit 4bb5f98b43ab · 2022-10-10T18:25:08.000+03:00
diff --git a/liquidjava/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java b/liquidjava/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java
@@ -37,7 +37,7 @@ public class AuxStateHandler {
      *
      * @param c
      * @param f
-     * @param context
+     * @param tc
      * 
      * @throws ParsingException
      */
@@ -104,8 +104,8 @@ private static List<GhostFunction> getDifferentSets(TypeChecker tc, String klass
      * Handles the passage of the written state annotations to the context for regular Methods
      *
      * @param method
-     * @param context
      * @param f
+     * @param tc
      * 
      * @throws ParsingException
      */
@@ -231,7 +231,7 @@ private static Predicate addOldStates(Predicate p, Predicate th, List<GhostFunct
     /**
      * Sets the new state acquired from the constructor call
      *
-     * @param key
+     * @param refKey
      * @param f
      * @param map
      * @param ctConstructorCall
@@ -257,9 +257,7 @@ public static void constructorStateMetadata(String refKey, RefinedFunction f, Ma
      * If an expression has a state in metadata, then its state is passed to the last instance of the variable with
      * varName
      *
-     * @param context
-     * @param state_key
-     * @param this_key
+     * @param tc
      * @param varName
      * @param e
      */
