Commit Graph

415 Commits

Author SHA1 Message Date
404Simon
21aa8b1a2b register block vars 2024-05-14 14:55:36 +02:00
Ahmad
e97b9e55c8 Started typeCheck for TypedProgram 2024-05-14 14:45:16 +02:00
404Simon
8cdbf7a23b all binary operator supported 2024-05-14 14:27:55 +02:00
d99dbd4f64 Start Multiple Classes 2024-05-14 14:19:50 +02:00
404Simon
69548745c2 more binary operator support 2024-05-14 12:25:15 +02:00
404Simon
9a7d296ecc make most expressions work 2024-05-14 10:05:07 +02:00
JonathanFleischmann
71560cf163 fixed missing empty constructor in Testfiles 2024-05-14 09:50:08 +02:00
JonathanFleischmann
fb7a7d8230 Merge branch 'refs/heads/main' into testsuites 2024-05-14 09:44:22 +02:00
Ahmad
69563b57b3 Merge remote-tracking branch 'origin/main' 2024-05-14 06:56:17 +02:00
Ahmad
ac23df965d Capture all return cases 2024-05-14 06:55:18 +02:00
404Simon
2fb9ecd668 pop that stack 2024-05-14 00:06:59 +02:00
404Simon
9f084a79bb refactor and make typedFieldVarAccess Work 2024-05-14 00:02:47 +02:00
404Simon
922a0b7ffd add public to class declarations 2024-05-13 23:38:22 +02:00
404Simon
6a0dd6976c deal with stack in MethodContext 2024-05-13 22:32:49 +02:00
ahmad
a4c3e931a0 Updated the ClassCanBeTyped 2024-05-12 23:00:25 +02:00
ahmad
ac9ebb04b3 Implemented the checkType of TypedMethodCall 2024-05-12 23:00:14 +02:00
ahmad
1e830ff38b Update Description of some code 2024-05-12 22:59:44 +02:00
ahmad
1fc0c2323b Fixing the methodcall in Generator 2024-05-12 22:59:00 +02:00
f0912ed01f Merge remote-tracking branch 'origin/main' 2024-05-12 22:16:52 +02:00
86df59ac2f Fix args possibly null in RecursiveOwnerChain 2024-05-12 22:16:37 +02:00
ahmad
6b89cd0958 Update TypedMethod and TypedReturn and ClassCanBeTyped 2024-05-12 20:59:35 +02:00
ahmad
8b5ec63e4b Update the typeCheck in TypedFieldVarAccess 2024-05-12 20:28:43 +02:00
ahmad
de51bcd825 Updated TypedAssignment and add TODO 2024-05-12 19:56:00 +02:00
ahmad
cef0c5ba86 Merge remote-tracking branch 'origin/FixingError'
# Conflicts:
#	src/main/java/de/maishai/typedast/typedclass/TypedBoolLiteral.java
#	src/main/java/de/maishai/typedast/typedclass/TypedConstructor.java
#	src/main/java/de/maishai/typedast/typedclass/TypedLocalVariable.java
#	src/main/java/de/maishai/typedast/typedclass/TypedMethod.java
#	src/main/java/de/maishai/typedast/typedclass/TypedUnary.java
2024-05-12 19:02:52 +02:00
29a63e3771 generate FieldVarAcces back to front instead of front to back 2024-05-12 18:18:14 +02:00
ahmad
7c4ea4b7e2 Implemented the typeCheck in TypedConstructor 2024-05-12 15:54:44 +02:00
ahmad
ede0b38987 Add the list of TypedLocalVariable to TypedMethod and implemented the typeCheck 2024-05-12 15:46:14 +02:00
ahmad
092cbb5af9 Updated the typeCheck of TypedIfElse 2024-05-12 15:45:18 +02:00
ahmad
2322d161e6 Update the typeCheck of TypedBlock 2024-05-12 14:55:03 +02:00
ahmad
3b1161e97a Add recursiveOwnerChain to TypedAssignment 2024-05-12 14:44:17 +02:00
ahmad
8e9ce8caa4 updated the checkType in TypedFieldVarAccess 2024-05-12 14:39:28 +02:00
ahmad
048aff5996 Removed the parameter localvariable in typeCheck 2024-05-12 13:07:39 +02:00
ahmad
827b5551f4 Add TypedLocalVariable and integrate it to Constractur and Methods 2024-05-12 12:45:22 +02:00
ahmad
938e92f679 Removed the TypedField class and use instand of that teh TypedDeclaration 2024-05-12 11:33:15 +02:00
ahmad
a05a4c8744 renamed and refactored 2024-05-12 11:19:31 +02:00
48b41f67f4 remove returnVoid and use return(null) instead 2024-05-12 00:52:56 +02:00
ahmad
5d7f7ef546 Update TypedClass 2024-05-11 21:41:01 +02:00
404Simon
8019e0e9cc Merge remote-tracking branch 'origin/main' 2024-05-11 18:33:34 +02:00
404Simon
4fe433f961 refactor ctx structure 2024-05-11 18:33:06 +02:00
ahmad
d5879e6539 Add typeCheck to newStmt in TypedExpressionHelp 2024-05-11 18:27:55 +02:00
ahmad
ba97c04414 Updated the ClassCanBeTyped 2024-05-11 17:15:14 +02:00
ahmad
6fcf183bc8 Updated the ClassCanBeTyped 2024-05-11 17:07:57 +02:00
ahmad
ecb9abdf6b Add Type to TypedConstructor 2024-05-11 15:16:19 +02:00
ahmad
17601da0a7 Add some TODOS 2024-05-11 15:07:17 +02:00
ahmad
272c25d345 Made the code better to read 2024-05-11 14:37:47 +02:00
ahmad
2448139ba0 Merge remote-tracking branch 'origin/main' 2024-05-11 13:57:11 +02:00
ahmad
17c806c592 Updated the ClasCanBeTyped 2024-05-11 13:54:56 +02:00
ahmad
31d57c8ba9 update the typeCheck of TypedReturn 2024-05-11 13:54:30 +02:00
ahmad
e49691ff29 update the typeCheck of TypedParameter 2024-05-11 13:54:12 +02:00
ahmad
9f4b158237 Put typeCheck to TypedExpressionUtil 2024-05-11 13:53:47 +02:00