From d0ddccf39e56ae45cb071d01ffc6d0b68c832a1d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 19 Dec 2024 10:53:34 +0100
Subject: [PATCH] Fix indents
---
src/main/java/de/tla2b/analysis/SpecAnalyser.java | 2 +-
.../de/tla2b/translation/UsedDefinitionsFinder.java | 2 +-
src/main/java/de/tla2b/types/TupleOrFunction.java | 3 +--
src/main/java/de/tla2b/util/DebugUtils.java | 10 +++++-----
src/main/java/de/tla2bAst/BAstCreator.java | 4 +---
src/main/java/de/tla2bAst/ExpressionTranslator.java | 3 +--
6 files changed, 10 insertions(+), 14 deletions(-)
diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index 5c99231..04b12b7 100644
--- a/src/main/java/de/tla2b/analysis/SpecAnalyser.java
+++ b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
@@ -145,7 +145,7 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
specAnalyser.invariants.add(definitions.get("IndInv"));
ClausefDetected("IndInv", "INVARIANTS");
} else {
- System.out.println("No default Invariant detected");
+ System.out.println("No default Invariant detected");
}
// TODO are constant in the right order
diff --git a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
index ee9587d..f1e23ea 100644
--- a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
@@ -66,7 +66,7 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons
// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx, etc.
// DebugUtils.printDebugMsg("Checking definition: " + defName);
if (Utils.isProBSpecialDefinitionName(defName)) {
- DebugUtils.printMsg("ProB special definition: " + defName);
+ DebugUtils.printMsg("ProB special definition: " + defName);
usedDefinitions.add(opDef);
}
}
diff --git a/src/main/java/de/tla2b/types/TupleOrFunction.java b/src/main/java/de/tla2b/types/TupleOrFunction.java
index a898ac6..3794538 100644
--- a/src/main/java/de/tla2b/types/TupleOrFunction.java
+++ b/src/main/java/de/tla2b/types/TupleOrFunction.java
@@ -162,8 +162,7 @@ public class TupleOrFunction extends AbstractHasFollowers {
return false;
}
- private static boolean isTupleOrFunction(TupleOrFunction t1,
- TupleOrFunction t2) {
+ private static boolean isTupleOrFunction(TupleOrFunction t1, TupleOrFunction t2) {
List<TLAType> typeList = new ArrayList<>();
typeList.addAll(t1.types.values());
typeList.addAll(t2.types.values());
diff --git a/src/main/java/de/tla2b/util/DebugUtils.java b/src/main/java/de/tla2b/util/DebugUtils.java
index 7f78432..5d951a1 100644
--- a/src/main/java/de/tla2b/util/DebugUtils.java
+++ b/src/main/java/de/tla2b/util/DebugUtils.java
@@ -1,25 +1,25 @@
package de.tla2b.util;
public class DebugUtils {
- private static boolean debugOn;
-
+ private static boolean debugOn;
+
public static void setDebugMode(boolean newDebugOn) {
debugOn = newDebugOn;
}
public static void printVeryVerboseMsg(String Msg) {
- // TODO: turn on using -vv flag
+ // TODO: turn on using -vv flag
// System.out.println(Msg);
}
public static void printDebugMsg(String Msg) {
if(debugOn) {
- System.out.println(Msg);
+ System.out.println(Msg);
}
}
public static void printMsg(String Msg) {
- // TODO: turn off using silent flag
+ // TODO: turn off using silent flag
System.out.println(Msg);
}
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 86993b0..4063ffd 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -1764,9 +1764,7 @@ public class BAstCreator extends BuiltInOPs
return list;
}
- private PExpression evalExceptValue(PExpression prefix, LinkedList<ExprOrOpArgNode> seqList, TLAType tlaType,
- ExprOrOpArgNode val) {
-
+ private PExpression evalExceptValue(PExpression prefix, LinkedList<ExprOrOpArgNode> seqList, TLAType tlaType, ExprOrOpArgNode val) {
ExprOrOpArgNode head = seqList.poll();
if (head == null) {
return visitExprOrOpArgNodeExpression(val);
diff --git a/src/main/java/de/tla2bAst/ExpressionTranslator.java b/src/main/java/de/tla2bAst/ExpressionTranslator.java
index 70df795..f22e254 100644
--- a/src/main/java/de/tla2bAst/ExpressionTranslator.java
+++ b/src/main/java/de/tla2bAst/ExpressionTranslator.java
@@ -197,8 +197,7 @@ public class ExpressionTranslator implements SyntaxTreeConstants {
return n;
}
- private SpecObj parseModuleWithoutSemanticAnalyse(String moduleFileName,
- String module) {
+ private SpecObj parseModuleWithoutSemanticAnalyse(String moduleFileName, String module) {
SpecObj spec = new SpecObj(moduleFileName, null);
try {
--
GitLab