-
- Downloads
Accessing a field of a tuple via a function call is now supported (e.g <<1, TRUE, "str">>[2])
Showing
- src/main/java/de/tla2b/analysis/TypeChecker.java 27 additions, 1 deletionsrc/main/java/de/tla2b/analysis/TypeChecker.java
- src/main/java/de/tla2b/output/ASTPrettyPrinter.java 7 additions, 4 deletionssrc/main/java/de/tla2b/output/ASTPrettyPrinter.java
- src/main/java/de/tla2b/types/AbstractHasFollowers.java 2 additions, 0 deletionssrc/main/java/de/tla2b/types/AbstractHasFollowers.java
- src/main/java/de/tla2b/types/FunctionType.java 6 additions, 0 deletionssrc/main/java/de/tla2b/types/FunctionType.java
- src/main/java/de/tla2b/types/IType.java 1 addition, 0 deletionssrc/main/java/de/tla2b/types/IType.java
- src/main/java/de/tla2b/types/SetType.java 0 additions, 4 deletionssrc/main/java/de/tla2b/types/SetType.java
- src/main/java/de/tla2b/types/StructOrFunctionType.java 0 additions, 27 deletionssrc/main/java/de/tla2b/types/StructOrFunctionType.java
- src/main/java/de/tla2b/types/TupleType.java 8 additions, 1 deletionsrc/main/java/de/tla2b/types/TupleType.java
- src/main/java/de/tla2bAst/BAstCreator.java 95 additions, 16 deletionssrc/main/java/de/tla2bAst/BAstCreator.java
- src/test/java/de/tla2b/prettyprintb/RecordTest.java 1 addition, 1 deletionsrc/test/java/de/tla2b/prettyprintb/RecordTest.java
- src/test/java/de/tla2b/prettyprintb/TupleTest.java 81 additions, 11 deletionssrc/test/java/de/tla2b/prettyprintb/TupleTest.java
- src/test/java/de/tla2b/typechecking/StructTest.java 11 additions, 1 deletionsrc/test/java/de/tla2b/typechecking/StructTest.java
- src/test/java/de/tla2b/typechecking/TupleTest.java 13 additions, 2 deletionssrc/test/java/de/tla2b/typechecking/TupleTest.java
Loading
Please register or sign in to comment