-
- Downloads
Fix Javadoc problems
* Removed Javadoc comments that were basically empty (they only contained the blank template generated by the IDE, which was never filled out and in most cases outdated) * Removed incorrectly placed Javadoc comments with only an @author line (Git tracks authorship anyway) * Fixed some HTML syntax errors in Javadoc comments * Changed some comments' ASCII art so they are not incorrectly considered Javadoc comments
Showing
- src/main/java/de/tla2b/TLA2B.java 0 additions, 4 deletionssrc/main/java/de/tla2b/TLA2B.java
- src/main/java/de/tla2b/analysis/BOperation.java 0 additions, 10 deletionssrc/main/java/de/tla2b/analysis/BOperation.java
- src/main/java/de/tla2b/analysis/InstanceTransformation.java 0 additions, 41 deletionssrc/main/java/de/tla2b/analysis/InstanceTransformation.java
- src/main/java/de/tla2b/analysis/RecursiveFunktion.java 0 additions, 4 deletionssrc/main/java/de/tla2b/analysis/RecursiveFunktion.java
- src/main/java/de/tla2b/analysis/SpecAnalyser.java 0 additions, 4 deletionssrc/main/java/de/tla2b/analysis/SpecAnalyser.java
- src/main/java/de/tla2b/analysis/SymbolRenamer.java 0 additions, 8 deletionssrc/main/java/de/tla2b/analysis/SymbolRenamer.java
- src/main/java/de/tla2b/analysis/SymbolSorter.java 1 addition, 5 deletionssrc/main/java/de/tla2b/analysis/SymbolSorter.java
- src/main/java/de/tla2b/analysis/TypeChecker.java 50 additions, 93 deletionssrc/main/java/de/tla2b/analysis/TypeChecker.java
- src/main/java/de/tla2b/config/ConfigfileEvaluator.java 1 addition, 16 deletionssrc/main/java/de/tla2b/config/ConfigfileEvaluator.java
- src/main/java/de/tla2b/config/ModuleOverrider.java 0 additions, 18 deletionssrc/main/java/de/tla2b/config/ModuleOverrider.java
- src/main/java/de/tla2b/config/TLCValueNode.java 0 additions, 9 deletionssrc/main/java/de/tla2b/config/TLCValueNode.java
- src/main/java/de/tla2b/config/ValueObj.java 0 additions, 4 deletionssrc/main/java/de/tla2b/config/ValueObj.java
- src/main/java/de/tla2b/exceptions/SemanticErrorException.java 0 additions, 4 deletions...main/java/de/tla2b/exceptions/SemanticErrorException.java
- src/main/java/de/tla2b/exceptions/UnificationException.java 0 additions, 4 deletionssrc/main/java/de/tla2b/exceptions/UnificationException.java
- src/main/java/de/tla2b/global/TranslationGlobals.java 0 additions, 4 deletionssrc/main/java/de/tla2b/global/TranslationGlobals.java
- src/main/java/de/tla2b/types/EnumType.java 1 addition, 7 deletionssrc/main/java/de/tla2b/types/EnumType.java
- src/main/java/de/tla2b/types/StringType.java 0 additions, 4 deletionssrc/main/java/de/tla2b/types/StringType.java
- src/main/java/de/tla2b/types/StructOrFunctionType.java 0 additions, 4 deletionssrc/main/java/de/tla2b/types/StructOrFunctionType.java
- src/main/java/de/tla2bAst/BAstCreator.java 6 additions, 9 deletionssrc/main/java/de/tla2bAst/BAstCreator.java
- src/main/java/de/tla2bAst/ExpressionTranslator.java 0 additions, 8 deletionssrc/main/java/de/tla2bAst/ExpressionTranslator.java
Loading
Please register or sign in to comment