From eeb41ea94f6b48f791a1a8b8c8cae807df05276f Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Wed, 23 Apr 2014 14:00:55 +0200
Subject: [PATCH] increment version number
---
src/main/java/de/tla2bAst/BAstCreator.java | 1 -
src/main/java/de/tla2bAst/Translator.java | 1 +
src/test/java/de/tla2b/util/TestUtil.java | 2 +-
3 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 0486e12..32d9f5f 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -402,7 +402,6 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals,
&& !BBuiltInOPs.contains(opApplNode.getOperator()
.getName())) {
OpDefNode def = (OpDefNode) opApplNode.getOperator();
- System.out.println(def.getName());
FormalParamNode[] params = def.getParams();
for (int j = 0; j < params.length; j++) {
FormalParamNode param = params[j];
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 6546b27..6ac6512 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -210,6 +210,7 @@ public class Translator {
specAnalyser, usedExternalFunctions, predicateVsExpression);
this.bDefinitions = bAstCreator.getBDefinitions();
+ System.out.println(bDefinitions.getDefinitionNames());
return bAstCreator.getStartNode();
}
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index 278f629..0786923 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -63,8 +63,8 @@ public class TestUtil {
System.out.println("-------------------");
-
assertEquals(result, ppResult);
+ System.out.println(t.getBDefinitions().getDefinitionNames());
}
public static void compare(String bMachine, String tlaModule) throws BException, TLA2BException{
--
GitLab