simplifivation

Kirill Golubev · Kirill Golubev · commit 2abcf26f90af · 2022-10-10T05:11:47.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
@@ -346,7 +346,7 @@ private static Predicate changeState(TypeChecker tc, VariableInstance vi, Refine
             }
         }
         if (!found && !tc.getErrorEmitter().foundError()) {// Reaches the end of stateChange no matching states
-            String states = los.stream().filter(p -> p.hasFrom()).map(p -> p.getFrom().toString())
+            String states = los.stream().filter(ObjectState::hasFrom).map(p -> p.getFrom().toString())
                     .collect(Collectors.joining(","));
             String simpleInvocation = f.getName();
             if (invocation instanceof CtInvocation) {

Original file line number	Diff line number	Diff line change
`@@ -346,7 +346,7 @@ private static Predicate changeState(TypeChecker tc, VariableInstance vi, Refine`
`346`	`346`	`}`
`347`	`347`	`}`
`348`	`348`	`if (!found && !tc.getErrorEmitter().foundError()) {// Reaches the end of stateChange no matching states`
`349`		`- String states = los.stream().filter(p -> p.hasFrom()).map(p -> p.getFrom().toString())`
	`349`	`+ String states = los.stream().filter(ObjectState::hasFrom).map(p -> p.getFrom().toString())`
`350`	`350`	`.collect(Collectors.joining(","));`
`351`	`351`	`String simpleInvocation = f.getName();`
`352`	`352`	`if (invocation instanceof CtInvocation) {`