ContractInfo: encapsulate fields (IDEA-CR-32782)

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/JavaMethodContractUtil.java

@@ -59,15 +59,29 @@ public class JavaMethodContractUtil {
   static class ContractInfo {
     static final ContractInfo EMPTY = new ContractInfo(Collections.emptyList(), false, MutationSignature.UNKNOWN);
 
-    final @NotNull List<StandardMethodContract> myContracts;
-    final boolean myPure;
-    final @NotNull MutationSignature myMutationSignature;
+    private final @NotNull List<StandardMethodContract> myContracts;
+    private final boolean myPure;
+    private final @NotNull MutationSignature myMutationSignature;
 
     ContractInfo(@NotNull List<StandardMethodContract> contracts, boolean pure, @NotNull MutationSignature signature) {
       myContracts = contracts;
       myPure = pure;
       myMutationSignature = signature;
     }
+
+    @NotNull
+    List<StandardMethodContract> getContracts() {
+      return myContracts;
+    }
+
+    boolean isPure() {
+      return myPure;
+    }
+
+    @NotNull
+    MutationSignature getMutationSignature() {
+      return myMutationSignature;
+    }
   }
 
   @NotNull

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/MutationSignature.java

@@ -115,6 +115,6 @@ public class MutationSignature {
   @NotNull
   public static MutationSignature fromMethod(@Nullable PsiMethod method) {
     if (method == null) return UNKNOWN;
-    return JavaMethodContractUtil.getContractInfo(method).myMutationSignature;
+    return JavaMethodContractUtil.getContractInfo(method).getMutationSignature();
   }
 }