-
- Downloads
replace uses of ValueObj by TLCValueNode
they contain the same information and some ValueObjs are converted to TLCValueNodes later anyway
Showing
- src/main/java/de/tla2b/analysis/TypeChecker.java 1 addition, 2 deletionssrc/main/java/de/tla2b/analysis/TypeChecker.java
- src/main/java/de/tla2b/config/ConfigfileEvaluator.java 17 additions, 14 deletionssrc/main/java/de/tla2b/config/ConfigfileEvaluator.java
- src/main/java/de/tla2b/config/ModuleOverrider.java 3 additions, 17 deletionssrc/main/java/de/tla2b/config/ModuleOverrider.java
- src/main/java/de/tla2b/config/TLCValueNode.java 3 additions, 3 deletionssrc/main/java/de/tla2b/config/TLCValueNode.java
- src/main/java/de/tla2b/config/ValueObj.java 0 additions, 22 deletionssrc/main/java/de/tla2b/config/ValueObj.java
- src/main/java/de/tla2bAst/BAstCreator.java 2 additions, 2 deletionssrc/main/java/de/tla2bAst/BAstCreator.java
Loading
Please register or sign in to comment