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
Martin Plümicke
35696efd1c
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Alle Basistype bei Literalen hinzugefuegt.
2018-11-05 14:33:44 +01:00
Martin Plümicke
f0ba7c03b5
modified: ../../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Int-Literal werden imports beruecksichtigt
2018-11-05 12:01:16 +01:00
Fayez Abu Alia
e6387dca6b
Bug 116 gefixt
2018-11-04 12:49:11 +01:00
Martin Plümicke
5ddc9201f7
new file: ../YTest.java
...
new file: Y.jav
2018-11-04 12:06:09 +01:00
Martin Plümicke
26477b60fb
modified: ../bytecode/javFiles/Matrix.jav
...
Typannotationen wieder entfernt
2018-11-04 11:55:45 +01:00
Martin Plümicke
9bf273ac1a
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Unterscheidung zwischen FUNN-Receiver und anderem Receiver wieder geloescht
(war nur auskmmentiert)
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
Fehler in der Reduce-FUNN-Rege beseitigt
2018-11-04 11:33:32 +01:00
Martin Plümicke
4ef360e41e
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
...
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
FieldVars eingefuegt, dass sie genauso wie localsvars immer die gleiche Typvariable in der abstrakten Syntax bekommen
2018-11-02 22:53:34 +01:00
Martin Plümicke
5849cd6f39
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-31 17:00:34 +01:00
Martin Plümicke
27b73f55e7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
log-Ausgaben eingefuegt
2018-10-31 16:59:53 +01:00
Fayez Abu Alia
a02e5a16a8
Transivitaet-Algo version 1
2018-10-31 16:07:37 +01:00
Fayez Abu Alia
788ddb2bcc
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
modified: test/bytecode/javFiles/Field.jav
Field-Test funktioniert
2018-10-25 12:41:26 +02:00
Fayez Abu Alia
de08e5830d
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-25 12:27:28 +02:00
Fayez Abu Alia
7a1ed7ce6f
Neuer Transivitaet-Algorithmus Step 1 und Step 2
2018-10-25 12:26:56 +02:00
Martin Plümicke
d4c17053d7
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
public void visit(AssignToField assignLeftSide) {
//Hier ist kein Code nötig. Es werden keine extra Constraints generiert
//HIER muss Code rein PL 2018-10-24
assignLeftSide.field.accept(this); eingefuegt
}
2018-10-24 15:36:20 +02:00
Martin Plümicke
e6d8b92ffa
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
kleine Fehler
2018-10-24 14:05:20 +02:00
Martin Plümicke
d7e59ecdc7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Erste Version mit Recursiv oder
modified: ../bytecode/javFiles/Matrix.jav
2018-10-20 17:42:44 +02:00
Martin Plümicke
141194c983
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
erste version mit computeCartesianRecursiveOderConstraints aktiviert
Fehler bei durchschnitt leer wird Element geloescht.
2018-10-19 17:36:23 +02:00
Martin Plümicke
6dce7058a0
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
typeInference <-> typeInferenceOld
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
compute <-> computeOld
2018-10-19 16:24:00 +02:00
Martin Plümicke
225f380735
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
letzte Version bevor computeCartesianRecursiveOderConstraints aktiviert wird
2018-10-19 16:09:59 +02:00