JanUlrich
09a6aec65d
Erste Tests und die Möglichkeit generateBytecode null als Pfad zu übergeben
2019-11-24 17:52:02 +01:00
JanUlrich
766e71bb3a
Beginn mit Werksvertrag: Package Support
2019-11-19 21:53:53 +01:00
JanUlrich
802d7726d4
Merge branch 'bigRefactoring' into addPackages
2019-11-19 21:51:14 +01:00
pl@gohorb.ba-horb.de
c68d773486
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Threadsteuerung veranendert, so dass möglichst veile Threads gleichzeitig laufen.
Müsste noch verbessert werden können.
2019-11-18 14:37:59 +01:00
Michael Uhl
52b3498dfb
Vor Fertigstellung Ersetzung Generics.
2019-11-14 14:04:09 +01:00
pl@gohorb.ba-horb.de
00bbd5279f
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
log-File-Ausgabe etwas ergaenzt
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
Fehler korrigiert, dass alle Fieldinitializer bei mehreren Klassen additiv hinzugefuegt werden
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/This.java
toString veranedert
modified: src/test/resources/bytecode/javFiles/mathStruc.jav
leichte Korrektur
new file: src/test/java/bytecode/mathStrucIntegerTest.java
new file: src/test/resources/bytecode/javFiles/mathStrucInteger.jav
mathStruc auf Integer angewandt
new file: src/test/resources/bytecode/javFiles/mathStrucMatrixOP.jav
mathStruc auf MatrixOP angewandt, laeuft noch nicht durch, des halb Test noch nicht eingecheckt
2019-10-24 17:47:51 +02:00
pl@gohorb.ba-horb.de
6c783a18c7
new file: ../../../../../PlugInBau.txt
...
modified: ../../bytecode/javFiles/Faculty.jav
modified: ../../bytecode/javFiles/OL.jav
modified: ../../bytecode/javFiles/Y.jav
modified: ../../bytecode/javFiles/mathStruc.jav
2019-10-22 16:44:38 +02:00
Fayez Abu Alia
8c195601d5
Fixed signature problem for FunN
2019-10-12 11:32:56 +02:00
pl@gohorb.ba-horb.de
37f8f2e1e0
modified: ../../bytecode/javFiles/Y.jav
...
Anwendung von Y eingefuegt.
2019-09-19 13:57:49 +02:00
Fayez Abu Alia
0903efda0d
Fixed bug 115
2019-09-19 13:00:35 +02:00
Michael Uhl
6e9eae38ca
Compile fix.
2019-09-17 09:46:47 +02:00
Michael Uhl
0138e4fe2d
Merge branch 'bytecode2' into simplifyRes
2019-09-17 09:41:08 +02:00
Michael Uhl
9741b5e14e
Merge remote-tracking branch 'origin/bytecode2' into simplifyRes
...
Conflicts:
src/main/java/de/dhbwstuttgart/bytecode/simplifyRes/GenericGenratorResultForSourceFile.java
src/main/java/de/dhbwstuttgart/bytecode/simplifyRes/GenericsGeneratorResultForClass.java
2019-09-17 09:36:56 +02:00
Fayez Abu Alia
c2030123d5
Fixed bugs 163 and 169
2019-09-17 09:33:18 +02:00
Michael Uhl
25fb7a2e28
Plugin: Additional generic insert points.
2019-09-16 11:52:34 +02:00
Fayez Abu Alia
d1637b8eb9
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-08-29 11:50:23 +02:00
Fayez Abu Alia
9abda637a1
Generic generator algorithm - fixed bug
2019-08-29 10:49:18 +02:00
pl@gohorb.ba-horb.de
82c0837d1f
mathStruc.jav hinzugefügt
2019-08-23 15:06:54 +02:00
Fayez Abu Alia
a41e9804a0
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-07-31 13:18:07 +02:00
Fayez Abu Alia
25c685c705
Merged with simplifyRes and cleaned up code
2019-07-31 13:16:14 +02:00
Fayez Abu Alia
3ecb202a90
Generic generator algorithm v1
2019-07-31 11:55:24 +02:00
Fayez Abu Alia
efdb58e67c
Added throw Exception to method getSimplifyResultsByName
2019-07-31 10:33:43 +02:00
Fayez Abu Alia
eed8f32cb7
Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes
2019-07-31 10:27:43 +02:00
Fayez Abu Alia
87d0a46ba5
Generic generator algorithm v0.1
2019-07-31 10:24:58 +02:00
Michael Uhl
5b75250fcf
Merge branch 'bigRefactoring' into simplifyRes
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/bytecode/utilities/SimplifyResult.java
# src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-07-29 16:21:25 +02:00
Michael Uhl
7f29b39195
Generic Method inserts.
2019-07-26 10:12:53 +02:00
Fayez Abu Alia
7a4bc32974
Generic generator algorithm v0.1
2019-07-25 22:24:06 +02:00
Fayez Abu Alia
dfddc44f29
Separated the algorithm into two parts. Part 1 is the simplification of
...
the constraints and part 2 is generation of generics.
2019-07-12 19:50:46 +02:00
Fayez Abu Alia
347d86a379
Genericsgenerator step 2 and 3
2019-07-11 15:52:38 +02:00
Fayez Abu Alia
d77f2176f2
Generics generator step 1
2019-07-10 15:26:16 +02:00
Fayez Abu Alia
4f39eccecb
Removed an old getter method
2019-07-05 13:45:24 +02:00
Fayez Abu Alia
669e7f111f
Separated the generation of bytecode and the calculation of simplify
...
results from each other
2019-07-05 13:29:34 +02:00
pl@gohorb.ba-horb.de
32d12677bf
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-06-28 11:41:47 +02:00
pl@gohorb.ba-horb.de
92b2f5c9cc
modified: src/test/resources/bytecode/javFiles/Faculty.jav
...
} eingefuegt
2019-06-28 11:41:19 +02:00
Fayez Abu Alia
c1e6526b43
Removed unnecessary tests
2019-06-26 12:18:49 +02:00
Fayez Abu Alia
0194e30206
Fixed Bug 150.
2019-06-26 12:16:47 +02:00
Fayez Abu Alia
3c36c61077
Fixed Bugs 159, 162 and 163
2019-06-13 14:01:32 +02:00
Fayez Abu Alia
857d63322e
Fixed Bug 152 Faculty Probleme
2019-06-07 10:28:48 +02:00
Fayez Abu Alia
b801e144c3
Merged with bigRefactoring. Added method to generate signature to
...
FunN-Interfaces. Adapted jav-Files.
2019-06-06 12:15:51 +02:00
Martin Plümicke
f6669f8c13
new file: ../../../java/bytecode/VectorAddTest.java
2019-06-05 10:28:51 +02:00
Martin Plümicke
2b7aef5e87
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Pfad fuer logFile nach JavaCompilerCore/logFiles verlegt.
modified: ../../bytecode/javFiles/OL.jav
modified: ../../bytecode/javFiles/VectorAdd.jav
2019-06-05 10:21:25 +02:00
Michael Uhl
0233426979
Merge remote-tracking branch 'origin/bigRefactoring' into bigRefactoring
2019-05-14 21:54:41 +02:00
Michael Uhl
3d0d11adb7
Code aufgeräumt.
2019-05-14 21:43:32 +02:00
Martin Plümicke
212144db86
renamed: test/java/bytecode/FunOLTest.java -> test/java/bytecode/OLFunTest.java
...
new file: test/resources/bytecode/javFiles/OLFun.jav
2019-05-14 20:30:32 +02:00
Martin Plümicke
bd0517ae29
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
log-File in anderen Pfad
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
substitutions gekapselt
2019-05-14 19:54:51 +02:00
Martin Plümicke
f210dd3c25
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
try der Nullpointer-Exception erweitert.
2019-05-13 11:11:47 +02:00
Martin Plümicke
4602e95f09
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-05-12 20:00:03 +02:00
Martin Plümicke
1ef228a045
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
public volatile UnifyTaskModel usedTasks = new UnifyTaskModel();
auf publich gesetzt
2019-05-12 19:54:30 +02:00
Martin Plümicke
c3c0a11572
Debugabfrage entfernt, die Exception ausgeloest hat
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java
Methoden synchronized gemacht
2019-05-12 19:15:26 +02:00
Martin Plümicke
d14406e474
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../resources/bytecode/javFiles/MatrixOP.jav
2019-05-10 21:23:28 +02:00
Martin Plümicke
a149b0c391
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java
Eigenen Cancel-Mechanismus implementiert
2019-05-10 21:02:24 +02:00
pl@gohorb.ba-horb.de
bfbce81409
Abbruch aller Threads eingebaut
...
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java
2019-05-10 16:30:55 +02:00
Martin Plümicke
985704c0b0
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Wen kein Import für die Addition vorhanden ist, wird Fehler ausgegeben
2019-05-08 08:58:19 +02:00
Michael Uhl
1f20fecfee
ResultPair durchgeschleift.
2019-05-07 10:38:25 +02:00
Michael Uhl
4b8b0ec362
ConcurrentModificationException umgangen.
2019-05-05 22:33:16 +02:00
Michael Uhl
e48f2b2fd5
Merge remote-tracking branch 'origin/bigRefactoring' into bigRefactoring
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/bytecode/BytecodeGen.java
2019-04-27 16:33:20 +02:00
Michael Uhl
11bee80969
Bytecode-Generierung generiert jetzt wieder Bytecode für alle möglichen Typen.
2019-04-27 16:29:38 +02:00
Martin Plümicke
448c489a49
modified: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
...
modified: src/test/resources/bytecode/javFiles/Lambda.jav
modified: src/test/resources/bytecode/javFiles/MatrixOP.jav
modified: src/test/resources/bytecode/javFiles/OL.jav
2019-04-27 15:44:21 +02:00
pl@gohorb.ba-horb.de
1e1eb2a2f2
geändert: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
2019-04-27 14:51:25 +02:00
pl@gohorb.ba-horb.de
4a7c124fd6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-04-27 09:51:22 +02:00
pl@gohorb.ba-horb.de
7d01c866a9
modified: ../src/test/resources/bytecode/javFiles/Id.jav
...
modified: ../src/test/resources/bytecode/javFiles/Matrix.jav
modified: ../src/test/resources/bytecode/javFiles/MatrixOP.jav
modified: ../src/test/resources/bytecode/javFiles/OL.jav
2019-04-26 14:12:46 +02:00
Fayez Abu Alia
73f412d22d
Klassendatei fuer FunN beim Methodaufruf wird erzeugt, wenn der Receiver
...
den Typ FunN besitzt.
Die Loesung vom Duplicate Field Problem wird angepasst.
2019-04-26 11:56:58 +02:00
Fayez Abu Alia
9ffc74467b
Wenn ein Attribut mehrere Loesungen bekommt, wird die Bytecodeerzeugung
...
abgebrochen und ensprechende Exception geworfen.
2019-04-26 10:27:15 +02:00
Fayez Abu Alia
5950fcc0a9
Neue Klasse MethodCallHelper und Exceptions definiert, die fuer die
...
Uebersetzung von MethodCalls verwendet werden
2019-04-24 15:43:00 +02:00
Martin Plümicke
d2fb17ad4e
Merge branch 'bcGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics
2019-04-21 22:32:20 +02:00
Martin Plümicke
d9f084cd0f
modified: ../../bytecode/javFiles/Faculty.jav
...
neue Imports hinzugefuegt
2019-04-21 22:31:55 +02:00
Michael Uhl
481986e8ab
Kein Compileraufruf bei Type-Insert
...
- ResultPairMap wird wieder geleeert.
2019-04-20 17:22:10 +02:00
Michael Uhl
23c37a8cc2
Richtiges Einsetzen ohne Speichern.
2019-04-19 20:49:28 +02:00
Fayez Abu Alia
6a519ff6dc
Ein Feld wird nur einmal in Bytecode uebersetzt. genIns in ResultSet
...
wird angepasst.
2019-04-18 13:17:50 +02:00
Fayez Abu Alia
5b527ec8ab
Merge branch 'bcGenerics' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics
2019-04-18 10:50:02 +02:00
Fayez Abu Alia
709041f024
Adapted TypedID jav-file
2019-04-18 10:48:59 +02:00
Michael Uhl
905d9e25a2
[PLUGIN]: Filter type insert points after insertion.
2019-04-18 09:48:56 +02:00
Martin Plümicke
e086ff187e
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/ResolvedType.java
...
Attribut additionalGenerics auskommentiert.
2019-04-12 10:41:42 +02:00
Martin Plümicke
588212389a
Die Bestimmung der Constraints aus dem ResolvedType herausgenommen und im ResultSet integriert.
...
Damit kommen immer die gleichen Constraints raus. Diese werden ohnehin in der Bytecodegenerierung
nochmals ausgewertet.
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
Zugriff auf Constraints ueber ResultSet eingefuehrt
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/signature/Signature.java
Zugriff auf Constraints ueber ResultSet eingefuehrt
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/GenericInsertPair.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/PairTPHequalRefTypeOrWildcardType.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/PairTPHsmallerTPH.java
toString veraendert
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
Attribut genIns eingefuehrt, indem alle GenericInsertPairs gespeichert werden, die Form (TPH a <. TPH b)
im Attribut results haben
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../bytecode/javFiles/Id.jav
modified: ../../bytecode/javFiles/MatrixOP.jav
2019-04-12 10:28:39 +02:00
Martin Plümicke
1454281628
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics
2019-04-11 11:57:30 +02:00
Fayez Abu Alia
602216d9e2
Generics beruecksichtigt
2019-04-11 11:26:54 +02:00
Martin Plümicke
e53c29f582
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Typeinference-Exception eingefuegt, wenn kein korrekter Typ inferierbar ist.
modified: ../../resources/bytecode/javFiles/Id.jav
2019-04-06 00:53:35 +02:00
Martin Plümicke
656c77d16b
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-04-05 12:52:28 +02:00
Fayez Abu Alia
9d16855ce2
Bug in Matrix gefixt
2019-04-05 12:38:29 +02:00
Fayez Abu Alia
9d2fdf9692
Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-05 12:06:22 +02:00
Fayez Abu Alia
5c5b1ea2b1
IdTest funktioniert
2019-04-05 12:05:07 +02:00
Martin Plümicke
2e2227b701
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-05 12:00:30 +02:00
Martin Plümicke
16baa5eaa8
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
Konstruktur fuer ReferenceType mit zwei Argumenten versehen, um Generice unterscheiden zu können.
2019-04-05 11:59:34 +02:00
Fayez Abu Alia
588b9ef83a
Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-05 10:44:52 +02:00
Fayez Abu Alia
ee932892c6
subString durch contains ersetzt
2019-04-05 10:43:09 +02:00
Martin Plümicke
547ad9601a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-04 14:08:31 +02:00
Michael Uhl
6c94404f27
[MINOR]: Optimized imports.
2019-03-31 11:45:49 +02:00
Michael Uhl
2b5b677682
Für Eclipse-Plugin: Vorläufige Lösung zum Einsetzen von Generics nur an Klassen ausgeschaltet.
2019-03-31 11:39:57 +02:00
Martin Plümicke
1edc023ed9
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
Generische Typvariablen im Unify durch Tag im ReferenceType eingefuehrt
2019-03-28 17:44:42 +01:00
Martin Plümicke
df0f26c021
:w:wq
2019-03-28 16:55:48 +01:00
Martin Plümicke
0f1526daa2
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
deleted: .gitignore
2019-03-28 15:44:03 +01:00
Michael Uhl
53d1f20a40
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-03-28 14:56:47 +01:00
Michael Uhl
ec4defd087
Getter and setter for token.
2019-03-28 14:56:36 +01:00
Fayez Abu Alia
6a2a8313e6
Generics werden in Signature richtig dargestellt und die passende
...
Deskriptoren werden richtig erzeugt
2019-03-28 14:07:04 +01:00
Fayez Abu Alia
d4a59517d3
Wenn die Klasse keine Generics besitzt und Methoden besitzen Generics
...
wird eine new SimplifyResult Instanz erzeugt, da sonst eine
NullException aufgelöst wird
2019-03-21 12:23:50 +01:00
Fayez Abu Alia
f4b5124fd3
Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-03-21 12:06:01 +01:00
Fayez Abu Alia
c921330b55
Methode getSimplifyList definiert, die eine Liste von Ergebnisse des
...
Simplify-Alg zurueckliefert
2019-03-21 12:03:13 +01:00
Martin Plümicke
4ba4292db4
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-03-20 16:30:21 +01:00
Martin Plümicke
57b5a51895
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-03-20 16:24:55 +01:00
Martin Plümicke
986ce8e6e0
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-03-20 14:35:50 +01:00
Martin Plümicke
8a6646bd7c
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-03-20 13:00:08 +01:00
Martin Plümicke
01a548215a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-03-20 12:53:35 +01:00
Martin Plümicke
66cd1e7012
modified: ../../bytecode/javFiles/MatrixOP.jav
2019-03-20 12:45:17 +01:00
Martin Plümicke
850fe39426
modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java
...
Typen mit Argumenten korrgiert
2019-03-19 16:31:04 +01:00
Martin Plümicke
212aeaa3a0
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-03-18 16:14:13 +01:00
Michael Uhl
7cb2eed36e
Logger comes from plugin now.
2019-03-18 09:33:22 +01:00
Martin Plümicke
82f330eab5
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../resources/bytecode/javFiles/Matrix.jav
2019-03-17 17:44:09 +01:00
Michael Uhl
f25ba4d13e
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-03-15 10:53:10 +01:00
Michael Uhl
4d4be5420b
Anpassung asynchroner Aufruf des Plugins
...
========================================
UnifyResultListener muss übergeben werden, da sonst Ergebnisse gemeldet werden (notify), ohne dass das Plugin als UnifyResultListener registriert wurde.
2019-03-15 10:52:31 +01:00
Martin Plümicke
a01779d6df
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
auskommentierter Code der nach checkA verschoben wurde geloescht
2019-03-14 00:27:21 +01:00
Martin Plümicke
44ed1d8e8d
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Die Ueberpruefung von a bzw. nSaL in Methode checkA ausgelagert und für die Faelle a <. th und ty <. a implementiert.
2019-03-14 00:20:19 +01:00
Martin Plümicke
75adbaf579
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-03-07 13:45:03 +01:00
Martin Plümicke
411629279d
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
...
Kommentar eingefuegt
2019-03-07 13:44:29 +01:00
Martin Plümicke
47783083b0
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Conflicts:
src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
It looks like you may be committing a merge.
If this is not correct, please remove the file
.git/MERGE_HEAD
and try again.
2019-03-07 13:42:26 +01:00
Martin Plümicke
94c32609c6
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
disableCondWildcards wird aufgerufen
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
/**
* wenn in einem Paar bestehend aus 2 Typvariablen eine nicht wildcardtable ist,
* so beide auf nicht wildcardtable setzen
*/
public void disableCondWildcards()
eingefuegt
2019-03-07 13:37:08 +01:00
Martin Plümicke
6175fb3ee3
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2019-03-07 09:17:05 +01:00
Martin Plümicke
2bd6147517
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Noch einige Fehler
2019-03-07 09:14:41 +01:00
Martin Plümicke
728b729f08
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
in calculatePairSets werden andere Constraints fuer die gleiche Variable betrachtet
Sollte aber nach computeCartesianRecursive verschoben werden.
2019-03-05 00:24:11 +01:00
Martin Plümicke
27c6351aed
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Anfang Paare zusammenfassen
2019-03-01 16:52:59 +01:00
Martin Plümicke
fc14cf9893
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
subst-Anwendung gleich am Anfang von unify eingefuehrt
2019-02-28 18:29:08 +01:00
Martin Plümicke
b46e0b855c
modified: ../../resources/bytecode/javFiles/MatrixOP.jav
2019-02-28 15:38:30 +01:00
Martin Plümicke
88ec8823fd
modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java
...
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
deleted: ../../../main/java/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
Es wird jetzt FunN-Type FunN$$ geparst
Der Typ FunN wurde entfernt
Der Name des Typs FunNType wurde um $$ am Ende ergänzt
2019-02-27 16:04:55 +01:00
Fayez Abu Alia
8a5dbb28ac
Bug gefixt: genericList als Paramater uebergeben
2019-02-25 19:20:11 +01:00
Fayez Abu Alia
6c19a9f78c
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-21 13:35:07 +01:00
Fayez Abu Alia
3e186334a2
Simpify Algo korrigiert so dass die lokalen Variablen der Methode beruecksichtigt werden
2019-02-21 13:34:36 +01:00
Martin Plümicke
fcad60996c
modified: de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2019-02-20 17:53:45 +01:00
Martin Plümicke
9c648546e4
modified: de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
FileWriter durch Writer ersetzt
2019-02-20 17:36:07 +01:00
Martin Plümicke
8e4b39b05e
modified: ../../test/resources/bytecode/javFiles/Inf.jav
2019-02-20 16:03:56 +01:00
Martin Plümicke
926d911d21
modified: ../bytecode/MatrixTest.java
2019-02-20 15:08:06 +01:00
Fayez Abu Alia
d010c843df
Bug in MatrixTest gefixt. Die richtige Descriptor von MethodCalls wird erzeugt
2019-02-20 12:15:55 +01:00
Martin Plümicke
72705ac868
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
close log-Files
TypeUnifyTask in TypeUnify2Task bei Abarbeitung oderconstraints umgetauscht
2019-02-20 09:40:06 +01:00
Martin Plümicke
362e797b10
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-02-19 17:51:11 +01:00
Martin Plümicke
1f12aaec82
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Einen Fall ? extends/super a <.? a ergaenzt bei dem compare falsches Ergbnis geliefret hat
2019-02-18 22:36:06 +01:00
Martin Plümicke
08d69ce6e3
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
zurueckumwandlung von den Unifytypen in UnifyResultModel verlegt.
2019-02-17 08:51:23 +01:00
Martin Plümicke
396efb52de
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
subst-Anwendung auf oderconstraints eingebaut
2019-02-15 00:00:41 +01:00
Fayez Abu Alia
67469bbb84
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-14 11:44:37 +01:00
Fayez Abu Alia
d2581b02ab
modified: src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Bug in generate BC fuer if(Boolean) gefixt
modified: src/main/java/de/dhbwstuttgart/bytecode/signature/Signature.java
new file: src/main/java/de/dhbwstuttgart/bytecode/utilities/ConstraintsFinder.java
Fasst alle Constraints mit der gleichen Linke-Seite in einer Liste zusammen
new file: src/main/java/de/dhbwstuttgart/bytecode/utilities/NameReplacer.java
Ersetzt die gleiche Type Variables durch einen neuen eindeutigen Namen
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/Simplify.java
Algorithmus angepasst
modified: src/test/java/bytecode/FieldTphMMethTest.java
Test funktioniert
new file: src/test/java/bytecode/InfTest.java
Infimum Test funktioniert
new file: src/test/java/bytecode/simplifyalgo/FinderTest.java
Tests fuer die HilfsMethoden
2019-02-14 11:37:15 +01:00
Martin Plümicke
db91e73750
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
aParDef wird auch ausgewertet
modified: src/test/resources/bytecode/javFiles/MatrixOP.jav
2019-02-06 18:15:39 +01:00
Martin Plümicke
e52181a0c7
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../resources/bytecode/javFiles/Matrix.jav
2019-02-04 23:32:52 +01:00
Michael Uhl
28c6f78715
Merge branch 'unify-test' into bytecode2
2019-02-02 15:50:34 +01:00
Michael Uhl
2eaebbf0f8
FileWriter -> Writer.
2019-02-01 22:56:30 +01:00
Michael Uhl
1e5e9f8cd4
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-02-01 22:15:28 +01:00
Martin Plümicke
33f2bf3d21
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java
Asynchrone Variante soweit ok
2019-01-31 15:08:36 +01:00
Martin Plümicke
aa0b157374
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java
modified: src/test/resources/bytecode/javFiles/MatrixOP.jav
Erster Ansatz asyncrone Threads
2019-01-30 09:11:33 +01:00
Pluemicke Martin
aaae762ca8
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
solved
2019-01-29 15:02:59 +01:00
Martin Plümicke
9e1d58f4b1
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.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/OrderingUnifyPair.java
Threads soweit fertig
2019-01-29 14:51:19 +01:00
Pluemicke Martin
7f239d11ee
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-01-29 14:48:54 +01:00
Pluemicke Martin
ca7c76a99a
geändert: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
geändert: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/constraints/Pair.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-01-29 14:47:20 +01:00
Martin Plümicke
26634bb038
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-01-25 22:26:38 +01:00
Martin Plümicke
9dcb1f76ca
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-01-25 22:22:16 +01:00
Martin Plümicke
e0da6b3d31
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-01-25 22:21:04 +01:00
Martin Plümicke
3c0beabc1b
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
reduce2 nochmals angepasst
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
- Fehler behoben
- In den Thread nur noch Element von nextSet verschieben, die auf alle Faele berechnet werdne muessen
2019-01-25 22:19:32 +01:00
Michael Uhl
e83d59d97d
Observer Pattern für ResultSet.
2019-01-24 11:16:26 +01:00
Michael Uhl
449a11f433
Observer für TypeResults.
2019-01-23 22:25:30 +01:00
Martin Plümicke
25487469c7
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
reduceEq-Regel korrigiert
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Threads soweit fertig
2019-01-23 01:31:25 +01:00
Martin Plümicke
188ea1f7f8
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
einige Aenderungen, die parallele Verarbeitung ermoeglicht
2019-01-20 21:49:22 +01:00
Martin Plümicke
cf951043ef
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-01-18 00:54:43 +01:00
Fayez Abu Alia
fd72ed340d
Test Erzeugung Type-Variablen fuer Klassen
2019-01-17 11:26:09 +01:00
Martin Plümicke
38d4481756
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Es muss noch geklaert werden, wann ein neuer Thread generiert werden darf.
modified: ../../resources/bytecode/javFiles/MatrixOP.jav
2019-01-16 22:57:24 +01:00
Pluemicke Martin
01891c9513
neue Datei: TypeUnify2Task.java
2019-01-16 20:25:54 +01:00
Martin Plümicke
aae2e5244b
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Erster Ansatz Parallelisierung
2019-01-16 17:39:01 +01:00
Fayez Abu Alia
d6961b0d0b
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-01-16 14:42:07 +01:00
Fayez Abu Alia
d4d668b662
Simplify fuer Klassen Type Variablen
2019-01-16 14:41:33 +01:00
Martin Plümicke
8c517e7f4a
new file: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java
...
modified: ../../resources/bytecode/javFiles/VectorSuper.jav
2019-01-16 10:27:15 +01:00
Martin Plümicke
b3622df2fd
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-01-15 22:45:58 +01:00
Martin Plümicke
fa42a69374
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
- Hastables fuer greater und smaller eingefuehrt
- ? extends/super a <. a = -1 hinzugefuegt
2019-01-15 15:58:39 +01:00
Martin Plümicke
eb43a616e2
new file: ../../../java/bytecode/VectorSuperTest.java
...
new file: VectorSuper.jav
2019-01-13 19:22:48 +01:00
Martin Plümicke
faccdf5896
Ordnung fuer Variablen unterschieden, ob sie innere Typen sind oder nicht
...
modified: ../../core/JavaTXCompiler.java
modified: UnifyTypeFactory.java
Bestimmung welche Typevariablen innere Typen sind
modified: ../../typeinference/unify/TypeUnifyTask.java
modified: ../../typeinference/unify/model/OrderingUnifyPair.java
Ordnungsfunktion geaendert
modified: ../../typeinference/unify/model/PlaceholderType.java
modified: ../../typeinference/unify/model/UnifyPair.java
2019-01-13 00:42:33 +01:00
Martin Plümicke
6de1c50542
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
Auswahl des Tphs bei der Abfrage, ob ein größerer oder kleinerer Typ des vorherigen bestimmt wurde
korrigiert
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
innerType eingeführt
modified: ../../bytecode/javFiles/MatrixOP.jav
deleted: ../Field.java
deleted: ../Import.java
deleted: ../Lam1.java
deleted: ../LamRun.java
deleted: ../MethFieldVar.java
deleted: ../Subclass.java
deleted: ../SuperTest.java
deleted: ../Superclass.java
deleted: ../TestMyTest.java
deleted: ../testF.java
deleted: ../testTets.java
deleted: ../testTetsF.java
2019-01-12 18:19:16 +01:00
Martin Plümicke
58d757398d
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
zurueck zum alten Zustand
2019-01-11 23:00:27 +01:00
Martin Plümicke
755fd5c821
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
deleted: ../javFiles/AddLong.jav
deleted: ../javFiles/EmptyClass.jav
deleted: ../javFiles/EmptyMethod.jav
deleted: ../javFiles/Expressions.jav
deleted: ../javFiles/FC_Matrix.jav
deleted: ../javFiles/Faculty.jav
deleted: ../javFiles/FacultyIf.jav
deleted: ../javFiles/FacultyTyped.jav
deleted: ../javFiles/Fields.jav
deleted: ../javFiles/Generics.jav
deleted: ../javFiles/IfTest.jav
deleted: ../javFiles/Import.jav
deleted: ../javFiles/Lambda.jav
deleted: ../javFiles/Lambda2.jav
deleted: ../javFiles/Lambda3.jav
deleted: ../javFiles/LambdaField.jav
deleted: ../javFiles/LambdaRunnable.jav
deleted: ../javFiles/ListenerOverload.jav
deleted: ../javFiles/Matrix.jav
deleted: ../javFiles/Meth_Gen.jav
deleted: ../javFiles/MethodCallGenerics.jav
deleted: ../javFiles/Methods.jav
deleted: ../javFiles/MethodsEasy.jav
deleted: ../javFiles/Op1.jav
deleted: ../javFiles/Package.jav
deleted: ../javFiles/Sorting.jav
deleted: ../javFiles/Subclass.jav
deleted: ../javFiles/Superclass.jav
deleted: ../javFiles/Vector.jav
deleted: ../javFiles/fc.jav
deleted: ../javFiles/mathStruc.jav
deleted: ../javFiles/test.jav
deleted: ../javFiles/test1.jav
2019-01-11 22:52:39 +01:00
Martin Plümicke
c1e4f14fa4
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-01-11 19:27:19 +01:00
Martin Plümicke
7d514d617c
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Nur log-Ausgaben hinzugefuegt
2019-01-11 19:24:23 +01:00
Martin Plümicke
4490de575c
Merge branch 'bytecode2' into unify-test
2019-01-11 15:16:29 +01:00
Martin Plümicke
752b68d447
new file: ../../java/bytecode/Tph6Test.java
2019-01-11 14:50:19 +01:00
Martin Plümicke
edd263ac15
bytecodeJavFiles in bytecode/javFiles geanedert
...
Please enter the commit message for your changes. Lines starting
2019-01-11 14:45:12 +01:00
Martin Plümicke
d0a261f55c
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Set<UnifyType> fBounded = new HashSet<>(pair.getfBounded()); //PL 2019-01-09 new HashSet eingefuegt
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../../resources/bytecode/javFiles/Matrix.jav
2019-01-09 00:40:24 +01:00
Martin Plümicke
72a84323de
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/Match.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
im Fall 1 die Substitutionen der Typeplaceholders der Muster entfernt
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java
modified: ../../bytecode/javFiles/MatrixOP.jav
modified: ../../bytecode/javFiles/Merge.jav
2019-01-04 01:19:31 +01:00
Fayez Abu Alia
9e0a6151fd
Bug in der Implemintierung von Simplify Algorithmus gefixt
2019-01-03 21:05:36 +01:00
Martin Plümicke
013539e7e8
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Throwable wieder in Exception zurückgewandelt
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
Log-Files um Name des jeweiligen Jav-Files ergaenzt
modified: ../../javFiles/Faculty.jav
2018-12-30 19:02:40 +01:00
Fayez Abu Alia
e07b189ba4
MatrixOP funktioniert (mit JUnit wird class file erzeugt) und dann mit TestBytecode.java getestet
2018-12-29 21:49:01 +01:00
Martin Plümicke
531b484c53
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Pfad des log-Files angepasst
Error-Ausgabe in der log-File Exception eingefuegt.
2018-12-29 10:20:19 +01:00
Martin Plümicke
cbe77d3722
modified: src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
In Zeile 833 catch Exception durch catch Throwable ersetzt, da der UnsupportedClassVersionError geworfen wurde
modified: src/test/java/bytecode/FacTest.java
modified: src/test/java/bytecode/FacultyTest.java
modified: src/test/java/bytecode/FieldTest.java
modified: src/test/java/bytecode/FieldTph.java
modified: src/test/java/bytecode/FieldTph2Test.java
modified: src/test/java/bytecode/FunOLTest.java
modified: src/test/java/bytecode/GenTest.java
modified: src/test/java/bytecode/GreaterEqualTest.java
modified: src/test/java/bytecode/GreaterThanTest.java
modified: src/test/java/bytecode/LambdaCapturetest.java
modified: src/test/java/bytecode/LambdaTest.java
modified: src/test/java/bytecode/LambdaVoidTest.java
modified: src/test/java/bytecode/LessEqualTest.java
modified: src/test/java/bytecode/LessThanTest.java
modified: src/test/java/bytecode/MatrixOpTest.java
modified: src/test/java/bytecode/MergeTest.java
modified: src/test/java/bytecode/OLTest.java
modified: src/test/java/bytecode/OpTest.java
modified: src/test/java/bytecode/OverloadingSortingTest.java
modified: src/test/java/bytecode/OverloadingTest.java
modified: src/test/java/bytecode/PlusTest.java
modified: src/test/java/bytecode/PostIncTest.java
modified: src/test/java/bytecode/PreIncTest.java
modified: src/test/java/bytecode/RelOpsTest.java
modified: src/test/java/bytecode/SortingTest.java
modified: src/test/java/bytecode/SubMatTest.java
modified: src/test/java/bytecode/Tph2Test.java
modified: src/test/java/bytecode/Tph3Test.java
modified: src/test/java/bytecode/Tph5Test.java
modified: src/test/java/bytecode/TphTest.java
modified: src/test/java/bytecode/WhileTest.java
modified: src/test/java/bytecode/YTest.java
Pfade angepasst
2018-12-28 23:39:59 +01:00
Martin Plümicke
20abd181b6
modified: ../../pom.xml
...
modified: ../../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Abfrage, ob OderConstraints empty sind, bei der Unify-Abbruchbedingungen eingefuegt
modified: ../../src/test/java/bytecode/BinaryTest.java
modified: ../../src/test/java/bytecode/MatrixTest.java
modified: ../../src/test/java/bytecode/applyLambdaTest.java
Pfadanpassungen
2018-12-28 19:37:45 +01:00
Martin Plümicke
f8d3263d24
Pfadumstellung
2018-12-21 15:27:29 +01:00
Martin Plümicke
ffa30e50c3
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-12-21 12:19:38 +01:00
Fayez Abu Alia
5798c47d62
Tests funktionieren
2018-12-20 15:19:51 +01:00
Fayez Abu Alia
f21959fef8
Neue Umstellung
2018-12-20 12:26:37 +01:00
Fayez Abu Alia
85fcef8289
commit
2018-12-20 10:25:55 +01:00
Fayez Abu Alia
5624af609c
Simplify fuer TPH Method < TPH Field angepasst
2018-12-19 14:18:50 +01:00
Fayez Abu Alia
b71efd65a0
Tphs einer Methode, die groesser als Tphs der Felder, werden als Class-Generics definiert
2018-12-19 13:20:09 +01:00
Fayez Abu Alia
e380c77ce6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-19 10:13:27 +01:00
Fayez Abu Alia
794412a402
Tph von Felder werden als Class-Generics definiert werden
2018-12-19 10:12:45 +01:00
Martin Plümicke
f256714223
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Returntype der Binary korrigiert.
2018-12-18 16:18:36 +01:00
Martin Plümicke
1931c61392
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Loesung Fehler rausgemacht
2018-12-14 17:46:09 +01:00
Martin Plümicke
a733f373a7
modified: ../../../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-12-14 12:09:12 +01:00
Martin Plümicke
9dbfbe9e6a
modified: ../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2018-12-14 09:31:58 +01:00
Martin Plümicke
6b33fdc5fb
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-12 16:50:38 +01:00
Martin Plümicke
2f9d44d0b0
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
im Max den Fall a <.? ? extends a beruecksichtigt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
; in der Schleife generate fresh Type Var entfernt
2018-12-12 16:49:16 +01:00
Fayez Abu Alia
3bf45888e5
Simplify gefixt
2018-12-12 13:03:53 +01:00