-
- Downloads
Improve typechecking of tuples vs functions
Showing
- src/main/java/de/tla2b/analysis/TypeChecker.java 61 additions, 30 deletionssrc/main/java/de/tla2b/analysis/TypeChecker.java
- src/main/java/de/tla2b/output/TlaTypePrinter.java 5 additions, 9 deletionssrc/main/java/de/tla2b/output/TlaTypePrinter.java
- src/main/java/de/tla2b/output/TypeVisitorInterface.java 2 additions, 2 deletionssrc/main/java/de/tla2b/output/TypeVisitorInterface.java
- src/main/java/de/tla2b/types/AbstractHasFollowers.java 0 additions, 2 deletionssrc/main/java/de/tla2b/types/AbstractHasFollowers.java
- src/main/java/de/tla2b/types/FunctionType.java 1 addition, 7 deletionssrc/main/java/de/tla2b/types/FunctionType.java
- src/main/java/de/tla2b/types/IDefaultableType.java 3 additions, 1 deletionsrc/main/java/de/tla2b/types/IDefaultableType.java
- src/main/java/de/tla2b/types/IntegerOrRealType.java 2 additions, 2 deletionssrc/main/java/de/tla2b/types/IntegerOrRealType.java
- src/main/java/de/tla2b/types/ModelValueType.java 1 addition, 2 deletionssrc/main/java/de/tla2b/types/ModelValueType.java
- src/main/java/de/tla2b/types/PairType.java 0 additions, 138 deletionssrc/main/java/de/tla2b/types/PairType.java
- src/main/java/de/tla2b/types/StructOrFunctionType.java 4 additions, 4 deletionssrc/main/java/de/tla2b/types/StructOrFunctionType.java
- src/main/java/de/tla2b/types/TLAType.java 9 additions, 0 deletionssrc/main/java/de/tla2b/types/TLAType.java
- src/main/java/de/tla2b/types/TupleOrFunction.java 134 additions, 187 deletionssrc/main/java/de/tla2b/types/TupleOrFunction.java
- src/main/java/de/tla2b/types/TupleType.java 17 additions, 11 deletionssrc/main/java/de/tla2b/types/TupleType.java
- src/main/java/de/tla2b/types/UntypedType.java 1 addition, 1 deletionsrc/main/java/de/tla2b/types/UntypedType.java
- src/main/java/de/tla2bAst/BAstCreator.java 13 additions, 7 deletionssrc/main/java/de/tla2bAst/BAstCreator.java
- src/test/java/de/tla2b/expression/ComplexExpressionTest.java 6 additions, 1 deletionsrc/test/java/de/tla2b/expression/ComplexExpressionTest.java
- src/test/java/de/tla2b/prettyprintb/MiscellaneousConstructsTest.java 55 additions, 0 deletions...va/de/tla2b/prettyprintb/MiscellaneousConstructsTest.java
- src/test/java/de/tla2b/typechecking/FunctionTest.java 14 additions, 4 deletionssrc/test/java/de/tla2b/typechecking/FunctionTest.java
- src/test/java/de/tla2b/typechecking/MiscellaneousConstructsTest.java 11 additions, 1 deletion...va/de/tla2b/typechecking/MiscellaneousConstructsTest.java
- src/test/java/de/tla2b/typechecking/TupleTest.java 2 additions, 2 deletionssrc/test/java/de/tla2b/typechecking/TupleTest.java
Loading
Please register or sign in to comment