From c8a1349aa65adec2cfb14268e36482718a27060a Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Sat, 3 Oct 2015 13:51:19 +0200
Subject: [PATCH] fixed javadoc errors
---
build.gradle | 11 ++++++----
.../analysis/InstanceTransformation.java | 11 +++-------
.../java/de/tla2b/analysis/SymbolRenamer.java | 2 +-
.../java/de/tla2b/analysis/TypeChecker.java | 2 +-
.../java/de/tla2b/config/ModuleOverrider.java | 2 +-
.../java/de/tla2b/config/TLCValueNode.java | 2 +-
src/test/java/de/tla2b/util/TestUtil.java | 22 +++++++++----------
7 files changed, 25 insertions(+), 27 deletions(-)
diff --git a/build.gradle b/build.gradle
index 009dfcf..c99ac0a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -100,11 +100,14 @@ signing {
sign configurations.archives
}
+javadoc {
+ failOnError = false
+}
-//task javadocJar(type: Jar) {
-// classifier = 'javadoc'
-// from javadoc
-//}
+task javadocJar(type: Jar) {
+ classifier = 'javadoc'
+ from javadoc
+}
task sourcesJar(type: Jar) {
classifier = 'sources'
diff --git a/src/main/java/de/tla2b/analysis/InstanceTransformation.java b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
index c8987c0..e8ab4c5 100644
--- a/src/main/java/de/tla2b/analysis/InstanceTransformation.java
+++ b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
@@ -35,11 +35,10 @@ public class InstanceTransformation extends BuiltInOPs implements ASTConstants {
/**
- * @param con
+ * @param moduleNode
*/
- public InstanceTransformation(ModuleNode n) {
- defs = n.getOpDefs();
-
+ public InstanceTransformation(ModuleNode moduleNode) {
+ defs = moduleNode.getOpDefs();
defsHash = new Hashtable<String, OpDefNode>();
for (int i = 0; i < defs.length; i++) {
OpDefNode def = defs[i];
@@ -47,10 +46,6 @@ public class InstanceTransformation extends BuiltInOPs implements ASTConstants {
}
}
- /**
- * @throws AbortException
- *
- */
public void start() {
for (int i = 0; i < defs.length; i++) {
OpDefNode def = defs[i];
diff --git a/src/main/java/de/tla2b/analysis/SymbolRenamer.java b/src/main/java/de/tla2b/analysis/SymbolRenamer.java
index af5d946..0471c86 100644
--- a/src/main/java/de/tla2b/analysis/SymbolRenamer.java
+++ b/src/main/java/de/tla2b/analysis/SymbolRenamer.java
@@ -124,7 +124,7 @@ public class SymbolRenamer extends BuiltInOPs implements TranslationGlobals,
private Hashtable<OpDefNode, Set<String>> usedNamesTable = new Hashtable<OpDefNode, Set<String>>();
/**
- * @param moduleNode2
+ * @param moduleNode
* @param specAnalyser
*/
public SymbolRenamer(ModuleNode moduleNode, SpecAnalyser specAnalyser) {
diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java
index c742b5f..2a7463b 100644
--- a/src/main/java/de/tla2b/analysis/TypeChecker.java
+++ b/src/main/java/de/tla2b/analysis/TypeChecker.java
@@ -64,7 +64,7 @@ public class TypeChecker extends BuiltInOPs implements ASTConstants, BBuildIns,
private ConfigfileEvaluator conEval;
/**
- * @param moduleNode2
+ * @param moduleNode
* @param conEval
* @param specAnalyser
*/
diff --git a/src/main/java/de/tla2b/config/ModuleOverrider.java b/src/main/java/de/tla2b/config/ModuleOverrider.java
index 477db1e..40b92b2 100644
--- a/src/main/java/de/tla2b/config/ModuleOverrider.java
+++ b/src/main/java/de/tla2b/config/ModuleOverrider.java
@@ -41,7 +41,7 @@ public class ModuleOverrider extends BuiltInOPs implements ASTConstants {
}
/**
- * @param moduleNode2
+ * @param moduleNode
* @param conEval
*/
public ModuleOverrider(ModuleNode moduleNode, ConfigfileEvaluator conEval) {
diff --git a/src/main/java/de/tla2b/config/TLCValueNode.java b/src/main/java/de/tla2b/config/TLCValueNode.java
index 7f47a06..f8d9d0e 100644
--- a/src/main/java/de/tla2b/config/TLCValueNode.java
+++ b/src/main/java/de/tla2b/config/TLCValueNode.java
@@ -17,7 +17,7 @@ public class TLCValueNode extends NumeralNode implements TranslationGlobals {
private TLAType type;
/**
- * @param kind
+ * @param valObj
* @param stn
* @throws AbortException
*/
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index 2809538..bed39e6 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -54,7 +54,7 @@ public class TestUtil {
System.out.println("-------------------");
// compare the generated AST and the AST of the pretty print
- //assertEquals(result, ppResult);
+ // assertEquals(result, ppResult);
// System.out.println(t.getBDefinitions().getDefinitionNames());
}
@@ -199,20 +199,20 @@ public class TestUtil {
final String string = ast2String.toString();
return string;
}
-
- public static void load_TLA_File(String tlaFile) throws Exception{
+
+ public static void load_TLA_File(String tlaFile) throws Exception {
Api api = de.prob.Main.getInjector().getInstance(Api.class);
- //TODO translate here and then pass the AST to api
+ // TODO translate here and then pass the AST to api
// Currently B definitions are not recognized by the api load command
-// Translator t = new Translator(tlaFile);
-// Start start = t.translate();
-// ASTPrettyPrinter aP = new ASTPrettyPrinter(start);
-// start.apply(aP);
-// System.out.println(aP.getResultString());
+ // Translator t = new Translator(tlaFile);
+ // Start start = t.translate();
+ // ASTPrettyPrinter aP = new ASTPrettyPrinter(start);
+ // start.apply(aP);
+ // System.out.println(aP.getResultString());
+ // StateSpace stateSpace = api.b_load(start);
- //StateSpace stateSpace = api.b_load(start);
StateSpace stateSpace = api.tla_load(tlaFile);
- Trace trace= new Trace(stateSpace);
+ Trace trace = new Trace(stateSpace);
Set<Transition> nextTransitions = trace.getNextTransitions();
assertTrue(nextTransitions.size() > 0);
}
--
GitLab