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
5a3145281e
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-19 14:21:27 +01:00
Fayez Abu Alia
5624af609c
Simplify fuer TPH Method < TPH Field angepasst
2018-12-19 14:18:50 +01:00
Martin Plümicke
a4eaaa748e
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-19 14:09:48 +01:00
Martin Plümicke
83b9f7edb8
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
Conflicts:
src/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.
Please enter the commit message for your changes. Lines starting
with '#' will be ignored, and an empty message aborts the commit.
Committer: Martin Plümicke <pl@macmini_pl.verw.ba-horb.de>
On branch bytecode2
Your branch and 'origin/bytecode2' have diverged,
and have 1 and 2 different commits each, respectively.
(use "git pull" to merge the remote branch into yours)
All conflicts fixed but you are still merging.
Changes to be committed:
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-12-19 14:08:42 +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
c1a4617085
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Loeschen von Ueberzaehlugen Elementen eingefuegt.
2018-12-14 16:51:02 +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
Fayez Abu Alia
dab0dc180c
Aenderung in Signature-Wildcars rueckgaengig gemacht
2018-12-06 11:08:03 +01:00
Martin Plümicke
2d73b4e47f
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Argumente von Konstruktore auch mit Varaincen und not wildcardable versehen
2018-12-06 10:43:46 +01:00
Martin Plümicke
54325d5168
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
...
new Arraylist erzeugt beim setzen der Initializer in den Pseudoconstruktor
2018-12-04 15:30:04 +01:00
Fayez Abu Alia
af6537841c
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
...
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/utilities/KindOfLambda.java
modified: src/de/dhbwstuttgart/bytecode/utilities/Simplify.java
modified: src/de/dhbwstuttgart/syntaxtree/Constructor.java
modified: test/bytecode/MatrixOpTest.java
modified: test/bytecode/YTest.java
modified: test/bytecode/javFiles/OL.jav
2018-12-04 15:01:50 +01:00
Martin Plümicke
964b73e8c4
modified: ../../src/de/dhbwstuttgart/syntaxtree/Constructor.java
...
In der abstrakten Syntax Einbau vom super-Konstruktor Aufrufen in den Konstruktoren entfernt.
Dies muss nun beim Bytecode jeweils eingefügt werden
2018-12-03 15:06:56 +01:00
Martin Plümicke
c7c9f65ecf
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-11-26 11:00:58 +01:00
Martin Plümicke
416d68bcb0
Aenderugen siehe http://bugzilla.ba-horb.de/show_bug.cgi?id=124
...
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
Zusäztlich Ein Fehler in der Trennung von Konstruktoren und Methoden gefixt.
modified: ../../src/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
modified: ../../src/de/dhbwstuttgart/syntaxtree/Constructor.java
modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
modified: ../../src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
modified: ../../test/bytecode/MatrixOpTest.java
2018-11-26 10:59:06 +01:00
Fayez Abu Alia
5c74c69b9e
Bytecode fuer Lambdas in denen Variablen von lexical scope verwendet werden
2018-11-23 14:30:15 +01:00
Martin Plümicke
4da4966b86
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-11-21 23:17:17 +01:00
Fayez Abu Alia
7bfc222037
Bug in Simplify-Algo gefixt
2018-11-21 11:58:58 +01:00
Fayez Abu Alia
a269ee9690
TPHExtractor verbessert, Transivitat-Algortmus ergaenzt und JUnit Tests dazu geschrieben. FacultyTest funktioniert
2018-11-15 20:52:27 +01:00
Martin Plümicke
134496129a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Conflicts:
src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
2018-11-15 16:04:16 +01:00
Fayez Abu Alia
d4b6073760
Faculty funktioniert rihtig
2018-11-14 16:19:25 +01:00
Fayez Abu Alia
2275153590
bug gefixt methodCall in MatrixOP
2018-11-14 13:26:37 +01:00
Fayez Abu Alia
95043455fa
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-11-14 13:02:53 +01:00
Fayez Abu Alia
2ef7bae78a
e.printStackTrace in MethodCall entfernt
2018-11-14 12:51:41 +01:00
Fayez Abu Alia
0ceae1ebb7
Bug 122 gefixt. MatrixTest und OLTest funktionieren
2018-11-14 12:11:03 +01:00
Martin Plümicke
07c679a598
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Variance =2 eingefuehrt, wenn Variancen einer Menge unterschiedlich sind (Oer-Constraints)
modified: ../bytecode/MatrixOpTest.java
wieder zum Ausfuehren eingeschaltet
2018-11-13 16:08:07 +01:00
Martin Plümicke
74ad081e78
modified: JavaTXCompiler.java
...
wieder das aus uniy-test hinkopiert
2018-11-13 14:28:33 +01:00
Martin Plümicke
af93ea4750
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-11-13 11:01:23 +01:00
Martin Plümicke
e72310278d
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Oder-Constraints als Subsitutions zu den Substitutions der UnifyPairs hinzugefuegt.
2018-11-12 17:57:51 +01:00
Martin Plümicke
3ce60eec8d
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Rekursionstife dokumentieten eingefuegt.
2018-11-12 11:55:37 +01:00
Fayez Abu Alia
d27e0af57c
Rekursiver Aufruf von Atrributen funktioniert
2018-11-08 13:02:33 +01:00
Martin Plümicke
0a9e325f54
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2018-11-07 17:49:12 +01:00
Fayez Abu Alia
ea65a87336
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-11-07 15:30:04 +01:00
Fayez Abu Alia
623705d38a
(Transivitaet) Algorithmus funktioniert
2018-11-07 15:29:37 +01:00
Martin Plümicke
72fa0978c2
modified: JavaTXCompiler.java
...
Kleinigkeit entfernt, dass varianceInheritance die gesamte variance-Vererbung macht.
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
2018-11-07 13:46:03 +01:00
Martin Plümicke
fc3331d810
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
OderConstraints in Unify integriert
2018-11-06 23:35:57 +01:00
Martin Plümicke
d08708878f
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variance distribut korrigiert
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Fehler im computeCartesianRecursiveOderConstraints beseitigt
modified: ../bytecode/javFiles/Matrix.jav
2018-11-05 23:28:08 +01:00
Martin Plümicke
d5d49ad30e
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
modified: ../../src/de/dhbwstuttgart/bytecode/BytecodeGen.java
modified: ../../src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
new file: ../../src/de/dhbwstuttgart/bytecode/constraint/EqualConstraint.java
new file: ../../src/de/dhbwstuttgart/bytecode/constraint/ExtendsConstraint.java
new file: ../../src/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
new file: ../bytecode/FieldTest.java
modified: ../bytecode/MatrixOpTest.java
modified: ../bytecode/OverloadingSortingTest.java
new file: ../bytecode/YTest.java
new file: ../bytecode/javFiles/Field.jav
modified: ../bytecode/javFiles/Matrix.jav
modified: ../bytecode/javFiles/Sorting.jav
modified: ../bytecode/javFiles/Tph.jav
new file: ../bytecode/javFiles/Y.jav
2018-11-05 14:39:06 +01:00
