Commit Graph

622 Commits

Author SHA1 Message Date
luca9913
124313cb16 Merge remote-tracking branch 'origin/bigRefactoring' into patternMatching 2023-06-24 19:09:39 +02:00
luca9913
d48b888075 Bug fixes, TestComplete in 'syntaxtreegenerator' runs without error 2023-06-24 18:54:31 +02:00
luca9913
81e19f5315 Fixed syntaxtreegenerator to determine correct receiver of methodcall 2023-06-21 20:46:23 +02:00
luca9913
89a791b81e Fixed NotImplemented for field accesses in "dottexression" 2023-06-21 19:56:16 +02:00
luca9913
62e7a1c871 Bug fix and test exclusion 2023-06-21 10:10:32 +02:00
luca9913
78ad7bc003 Fixed bugs in StatementGenerator regarding constructor generation and field accesses 2023-06-09 17:26:55 +02:00
luca9913
f08744479a Started test driven bug fixing for SyntaxTreeGenerator 2023-06-07 22:24:16 +02:00
luca9913
7556b9f590 Fixed parser bug that caused TestComplete to fail 2023-06-06 19:43:56 +02:00
f33aab9cfb Merge 2023-06-06 16:16:41 +02:00
3875de7f80 Fix local variable conversion and not loading interfaces 2023-06-06 13:46:53 +02:00
pl@gohorb.ba-horb.de
3c86eecf8b modified: ../../pom.xml
new file:   Iteration.jav
	modified:   Pair.jav
	modified:   ../../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
	modified:   ../../src/test/java/AllgemeinTest.java
2023-06-05 13:14:00 +02:00
luca9913
eb5cf1ab33 StackOverflow fix switchexpression 2023-06-03 17:54:37 +02:00
luca9913
a54938cb65 bug fix empty param list 2023-06-01 21:18:08 +02:00
luca9913
30a62a6621 bug fix VectorNotObject test 2023-06-01 20:59:16 +02:00
dce3ed8051 Some fixes for the plugin 2023-06-01 16:13:03 +02:00
8e5a20e59e Fix incorrect signature 2023-05-31 11:38:47 +02:00
337ff8b865 Fix incorrect signatures 2023-05-24 16:51:53 +02:00
67a582b4a2 Flatten generic function types 2023-05-24 13:53:23 +02:00
677d68428d Merge branch 'fixPlugin' into targetBytecode 2023-05-16 14:52:45 +02:00
136bccab93 Fix type deployment 2023-05-16 13:31:05 +02:00
66944cf3c1 Recursively collect generics for FunN 2023-05-15 16:52:20 +02:00
a7ccd15286 Work on the plugin 2023-05-15 16:33:10 +02:00
8992260264 TestContraVariant 2023-05-09 12:18:12 +02:00
f8f76e9f7d WIP 2023-05-08 13:32:39 +02:00
25c0c9c101 Rewrite 2023-05-03 10:51:53 +02:00
b0cbac529e Use family instead of generated generics 2023-04-28 17:15:04 +02:00
8fb4f062ec Print Class 2023-04-28 16:03:11 +02:00
60a42f1be1 Update to Java 20 and refactor Generics 2023-04-28 15:44:26 +02:00
Victorious3
85a904d288 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-04-27 18:46:33 +02:00
Victorious3
904bdca2f4 Eliminate transitive children, add missing object bounds 2023-04-25 15:06:56 +02:00
Victorious3
af4db1817a Add test and fix up the generics a bit 2023-04-19 19:08:52 +02:00
Victorious3
d945947362 ASM doesn't like empty generics for some reason, don't know if valid? 2023-04-19 16:12:24 +02:00
Victorious3
a0c25a517d Use old method of creating signatures in case the classloader is null 2023-04-19 15:33:53 +02:00
Victorious3
c35577f948 Add missing functions and test the signature parser 2023-04-19 14:56:59 +02:00
Victorious3
fc7844c6a4 Merge branch 'targetBytecode' into parseSignature 2023-04-14 15:18:36 +02:00
pl@gohorb.ba-horb.de
e5ff08e0df modified: resources/bytecode/javFiles/Scalar.jav
modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
? extends ty <! Ty' im erase1 korrigiert
2023-04-14 15:12:43 +02:00
Victorious3
4078239815 - Calculate veriance for new type variables in Infima & Cycles
- Remove referenced check from Infima
- Correctly identify contra & covariance for chains for tphs
2023-04-14 15:04:26 +02:00
Victorious3
39bde24df7 Start working on signature parsing 2023-04-14 11:38:41 +02:00
pl@gohorb.ba-horb.de
ed671aeb97 modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified:   src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
	modified:   src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java

<. weider eingefuegt bei Return typen von Methodcalls und Return-Statements
Vergleich dementsprechend angepasst.
2023-04-05 17:48:15 +02:00
pl@gohorb.ba-horb.de
86d229cac9 modified: resources/bytecode/javFiles/Matrix.jav
modified:   src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
	modified:   src/test/java/targetast/TestComplete.java
2023-04-04 15:54:03 +02:00
pl@gohorb.ba-horb.de
02c8dd9804 Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-04-04 13:16:41 +02:00
pl@gohorb.ba-horb.de
0908d512d9 modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java 2023-04-04 13:16:25 +02:00
Victorious3
e231cf722b Fix type variable being declared twice 2023-04-04 13:09:28 +02:00
pl@gohorb.ba-horb.de
e55b9938dc modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Returntyp: Equaldot durch SMALLERDOT ersetzt
2023-04-04 10:30:38 +02:00
luca9913
52b7040337 Break statement in AST eingefügt 2023-04-01 16:27:55 +02:00
luca9913
4986fd0f31 Merge branch 'bigRefactoring' into patternMatching 2023-04-01 15:41:36 +02:00
luca9913
dc8578632c Records in AST aufgenommen 2023-04-01 15:40:12 +02:00
Victorious3
f7b60214fa Change tests 2023-03-28 16:40:06 +02:00
Victorious3
1ad5540500 Fix wrong class generics being used 2023-03-28 13:28:05 +02:00
Victorious3
3963baa9ce Fix equality 2023-03-28 12:02:08 +02:00