Fayez Abu Alia
0443f1e528
Lambda Test angepasst
2018-08-03 14:02:09 +02:00
Fayez Abu Alia
34969e66ba
bug in Signature gefixt
2018-08-03 13:48:45 +02:00
Fayez Abu Alia
dcbcf873e4
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-01 14:04:06 +02:00
Fayez Abu Alia
deb632050a
LDC2_W fuer Long verwendet. Tests bereinigt.
2018-08-01 14:03:23 +02:00
JanUlrich
acf8c108e8
Diamantoperator
2018-07-26 16:25:54 +02:00
JanUlrich
968dc06edc
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-26 15:16:28 +02:00
JanUlrich
47808c4e6f
Diamantoperator
2018-07-26 14:57:13 +02:00
Fayez Abu Alia
5029cca0f1
Transivitaet Berechnung bei TPHs korrigiert
2018-07-26 14:37:11 +02:00
JanUlrich
79eb3135d6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-26 14:04:12 +02:00
Fayez Abu Alia
adf675e595
Bug 98 gefixt, kleine Aenderung in Signature Klasse und Tph4 Test eingefuegt
2018-07-25 16:45:59 +02:00
Fayez Abu Alia
f3e60e50ef
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-25 11:01:33 +02:00
Fayez Abu Alia
30f75f2f17
LambdaTest
2018-07-25 11:01:03 +02:00
Martin Plümicke
4e5c75673d
new file: ../../test/bytecode/Tph3Test.java
...
new file: ../../test/bytecode/javFiles/Tph3.jav
Test mit wechselseitiger Rekursion
2018-07-19 13:57:01 +02:00
Martin Plümicke
2421dd0222
modified: ../../test/bytecode/LambdaTest.java
...
jetzt korrekt
modified: ../../test/bytecode/Tph2Test.java
jetzt korrekt
modified: ../../test/bytecode/TphTest.java
jetzt korrekt
modified: ../../test/bytecode/applyLambdaTest.java
jetzt korrekt
modified: ../../test/bytecode/javFiles/Tph.jav
Rueckgabewert veraendert
2018-07-19 13:54:31 +02:00
Fayez Abu Alia
14be882b7b
LambdaTest Funktioniert.
2018-07-18 22:49:21 +02:00
Martin Plümicke
448d3e04f8
modified: ../../test/bytecode/LambdaTest.java
2018-07-18 17:56:20 +02:00
Martin Plümicke
fe99db81b3
modified: ../../test/bytecode/LambdaTest.java
...
Lambda-Ausruck wird ausgewertet. Funktioniert nicht, vermutich, weil Lambda-Methode apply private
2018-07-18 17:54:44 +02:00
Martin Plümicke
c3ca4777bb
modified: ../../test/bytecode/LambdaTest.java
...
noch unvllstaendig
modified: ../../test/bytecode/MatrixTest.java
Test korrekt
modified: ../../test/bytecode/javFiles/Matrix.jav
import byte entfernt, so dass Laufzeit passt
2018-07-18 17:01:01 +02:00
Martin Plümicke
16b7db9218
modified: test/bytecode/MatrixTest.java
...
Test einfeguegt nicht getestet
modified: test/bytecode/OLTest.java
Test eingefuegt
modified: test/bytecode/javFiles/OL.jav
- Main in OLMain umbenannt
- Klassen publich gemacht
2018-07-18 15:34:49 +02:00
Fayez Abu Alia
2d5f03a3e0
Bugs 89 und 90
2018-07-18 13:51:05 +02:00
Martin Plümicke
fd64b84072
modified: TYPEStmt.java
...
Bei der Addition + Abfragen eingefuegt, ob die Subtypen von Number jeweils import sind. Nur dann werden Annahmen erstellt.
modified: ../../../../../test/bytecode/javFiles/Matrix.jav
modified: ../../../../../test/bytecode/javFiles/OL.jav
2018-07-17 17:38:00 +02:00
Martin Plümicke
2a5c727400
new file: applyLambdaTest.java
...
modified: javFiles/Lambda.jav
new file: javFiles/applyLambda.jav
An das JavaTXExamples angepasst
2018-07-14 09:28:13 +02:00
Martin Plümicke
3fedbcc4a0
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
2018-07-13 11:49:43 +02:00
Martin Plümicke
4f84e60246
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-07-12 16:17:07 +02:00
Fayez Abu Alia
d373b3dbf8
merge
2018-07-10 22:26:52 +02:00
Fayez Abu Alia
7c3ca93c0b
Bug 88 gefixt.
...
new file: src/de/dhbwstuttgart/bytecode/ArgumentVisitor.java
Visitor für Argumente des Method Call einer Methode aus Standard-Bibliothek und dient dazu,
wenn die Argument eine primitive Typ besitzt dann wird unboxing gemacht.
Signatur von Konstruktoren angepasst.
2018-07-10 22:15:26 +02:00
Martin Plümicke
72a4c64c5c
modified: ../../test/bytecode/javFiles/Matrix.jav
...
Konstruktoren eingefuegt
2018-07-06 10:37:59 +02:00
Martin Plümicke
72c2e19def
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
...
src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
test/bytecode/javFiles/Lambda.jav
test/typeinference/UnifyTest.java
modified: src/de/dhbwstuttgart/.DS_Store
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
modified: src/de/dhbwstuttgart/bytecode/descriptor/DescriptorToString.java
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/signature/TypeToSignature.java
modified: src/de/dhbwstuttgart/bytecode/utilities/MethodFromMethodCall.java
modified: src/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/Matrix.jav
modified: test/javFiles/Lambda.jav
modified: test/javFiles/Matrix.jav
modified: test/javFiles/Vector.jav
modified: test/typeinference/UnifyTest.java
2018-07-05 00:54:40 +02:00
Fayez Abu Alia
bd0bfed2cb
Matrix Test läuft. Code muss noch aufgeräumt werden
2018-07-04 22:18:16 +02:00
JanUlrich
80b4f631ed
Verzeichnis test/logfiles anfügen
2018-07-04 12:36:59 +02:00
Martin Plümicke
cee86a6b61
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-04 12:07:21 +02:00
Martin Plümicke
f1f34a6733
modified: test/javFiles/Matrix.jav
2018-07-04 12:07:11 +02:00
Martin Plümicke
1a2454e00b
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Kommentare zur Max Min optimierung rasugenommen
2018-07-04 11:47:02 +02:00
Martin Plümicke
bc1a796e28
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-07-03 11:54:24 +02:00
Fayez Abu Alia
9f53d1fdc2
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-03 11:20:33 +02:00
Fayez Abu Alia
69706ee1d2
Bug 82 gefixt und getestet. Descriptor von MethodCall von Interface korrigiert.
2018-07-03 11:15:58 +02:00
Martin Plümicke
b8e229cf3f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../javFiles/Matrix.jav
2018-07-02 17:24:16 +02:00
Martin Plümicke
e0c5afcd6d
modified: test/bytecode/javFiles/Lambda.jav
...
modified: test/javFiles/Vector.jav
modified: test/typeinference/UnifyTest.java
2018-07-02 11:11:29 +02:00
JanUlrich
9123e222f4
Vector TEst anfügen
2018-06-28 16:47:05 +02:00
Fayez Abu Alia
29bd9a3f4f
remove logFile
2018-06-27 15:39:04 +02:00
Fayez Abu Alia
7926c25c7d
Soviel wie möglich unnötige TPHs aus Signaturen von Paramtrisierten Typen entfernt
2018-06-27 15:20:35 +02:00
Fayez Abu Alia
b4c604e2b1
Bug in der Methode simplifyPairs gefixt.
...
Bug 82 gefixt.
TPHs in paramtrisierten Typen als TypeVariablen in Signature hinzugefügt.
Lambda.jav funktioniert.
2018-06-27 14:49:22 +02:00
Martin Plümicke
d8bb4d6188
modified: test/bytecode/javFiles/Lambda.jav
...
Lambda auf apply angepasst
2018-06-23 10:54:14 +02:00
Martin Plümicke
0ecaf36648
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert,
weil es im Moment nur double Literals gibt.
modified: test/javFiles/Lambda.jav
2018-06-23 10:42:46 +02:00
Martin Plümicke
2eb7a63480
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
FunN$$ eingefuegt
modified: src/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Methodcall einige Bugs sowohl beim apply als uch bei allen anderen gefixt.
modified: test/javFiles/Lambda.jav
2018-06-23 01:05:13 +02:00
Martin Plümicke
1991bbbcd3
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
FunN-Types werden nach RefTypes mit FunN$$ nach Unifikation zurueckkonvertiert.
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Faculty.jav
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/OL.jav
modified: test/javFiles/Lambda.jav
2018-06-21 09:51:05 +02:00
Martin Plümicke
b5bc9fa01a
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
2018-06-20 20:27:19 +02:00
Martin Plümicke
a92521f04a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-20 20:06:37 +02:00
Martin Plümicke
895b5a972e
new file: doc/PluginBau.pdf
...
modified: src/de/dhbwstuttgart/typedeployment/TypeInsert.java
modified: src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java
equals Methoden eingefuegt um Marker nur einmal im Plugin zu haben
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/OL.jav
modified: test/typeinference/UnifyTest.java
2018-06-20 19:52:58 +02:00
Fayez Abu Alia
11649b39d3
generateBCForFun() um Parameter path erweitert.
2018-06-20 18:15:44 +02:00
