35696efd1c
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Alle Basistype bei Literalen hinzugefuegt.
2018-11-05 14:33:44 +01:00
f0ba7c03b5
modified: ../../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Int-Literal werden imports beruecksichtigt
2018-11-05 12:01:16 +01:00
e6387dca6b
Bug 116 gefixt
2018-11-04 12:49:11 +01:00
5ddc9201f7
new file: ../YTest.java
...
new file: Y.jav
2018-11-04 12:06:09 +01:00
26477b60fb
modified: ../bytecode/javFiles/Matrix.jav
...
Typannotationen wieder entfernt
2018-11-04 11:55:45 +01:00
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
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
5849cd6f39
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-31 17:00:34 +01:00
27b73f55e7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
log-Ausgaben eingefuegt
2018-10-31 16:59:53 +01:00
a02e5a16a8
Transivitaet-Algo version 1
2018-10-31 16:07:37 +01:00
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
de08e5830d
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-25 12:27:28 +02:00
7a1ed7ce6f
Neuer Transivitaet-Algorithmus Step 1 und Step 2
2018-10-25 12:26:56 +02:00
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
e6d8b92ffa
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
kleine Fehler
2018-10-24 14:05:20 +02:00
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
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
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
225f380735
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
letzte Version bevor computeCartesianRecursiveOderConstraints aktiviert wird
2018-10-19 16:09:59 +02:00
6a87f443e4
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-19 13:08:37 +02:00
6ce9f4415e
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
2018-10-18 23:47:38 +02:00
e3f2e4d793
Alle Tests funktionieren
2018-10-18 19:53:41 +02:00
3fb95600a0
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-17 14:30:45 +02:00
94b93c39df
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
...
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
new file: test/bytecode/FieldTest.java
modified: test/bytecode/MatrixOpTest.java
new file: test/bytecode/javFiles/Field.jav
modified: test/bytecode/javFiles/Sorting.jav
Boxing-Problem bei methodCall geloest und Tests funktionieren
2018-10-17 14:29:12 +02:00
60be47c0f1
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-17 07:31:58 +02:00
693b47b619
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/result/ResultSet.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Pair.java
2018-10-12 23:44:48 +02:00
99bf02606b
modified: src/de/dhbwstuttgart/typeinference/result/ResultPair.java
...
toString() eingefuegt
modified: src/de/dhbwstuttgart/typeinference/result/ResultSet.java
toString() eingefuegt
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
int-Lieterals können auch double-Literals sein.
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
kleien Ausgabeerweiterung
2018-10-12 13:17:59 +02:00
2869f07a58
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-10-11 16:58:06 +02:00
2be9055608
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
aufgeraeumt
2018-10-11 16:31:02 +02:00
0d83ee8505
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
...
Zyklen werden abgefangen.
2018-10-11 16:01:26 +02:00
f325b04ee2
Bugs 111 und 114 gefixt. Unboxing wird aufgerufen wenn es noetig ist
2018-10-11 14:17:54 +02:00
56dd759762
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Nur bei leerem Durchscnit filtern geloescht.
2018-10-11 13:09:18 +02:00
1b7bded3c3
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
1. Version läuft aber nicht schnell
2018-10-11 12:40:20 +02:00
bda7dcb5c1
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-11 09:47:55 +02:00
241c7f37d9
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
weitere Element rausfiltern angefangen
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Methode: getGroundBasePair eingefuegt
2018-10-11 00:45:59 +02:00
54b4ad97f6
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-10 14:41:35 +02:00
674233e2f9
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
...
Trennung von Integer und Double in private Expression convert(Java8Parser.LiteralContext literal) eingefuegt
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Typisierung von Literals eingefuegt
modified: ../../test/bytecode/javFiles/MatrixOP.jav
Name Matrix durch MatrixOP ersetzt
2018-10-05 00:23:04 +02:00
b56f18c16e
Unboxing fuer methodcall wird nicht gemacht wenn es sich in Returnstatement befindet. SimplifyPairs fuer Paramtrisierte Typen wird einmal vor die Signatureerzeugung ausgefuehrt und nicht separat. getAllPairs in Signature gefixt.
2018-10-04 12:54:03 +02:00
8e220b81d5
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
bei der der Rueckgabe von subst wurde noch Optional beruecksichtigt
2018-09-27 17:17:36 +02:00
8a43839c28
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Gleichungen a <.? b werden durch a =. b ersetzt und subst angewandt.
deleted: ../../test/bytecode/VectorAddTest.java
modified: ../../test/bytecode/javFiles/Matrix.jav
modified: ../../test/bytecode/javFiles/Sorting.jav
2018-09-27 15:59:57 +02:00
0594fc7381
aufräumen
2018-09-26 16:46:55 +02:00
77a952c997
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-26 16:31:36 +02:00
3c7b1451d4
MatrixTest funktioniert
2018-09-26 16:25:52 +02:00
ceba60cccb
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-26 16:21:22 +02:00
88e2366eab
ListenerOverload Test
2018-09-26 16:21:10 +02:00
334b56234f
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
Conflicts:
test/bytecode/javFiles/VectorAdd.jav
2018-09-26 15:45:23 +02:00
4ace3b6f92
new file: ../../test/bytecode/javFiles/VectorAdd.jav
2018-09-26 15:44:36 +02:00
355df5fab7
new file: ../../test/bytecode/FunOLTest.java
...
new file: ../../test/bytecode/javFiles/FunOL.jav
new file: ../../test/bytecode/vectorAddTest.java
2018-09-26 15:43:27 +02:00
85d5485595
modified: ../../test/bytecode/javFiles/Sorting.jav
...
sort hinzugefuegt
2018-09-26 15:40:51 +02:00
d3d1d658b8
Bug 112 gefixt
2018-09-26 15:37:00 +02:00
