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 |
|