Pluemicke Martin
3d2b935c60
Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode
2024-05-14 22:53:08 +02:00
Pluemicke Martin
db01b0c8dd
new file: resources/AllgemeinTest/Box.jav
2024-05-14 22:50:20 +02:00
662756ac18
Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode
2024-05-10 16:51:10 +02:00
b0bf41968e
Bug325
2024-05-10 16:50:06 +02:00
pl@gohorb.ba-horb.de
2221b559ca
Implementierungen von Interfaces eingefuegt und Overriding ersetzt durch implementierung
...
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
Overriding ersetzt durch implementierung (Umbennennung)
modified: ../resources/bytecode/javFiles/Matrix.jav
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/Method.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2024-05-10 14:16:23 +02:00
pl@gohorb.ba-horb.de
021b7ec9fe
Fehler vom vorigen korriert Commit
...
modified: ../resources/bytecode/javFiles/Matrix.jav
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: ../src/test/java/TestComplete.java
2024-05-08 09:07:22 +02:00
pl@gohorb.ba-horb.de
154d4823e4
isOverridden eingefuegt.
...
Problem beim Konvertioeren
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/Method.java
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2024-05-08 00:14:21 +02:00
pl@gohorb.ba-horb.de
71dfe5d9e1
Bei diesem und vorigen Commit wurde der Bug #328
...
JavaTX/JavaCompilerCore#328
geloest.
1. src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
in der Methode copute wurden die methodSignatureConstraints der bereits zu Beginn
aufegloesten einer Oder Constraints in die Methodconstraints der Unifikation geschrieben
2. Elementtyp der linken Seiten der methodSignatureConstraints wurden von RefTypeOrTPHOrWildcardOrGeneric auf TypePlaceholder geaendert, weil dort nur TypePlaceholder geaendert.
3. src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
in der Methode prepareBlock wurde der Typ des Rückgabewerts des supercalls von Void auf eine
Freshtpevar gesetzt.
4. src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
in der unify2-Methode wurde am Ende der Aufruf der Substitution nach Hinzufuegen der
Methodconstraints auskommentiert -> hat zu nicht geloesten Constraints gefuehrt.
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/test/java/TestComplete.java
2024-05-02 16:33:37 +02:00
pl@gohorb.ba-horb.de
58110c474a
mathStrucInteger.jav funktioniert gerade nicht
...
modified: resources/bytecode/javFiles/Matrix.jav
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/NewClass.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/SuperCall.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/ThisCall.java
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
2024-05-02 00:13:45 +02:00
df2ec4b1ba
Fix #326 , convert captures to correct types
2024-04-30 16:55:40 +02:00
2c66a1d6e6
add class file
2024-04-29 10:27:23 +02:00
c76ee355d8
Add bug for #328
2024-04-29 10:25:01 +02:00
a5c314c5c5
Fix #328
2024-04-28 19:25:20 +02:00
cba35a4bec
Don't load source files twice
2024-04-27 23:08:15 +02:00
b774281cbb
Add Ternary, fix #324
2024-04-22 12:17:53 +02:00
9358130468
Fix package weirdness? See #322
2024-04-18 11:51:08 +02:00
708aa64283
Fix current directory not being added to path
2024-04-18 10:31:12 +02:00
c21e5202d6
Fix #323
2024-04-18 10:20:35 +02:00
b3bd5cde10
Fix tests
2024-04-15 16:44:34 +02:00
df78937ef3
Fix test case a bit
2024-04-15 16:18:25 +02:00
7fb4824f8d
Add modulo, fix #319
2024-04-12 15:40:22 +02:00
e0d71a6003
fix console
2024-04-12 14:17:15 +02:00
49803385cf
Fix optional parameters
2024-04-12 13:58:11 +02:00
39d02f792c
Deal with multiple source files properly, don't throw all the constraints together
2024-04-12 10:48:13 +02:00
4fc78f494c
More poking around
2024-04-10 10:22:34 +02:00
b752219d8c
Throw exception if class doesn't exist
2024-04-10 10:03:59 +02:00
ec890356e4
Don't trim stack trace because some tests randomly fail and we need to know why
2024-04-10 09:58:01 +02:00
d405b0c3a2
Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode
2024-04-10 09:42:47 +02:00
6c8657b7a8
Work on #308
2024-04-10 09:42:31 +02:00
pl@gohorb.ba-horb.de
bcce4cee19
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntacticSugar.java
...
Im Visitor ReturnFinder wuder nicht beruecksichtigt, dass auch in einem Lambda-Ausdruck ein Reurn stehen kann, welchen die umgebenden Block nicht beendet.
2024-04-09 18:25:26 +02:00
e6cd4038e2
Fix bytecode error when calling interface functions
2024-04-09 15:52:44 +02:00
e50f941b79
Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode
2024-04-09 14:59:16 +02:00
cb7d0e22cc
Fix #314
2024-04-09 14:58:43 +02:00
pl@gohorb.ba-horb.de
0d5be89310
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java
...
modified: ../src/test/java/TestComplete.java
2024-04-09 01:50:42 +02:00
0b7f07108f
Fix #313
2024-04-08 14:25:41 +02:00
6b0816c1c4
Add test for #309
2024-04-08 14:02:57 +02:00
f66b9099f3
Fix #311
2024-04-08 13:51:49 +02:00
da74898f9d
Fix #312
2024-04-08 13:18:27 +02:00
46a7f61234
Fix #310
2024-04-08 11:52:52 +02:00
e59accf7ee
Fix #308
2024-04-08 11:40:46 +02:00
pl@gohorb.ba-horb.de
4b110244f2
new file: ../../AllgemeinTest/List.jav
2024-04-07 17:31:05 +02:00
pl@gohorb.ba-horb.de
e37040f367
Bug 307 gefixt
...
Changes to be committed:
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/test/java/TestComplete.java
2024-04-03 00:11:01 +02:00
6850a8fa21
Decouple unify from the rest of the code
2024-03-28 10:35:34 +01:00
877e5ed38a
Reversing alone would disturb the parameters ( #298 )
2024-03-27 14:52:15 +01:00
82b4450857
Fix 298 for real this time?
2024-03-27 14:39:43 +01:00
b70e435120
Work on issue
2024-03-27 12:21:57 +01:00
3b14cd609f
Revert "Get rid of mutable state, hopefully fix #307 "
...
This reverts commit bc61fc2e1d
2024-03-27 09:57:21 +01:00
8fdfbf875b
Fix #298 maybe?
2024-03-26 17:31:48 +01:00
bc61fc2e1d
Get rid of mutable state, hopefully fix #307
2024-03-26 16:54:24 +01:00
62f2e05f35
Add test case for #307
2024-03-26 11:04:03 +01:00
