From 3a3e60f6c5724560d9d0c55de622c7f9b379f98e Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Thu, 21 Mar 2024 18:46:35 +0100 Subject: [PATCH] Formatted --- .../mit/theta/core/utils/ExpressionUtils.java | 40 +++++++++---------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/subprojects/common/core/src/testFixtures/java/hu/bme/mit/theta/core/utils/ExpressionUtils.java b/subprojects/common/core/src/testFixtures/java/hu/bme/mit/theta/core/utils/ExpressionUtils.java index 418dbcb655..01499e552a 100644 --- a/subprojects/common/core/src/testFixtures/java/hu/bme/mit/theta/core/utils/ExpressionUtils.java +++ b/subprojects/common/core/src/testFixtures/java/hu/bme/mit/theta/core/utils/ExpressionUtils.java @@ -26,7 +26,7 @@ public class ExpressionUtils { private static Stream> getWithAllOps(Expr e) { - if(e instanceof QuantifiedExpr) { // we don't want their body to be unwrapped, as they contain ParamDecls + if (e instanceof QuantifiedExpr) { // we don't want their body to be unwrapped, as they contain ParamDecls return Stream.of(e); } return Stream.concat(Stream.of(e), e.getOps().stream()); @@ -34,27 +34,27 @@ private static Stream> getWithAllOps(Expr e) { public static Map> AllExpressions() { return Stream.of( - BvTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), - BvTestUtils.BitvectorOperations().stream().map(o -> ((Object[]) o)[2]), - BvTestUtils.RelationalOperations().stream().map(o -> ((Object[]) o)[2]), - FpTestUtils.GetOperations().map(o -> ((Object[]) o)[2]), - IntTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), - RatTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), - BoolTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), - ArrayTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), - - - BvTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), - BvTestUtils.BitvectorOperations().stream().map(o -> ((Object[]) o)[1]), - BvTestUtils.RelationalOperations().stream().map(o -> ((Object[]) o)[1]), - FpTestUtils.GetOperations().map(o -> ((Object[]) o)[1]), - IntTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), - RatTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), - BoolTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), - ArrayTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1])) + BvTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), + BvTestUtils.BitvectorOperations().stream().map(o -> ((Object[]) o)[2]), + BvTestUtils.RelationalOperations().stream().map(o -> ((Object[]) o)[2]), + FpTestUtils.GetOperations().map(o -> ((Object[]) o)[2]), + IntTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), + RatTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), + BoolTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), + ArrayTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[2]), + + + BvTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), + BvTestUtils.BitvectorOperations().stream().map(o -> ((Object[]) o)[1]), + BvTestUtils.RelationalOperations().stream().map(o -> ((Object[]) o)[1]), + FpTestUtils.GetOperations().map(o -> ((Object[]) o)[1]), + IntTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), + RatTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), + BoolTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1]), + ArrayTestUtils.BasicOperations().stream().map(o -> ((Object[]) o)[1])) .reduce(Stream::concat).get() - .map(o -> (Expr)o) + .map(o -> (Expr) o) .flatMap(ExpressionUtils::getWithAllOps) .collect(Collectors.toMap(o -> o.getClass().getSimpleName(), o -> o, (expr, expr2) -> expr2)); }