Commit Graph

2554 Commits

Author SHA1 Message Date
337ff8b865 Fix incorrect signatures 2023-05-24 16:51:53 +02:00
1d7e755a98 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-05-24 13:53:36 +02:00
67a582b4a2 Flatten generic function types 2023-05-24 13:53:23 +02:00
pl@gohorb.ba-horb.de
034a398515 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-05-22 14:40:50 +02:00
pl@gohorb.ba-horb.de
58a72b0286 new file: resources/AllgemeinTest/StreamTest.jav
modified:   src/test/java/AllgemeinTest.java
2023-05-22 14:40:35 +02:00
677d68428d Merge branch 'fixPlugin' into targetBytecode 2023-05-16 14:52:45 +02:00
d2ef5ccb24 Update plugin installation 2023-05-16 14:52:31 +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
pl@gohorb.ba-horb.de
9d9a1f6614 modified: src/test/java/AllgemeinTest.java
Twice in Allgemeintest reingenommen
2023-05-10 13:27:13 +02:00
pl@gohorb.ba-horb.de
0b33948945 modified: resources/insertGenericsJav/TestContraVariant.jav 2023-05-09 14:36:07 +02:00
pl@gohorb.ba-horb.de
5e1631439a modified: resources/insertGenericsJav/TestContraVariant.jav 2023-05-09 14:28:32 +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
f6a4fe8142 modified: resources/bytecode/javFiles/Scalar.jav 2023-04-04 16:00:54 +02:00
pl@gohorb.ba-horb.de
f6fe3a68aa new file: resources/bytecode/javFiles/Scalar.jav 2023-04-04 15:54:41 +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
Victorious3
aa9782edd7 Fix test case 2023-04-04 13:09:05 +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
Victorious3
b9f19cc105 Write tx signature to constant pool 2023-03-24 15:14:17 +01:00
Victorious3
cf2d612870 Fix TX Signature by adding additional prameters to every method and constructor 2023-03-24 14:51:57 +01:00
Victorious3
b55fc71811 Let generateClassFiles accept multiple arguments 2023-03-24 13:27:29 +01:00
luca9913
9a780127c0 Grammatik um recordPattern erweitert 2023-03-24 04:44:52 +01:00
luca9913
0311f5ed77 Test Case für geschachtelte Pattern erstellt 2023-03-22 18:42:13 +01:00
luca9913
b1b7c23166 Switch statement in GatherNames für verschieden Deklarations-Typen 2023-03-22 18:41:59 +01:00