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
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
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
Martin Plümicke
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
Martin Plümicke
6ce9f4415e
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
2018-10-18 23:47:38 +02:00
Fayez Abu Alia
e3f2e4d793
Alle Tests funktionieren
2018-10-18 19:53:41 +02:00
Fayez Abu Alia
3fb95600a0
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-17 14:30:45 +02:00
Fayez Abu Alia
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
Martin Plümicke
60be47c0f1
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-17 07:31:58 +02:00
Martin Plümicke
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
Martin Plümicke
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
Martin Plümicke
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
Pluemicke Martin
2be9055608
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
aufgeraeumt
2018-10-11 16:31:02 +02:00
Fayez Abu Alia
0d83ee8505
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
...
Zyklen werden abgefangen.
2018-10-11 16:01:26 +02:00
Fayez Abu Alia
f325b04ee2
Bugs 111 und 114 gefixt. Unboxing wird aufgerufen wenn es noetig ist
2018-10-11 14:17:54 +02:00
Martin Plümicke
56dd759762
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Nur bei leerem Durchscnit filtern geloescht.
2018-10-11 13:09:18 +02:00
Martin Plümicke
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
Martin Plümicke
bda7dcb5c1
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-11 09:47:55 +02:00
Martin Plümicke
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
Martin Plümicke
54b4ad97f6
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-10 14:41:35 +02:00
Martin Plümicke
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
Fayez Abu Alia
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
Martin Plümicke
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
Martin Plümicke
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
Fayez Abu Alia
3c7b1451d4
MatrixTest funktioniert
2018-09-26 16:25:52 +02:00
Fayez Abu Alia
d3d1d658b8
Bug 112 gefixt
2018-09-26 15:37:00 +02:00
Fayez Abu Alia
2add9f518c
Richtiger Bytecode fuer If-Statements wird erzeugt.
...
modified: test/bytecode/FacultyTest.java
FacultyTest geaendert.
new file: test/bytecode/VectorAddTest.java
VectorAddTest hinzugefuegt.
2018-09-26 13:46:34 +02:00
Martin Plümicke
f46d26e53f
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-19 22:22:36 +02:00
Martin Plümicke
315b6172a0
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java
Die Anzahl der mehrfachen Lösungen bei sorting.jav reduziert
2018-09-19 22:21:07 +02:00
Fayez Abu Alia
673c249b68
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
new file: src/de/dhbwstuttgart/bytecode/IfStatement.java
Bytecode für If statement wir erzeugt aber noch nicht vollständig.
modified: test/bytecode/javFiles/Faculty.jav
Test angepasst.
2018-09-19 15:52:29 +02:00
Fayez Abu Alia
aeb8bb92ed
Bug 108 gefixt
2018-09-19 13:05:00 +02:00
Martin Plümicke
50027a9da0
modified: ../../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variance für Attribute/Fields eingefuegt
new file: ../FacultyTest.java
new file: ../MatrixOpTest.java
new file: ../SortingTest.java
new file: MatrixOP.jav
modified: Sorting.jav
2018-09-11 21:59:20 +02:00
JanUlrich
654f347450
Fehler in Test Lambda beheben
2018-09-07 04:35:58 +02:00
JanUlrich
c72204428f
== Operator anfügen
2018-09-07 01:41:26 +02:00
JanUlrich
1e037a0019
Fehler im Parsen von Typen mit Package Namen behoben
2018-09-07 00:39:31 +02:00
JanUlrich
8759a9cc5d
IfStmt Constraints erstellen
2018-08-30 00:02:17 +02:00
JanUlrich
0ee5a6791d
FunN falsch benannt
2018-08-29 21:48:15 +02:00
JanUlrich
1a8115bf07
Field Initialisierungen anfügen
2018-08-29 02:43:32 +02:00
JanUlrich
b70e261b23
Var Keyword in Java8.g4 Grammatik verlagern
2018-08-24 19:33:55 +02:00
JanUlrich
df95c244bf
add Fields Test. Felder können ohne Typ oder mit var-Keyword initialisiert werden
2018-08-24 18:25:34 +02:00
JanUlrich
1061f355ff
Felder aktivieren
2018-08-20 18:22:21 +02:00
JanUlrich
a823ef2b16
Generics Resolve fixen
2018-08-19 19:42:31 +02:00
Fayez Abu Alia
77d397fc53
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
...
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/signature/TypeToSignature.java
modified: test/bytecode/javFiles/Merge.jav
modified: test/bytecode/javFiles/OL.jav
modified: test/bytecode/javFiles/Tph.jav
modified: test/bytecode/javFiles/Tph3.jav
new file: test/bytecode/javFiles/WC.jav
2018-08-13 18:28:41 +02:00
Martin Plümicke
7d9976e638
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/GenericsResolverSameName.java
...
superwildcard durch extendswildcard ausgetauscht.
2018-08-08 15:32:42 +02:00
Fayez Abu Alia
2bbb6e0b6b
Bug in Signature gefixt. Merge Test tut.
2018-08-08 14:33:31 +02:00
Martin Plümicke
6d34ae89ae
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
logging für TypeUnify aus commit d6364040
2018-08-07 17:38:40 +02:00
JanUlrich
9492c43e70
Merge mit bigRefactoring
2018-08-06 16:43:24 +02:00
JanUlrich
f18083ba06
Merge
2018-08-06 16:41:38 +02:00
JanUlrich
b9aee4da77
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 16:40:08 +02:00
JanUlrich
70972a5cbf
Fehler mit GenericRefTypes in Wildcards beheben
2018-08-06 16:39:49 +02:00
Fayez Abu Alia
f99d4dae5a
DUP Befehl fuer UnaryExpr
2018-08-06 16:14:09 +02:00
Fayez Abu Alia
dc535ad9b7
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 14:47:26 +02:00
Fayez Abu Alia
dd8b4f322e
BinaryTest funktioniert
2018-08-06 14:46:54 +02:00
JanUlrich
af894ebfe4
Fehler mit Wildcards in ASTFactory beheben
2018-08-06 14:03:09 +02:00
JanUlrich
cc676f32c5
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 14:01:53 +02:00
JanUlrich
272948f70d
Fehler mit Wildcards in ASTFactory beheben
2018-08-06 14:01:31 +02:00
Fayez Abu Alia
5d0603f423
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 13:53:19 +02:00
Martin Plümicke
3e9e222d73
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
test/bytecode/javFiles/Lambda.jav
test/bytecode/javFiles/OL.jav
2018-08-06 13:45:20 +02:00
Fayez Abu Alia
52c445435d
MergeTest
2018-08-06 13:25:41 +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
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
14be882b7b
LambdaTest Funktioniert.
2018-07-18 22:49:21 +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
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
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
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
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
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
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
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
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
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
Fayez Abu Alia
660ef68f7e
generateBytecode() um Parameter path erweitert. Alle Tests angepasst
2018-06-20 18:07:17 +02:00
Fayez Abu Alia
23eab0c9a4
TPHs, die nicht in ParameterListe der Methode vorkommen, werden in Signature geschrieben
2018-06-19 14:56:22 +02:00
Fayez Abu Alia
6d70464a1c
TPH X < TPH Y <...< TPH Z vereinfacht => TPH X < TPH Z und Signature-Erzeugung wird angepasst
2018-06-19 13:31:39 +02:00
Martin Plümicke
1437788f5a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-18 11:50:55 +02:00
Fayez Abu Alia
b325e205a1
Bugs gefixt. Bytecode-Erzeugung für MethodCall ergänzt. Bytecode für Matrix-Test (Funktioniert noch nicht ganzErzeugung Signatures und Descriptors verbessert
2018-06-13 15:50:05 +02:00
Fayez Abu Alia
ff2bca5ce5
Alle TPHS einer Methode und pairs (TPH < SuperTPH) werden gesammelt,
...
gemeinsamme TPHs werden bestimmt, die Klassenkopf als Type-Variables
definiert werden sollen.
Erzeugung von Signature angepasst.
2018-06-12 11:41:59 +02:00
Martin Plümicke
814aef082d
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
log-File schreiben entfernt
2018-05-30 18:35:57 +02:00
Martin Plümicke
5a0e53485c
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Unary-Expression SMALLERNEQDOT eingefuegt
modified: test/bytecode/javFiles/Fac.jav
2018-05-30 17:23:55 +02:00
JanUlrich
1ca7fba835
Generics fix
2018-05-30 16:10:20 +02:00
JanUlrich
98eb1827b8
Fix Generics parsing
2018-05-30 15:57:51 +02:00
JanUlrich
ee1fa17aba
Implement convert(ClassOrInterfaceType)
2018-05-30 15:29:59 +02:00
Fayez Abu Alia
66078360da
Alle TPH der Methode werden in eine Liste gespeichert.
...
Bug gefixt => FacTest liefert richtiges Ergebnis.
Deskriptoren von Methoden, in denen TPHs auftauchen, werden erzeugt.
Signaturen von von Methoden, in denen TPHs auftauchen, werden erzeugt.
Test, RückagbeTypen der Methoden = TPH und ParameterTypen = TPH.
2018-05-30 15:27:21 +02:00
JanUlrich
26f24db0a3
Kleiner Fix am ASTWalker
2018-05-28 17:08:20 +02:00
Martin Plümicke
97d893e66b
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
...
merge
2018-05-28 16:36:46 +02:00
Martin Plümicke
57fb90afaf
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
LogFile optional gemacht
2018-05-28 16:35:47 +02:00
JanUlrich
63ac79f02c
Hotfix für Typparsen Problem
2018-05-28 16:21:52 +02:00
JanUlrich
c7042d185f
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-05-28 16:18:49 +02:00
JanUlrich
7e3fca2da9
Hotfix für Typparsen Problem
2018-05-28 16:18:33 +02:00
Martin Plümicke
66587a8f71
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
SMALERNEQDOT in Regel a <!=. Theta korrigiert
SMALERNEQDOT in Regel Theta <!=. a geloescht
2018-05-28 16:07:29 +02:00
Martin Plümicke
581e5e574e
Merge branch 'bytecode2' into plugin
2018-05-25 14:41:22 +02:00
Martin Plümicke
ae14dfd947
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-05-25 14:39:54 +02:00
Martin Plümicke
9d53d9d5d1
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
...
kleiner Fehler korrigiert
modified: test/javFiles/Matrix.jav
2018-05-25 11:16:02 +02:00
Fayez Abu Alia
6fce2760c5
While.jav
2018-05-25 09:53:30 +02:00
Martin Plümicke
1de897fb1f
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
...
System.out.println geloescht
2018-05-24 17:59:51 +02:00
Martin Plümicke
87dede5d5f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
...
F-Bounded Problematik durche neues greater ggf. geloest.
Es werden Falle ausgeschlossen. Diese Faelle muessen noch ergaenzt werden.
2018-05-24 17:45:10 +02:00
Fayez Abu Alia
f085f9f499
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-05-24 16:44:28 +02:00
Fayez Abu Alia
a40d2b991f
kleine Änderung
2018-05-24 16:44:05 +02:00
Martin Plümicke
704415ae3b
Merge branch 'unifyOptimierung' into plugin
...
fixed test/javFiles/Matrix.jav
2018-05-24 16:43:31 +02:00
Martin Plümicke
65531ac12e
modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/Pair.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/PairOperator.java
Einführung eines neuen Operators SMALLERNEQDOT um Ungleichungen a <!=. Number für die Relationsoperatoren einfuehren zu koennen.
modified: ../../test/javFiles/Matrix.jav
2018-05-24 16:20:57 +02:00
Martin Plümicke
34e632b872
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Reduce ausgetauscht bei ArgPara und Returntype
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
isUndefinedPair korrigiert.
modified: ../../test/bytecode/LambdaTest.java
modified: ../../test/bytecode/javFiles/Plus.jav
modified: ../../test/bytecode/javFiles/RelOps.jav
2018-05-24 14:11:04 +02:00
Martin Plümicke
f617ad8946
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Relationen auf verschiedene Numeric-Typen umgestellt
im equals Null abgefragt
2018-05-24 10:28:22 +02:00
Martin Plümicke
876ec6a4f6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung
...
Conflicts:
src/de/dhbwstuttgart/core/JavaTXCompiler.java
solved
2018-05-24 09:41:15 +02:00
Martin Plümicke
26d9b1215f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
modified: ../../test/javFiles/Matrix.jav
F-Bounded angefangen
2018-05-24 09:17:31 +02:00
Fayez Abu Alia
0f29bc038a
Bugs gefixt. Tests für relationalen Operatoren(GreaterEqualTest, ...) laufen.
...
Für Typplaceholder werden Generics verwendet.
Neue Tests angefügt.
2018-05-23 15:38:41 +02:00
Martin Plümicke
a5ed5a2a46
Merge branch 'unifyOptimierung' into plugin
2018-05-22 17:29:44 +02:00
Martin Plümicke
c597b0430a
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
cardProd als Variable eingfuegt
modified: ../../src/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
toString() eingfuegt
modified: ../../src/de/dhbwstuttgart/syntaxtree/GenericDeclarationList.java
toString() eingfuegt
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
BinaryOp <. statt =.
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Bei nicht importierten (result []) undefinPair gesetzt
modified: ../javFiles/Matrix.jav
falsche importe rausgenommen
2018-05-22 17:10:07 +02:00
Martin Plümicke
06a0cb8eaf
modified: TypeUnifyTask.java
...
noAllErasedElements eingefuegt
2018-05-19 10:13:08 +02:00
Martin Plümicke
b5a601d798
modified: TypeUnifyTask.java
...
Varianceweitergabe in den verschiedenen Cases eingefuegt
Erste Zaehlungen eingefuegt
2018-05-19 09:50:57 +02:00
Martin Plümicke
7ea6777906
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../javFiles/Lambda.jav
modified: ../typeinference/UnifyTest.java
2018-05-18 13:12:49 +02:00
Martin Plümicke
6b1896f58c
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java
greaterFUNN und smallFUNN fuer generierte TPHs Variance gesetzt
modified: test/javFiles/Lambda.jav
vom bytecode ruebergeholt
2018-05-18 09:55:45 +02:00
Martin Plümicke
d81c06cdd9
modified: ../../src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java
...
Implementierung fuer FuNN eingefuegt
deleted: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java
wahrscheinlich bei FuNN-Regeln Variance setzen.
2018-05-18 00:03:07 +02:00
Martin Plümicke
8baff8f376
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variancenvererbung eingefuegt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Variancenvererbung geloescht
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../test/typeinference/UnifyTest.java
2018-05-17 22:51:41 +02:00
Martin Plümicke
bc2cab8c95
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: test/javFiles/Lambda.jav
modified: test/javFiles/Lambda3.jav
2018-05-17 18:07:21 +02:00
Martin Plümicke
51a2acdbaf
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: test/typeinference/UnifyTest.java
2018-05-17 11:42:03 +02:00
832623a738
ClassOrInterface muss im Modifier INTERFACE haben, wenn isInterface gesetzt ist
2018-05-16 15:37:46 +02:00
Fayez Abu Alia
dcc36f082f
code aufräumen
2018-05-16 13:37:31 +02:00
Fayez Abu Alia
9575afd0b4
Fun umbenannt und Argumente umgedreht
2018-05-15 10:33:30 +02:00
Martin Plümicke
5c797a44a1
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
disableWildcardtable in den FUNN-Regeln eingefuegt.
2018-05-10 09:07:33 +02:00
Martin Plümicke
e4243b612c
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Operatoren neue getypte
Returnargument bei FUNN nach hinten verschoben
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
Returnargument bei FUNN nach hinten verschoben
Wildcards in Argumenten von als Undefined Pairs (funktioniert noch nicht)
Methode wrongWildcard eingefuegt
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Methode doubleWildcard ind wrongWildcard umbenannt
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
Methode doubleWildcard ind wrongWildcard umbenannt
modified: src/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java
Methode doubleWildcard ind wrongWildcard umbenannt
2018-05-09 18:05:06 +02:00
Martin Plümicke
da4c59f2cf
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
modified: ../../test/typeinference/UnifyTest.java
2018-05-09 16:24:28 +02:00
Martin Plümicke
1c22fc7d57
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung
...
merge bytecode2
2018-05-09 13:29:11 +02:00
Fayez Abu Alia
521a1cbf3b
Bug 77 gefixt
2018-05-08 17:42:58 +02:00
Martin Plümicke
22ca2cbd4a
modified: BytecodeGenMethod.java
2018-05-08 11:28:24 +02:00
Fayez Abu Alia
49ea4ee283
Pfad der erzeugten klassendateien angepasst
2018-05-08 10:19:13 +02:00
35d5fb2f03
Fehler in ASTFactory mit Generischen FEldern beheben
2018-05-07 15:12:07 +02:00
Fayez Abu Alia
a785c85d42
tests
2018-05-02 20:54:07 +02:00
Fayez Abu Alia
1b6cae1be0
GenTest angefügt
2018-04-25 16:44:27 +02:00
JanUlrich
41774b3faf
Merge mit bytecode
2018-04-25 16:13:23 +02:00
Martin Plümicke
62d44eb15c
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Undefined Pairs auf oberster Ebene wird zu new HashTable<>() in compute
new file: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Unterscheidung zw. <. <? ein compere eingefuegt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
Attribut wildcardable eingefuegt
2018-04-24 00:53:33 +02:00
Martin Plümicke
5f8c73f176
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
In compare wird die Gleichung a =. Theta neu gefiltert
2018-04-22 00:56:49 +02:00
Martin Plümicke
0ae777b4ac
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
varianceInheritance nach TypeUnifyTask.java verschoben
Kommentar eingefuegt
TODO:
1. compare-Funktinen nochmals ueberpruefen
2. Undef-Pairs in JavaTXiCompiler.java abfangen
3. ? extends bei allen Argumenttypen und Returntypen rauslassen
2018-04-20 23:52:12 +02:00
Martin Plümicke
087170bdbf
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
Variance wieder auskommentiert
modified: test/javFiles/Matrix.jav
import String
2018-04-20 13:16:49 +02:00
Martin Plümicke
93d0caaefb
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Varianceberechnung geaendert
2018-04-20 09:36:29 +02:00
Martin Plümicke
1f031149d3
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
Varianceweitergabe eingefuegt
2018-04-20 01:08:35 +02:00
Martin Plümicke
fc870fd706
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-18 19:44:00 +02:00
JanUlrich
92693c2c15
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-04-18 14:08:25 +02:00
JanUlrich
50a1f979a0
Fehler beim Parsen beheben
2018-04-18 14:08:12 +02:00
Fayez Abu Alia
478a2df3dc
Statische Methoden Test
2018-04-18 11:51:10 +02:00
Martin Plümicke
59243d9f94
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-17 16:31:13 +02:00
Martin Plümicke
82b08c5aae
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Wildcard Ordnung veraendert
2018-04-17 14:25:52 +02:00
Martin Plümicke
615983bf37
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
resuat add in cartesion angepasst
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
equals in UnfyPair auf UndefinedPairs angepasst
2018-04-13 18:13:31 +02:00
Martin Plümicke
21bc2a67a1
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-11 16:58:38 +02:00
Martin Plümicke
fef4d27d21
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-11 11:10:08 +02:00
Martin Plümicke
603c4c9c46
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
logging ergaenzt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
getSubstitution() durch getAllSubstitutions() ersetzt
2018-04-06 20:01:14 +02:00
Martin Plümicke
baee0024e9
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Zu beginn von unify werden doppelte wildcard konstruktionen entfernt
Variableneumbenennung bei smaller in Fall 1 weider entfernt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IMatch.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
In computeGreater unify durch match ersetzt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java
Abfrage ob eine doppelte wildcard konstruktion vorhanden ist eingefuegt
2018-04-05 18:09:24 +02:00
Martin Plümicke
1baaf79f8c
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
UndefPairs werden zurueckgegegeben und die naechsten gefiltert
protected boolean isUndefinedPairSet(Set<UnifyPair> s) hat Fehler
2018-04-04 21:47:07 +02:00
Martin Plümicke
52f480147e
modified: src/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Subsitution auf UnifyPair umgestellt
2018-04-04 01:14:30 +02:00
Martin Plümicke
9717c54d53
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Mehrfacher Aufruf von computeCartesianRecursive entfernt
2018-04-03 14:16:38 +02:00
Martin Plümicke
c271c689de
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
abhaengige Substitutionen auch bei Faellen 1 - 8 eingefuegt
2018-04-03 10:29:58 +02:00
Martin Plümicke
24c27303dd
modified: src/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Substututions die eine UnifyPair erzeugen eingefuegt
UnifyCase1-8 weitermachen
2018-04-01 22:04:10 +02:00
Martin Plümicke
117106a7b3
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
? ext theta bei smaller eingefuegt
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
basiPair und Subsitution nur noch gefuegt, wen wirk etwas eingesetzt wurde
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
unifier umbenannt in substitution
getBasePair und getSubsitutuon eingefuegt
2018-04-01 17:07:58 +02:00
Martin Plümicke
5680f913ef
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
new file: src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
new file: src/de/dhbwstuttgart/typeinference/unify/visitUnifyTypeVisitor.java
2018-03-28 17:42:25 +02:00
22ff521d08
Aufräumen
2018-03-28 15:35:04 +02:00
Fayez Abu Alia
32ab198f9e
Bugfix für duplicate methods
2018-03-28 14:57:36 +02:00
Martin Plümicke
fae26a8f26
modified: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
Visitors verallgemeinert
2018-03-28 12:06:23 +02:00
Fayez Abu Alia
bb5a4e8580
Bug 72 gefixt
2018-03-28 11:31:32 +02:00
JanUlrich
000c16b907
Gencoy ASP Generator implementieren
2018-03-27 23:56:12 +02:00
JanUlrich
87a2ed8117
APS GeneratorTest.simple anfügen
2018-03-27 14:25:54 +02:00
Fayez Abu Alia
a0de7a4467
Test, bei dem Bug 72 auftritt
2018-03-24 20:28:26 +01:00
JanUlrich
7ff3f22db5
Fehler in FCGenerator beheben
2018-03-23 17:20:35 +01:00
JanUlrich
4886976752
Fehler in FCGenerator beheben
2018-03-23 17:20:15 +01:00
JanUlrich
daf684deef
ASP Factory für Algorithmus von Herr Gencay
2018-03-23 16:54:32 +01:00
Martin Plümicke
0b680f831d
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2018-03-22 20:40:22 +01:00
JanUlrich
41c87e3085
Merge branch 'bigRefactoring' into sat
2018-03-22 13:50:30 +01:00
JanUlrich
bcee5e5209
Fehler im Parsen von Package beheben
2018-03-22 11:41:59 +01:00
Martin Plümicke
95e9b2dbda
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Variance auf PlacehloderType uebertragen
2018-03-22 11:26:29 +01:00
JanUlrich
72f27fab7a
Fehler in ASTFactory Generierung von Superinterfaces beheben
2018-03-22 11:17:51 +01:00
JanUlrich
06bb978cf6
Testfall erweitern
2018-03-21 18:08:33 +01:00
Pluemicke Martin
dbe05bb718
modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java
...
Feher rausgemacht
TODO: Varianven werden nicht uebertragen wahrscheinlich subst
2018-03-21 17:37:34 +01:00
Pluemicke Martin
4ac99b61bf
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-03-21 17:07:14 +01:00
Pluemicke Martin
f107c8d1f7
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variancebestimmung fuer Argument- und Returntypen der Methoden eingefuegt.
2018-03-21 17:03:32 +01:00
79810be94f
FC Generator berücksichtig interfaces
2018-03-21 14:21:50 +01:00
Fayez Abu Alia
8870bc326c
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-03-21 13:47:19 +01:00
Fayez Abu Alia
e1c6369bcb
Bytecode für Post-/Preincrement und Post-/Predecrement
2018-03-21 13:08:39 +01:00
Pluemicke Martin
46255efb70
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-03-21 11:29:01 +01:00
JanUlrich
a71e56ea97
Fix
2018-03-21 11:28:21 +01:00
Pluemicke Martin
5dfa6769b2
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-03-21 11:16:45 +01:00
JanUlrich
77be216ee5
Fix
2018-03-21 11:15:59 +01:00
Pluemicke Martin
100db9baac
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Fehler by atElement
2018-03-21 11:13:20 +01:00
JanUlrich
e1f579664a
Fix Generics in MethodCall
2018-03-21 11:12:06 +01:00
JanUlrich
7e5aa852d7
Fehler fix
2018-03-21 10:35:46 +01:00
Martin Plümicke
5d39863cc6
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Maximumsbildung auf maximale Elemente soweit fertig
Argument von mul funktion nicht, liefret nur Vec<TypPl>
2018-03-20 22:30:57 +01:00
Martin Plümicke
01dd4e57e6
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Letzte Version bevor MatchUnifyTask
2018-03-20 10:14:01 +01:00
Martin Plümicke
6faffdf90c
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-03-19 17:43:27 +01:00
Martin Plümicke
f4bc057aff
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
LogAusgabe FC
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
fresh TV in unifyCase1 auf alle cs ausgedehnt
modified: test/javFiles/Matrix.jav
2018-03-19 15:25:40 +01:00
Martin Plümicke
78db0f0177
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Errorrueckgabe auskommentiert
new file: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java
eingecheckt vorher vergessen
modified: test/javFiles/Matrix.jav
add und mul aktiviert
2018-03-19 09:38:37 +01:00
Fayez Abu Alia
3233ccd845
Overloading funktioniert. Erzeugt Bytecode für Postincrement (für Integers).
2018-03-18 16:08:52 +01:00
Martin Plümicke
b0b1426e20
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
new file: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
freshtypevraiable Vistor soweit fertig noch nicht getestet
2018-03-18 15:11:45 +01:00
Martin Plümicke
103c7e4b14
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
visitor freshPlaceholder implements UnifyTypeVisitor
2018-03-17 15:01:03 +01:00
Martin Plümicke
3638edfa73
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: test/javFiles/Matrix.jav
Fehler entdeckt, in unifyCase1 fuer die Typen aus FC keine fresh TV getsetzt werden.
2018-03-16 14:10:40 +01:00
Martin Plümicke
bd98bed5ca
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Merge
2018-03-15 20:50:59 +01:00
Martin Plümicke
6299086297
modified: typeinference/unify/TypeUnifyTask.java
...
modified: typeinference/unify/model/UnifyPair.java
2018-03-15 20:47:16 +01:00
Martin Plümicke
de5b43d72b
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
Links der substitierten Pare eingefuegt.
2018-03-15 17:00:26 +01:00
Martin Plümicke
7e6dee8e1d
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../javFiles/Matrix.jav
2018-03-14 17:48:04 +01:00
Fayez Abu Alia
dafcd2f125
Bytecode für While-Schleifen
2018-03-14 15:51:38 +01:00
JanUlrich
6a5ababa51
ANTLR Parsetreewalker für ASP Result implementieren
2018-03-14 14:32:36 +01:00
Martin Plümicke
273ddb92d7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../javFiles/Matrix.jav
2018-03-14 13:56:28 +01:00
JanUlrich
4a2b901465
aufräumen
2018-03-13 14:53:27 +01:00
Martin Plümicke
dea3da3b69
Merge branch 'bigRefactoring' into unify-test
...
Fehelr mit elementAt geloest
2018-03-13 10:41:57 +01:00
Martin Plümicke
13c70148a8
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../javFiles/Matrix.jav
mul1 und add ergaenzt.
Fehler bei elementAt: Liefert Object als Returntyp
2018-03-13 08:46:25 +01:00
JanUlrich
bb5945898a
Bug in ASTFactory beseitigen
2018-03-13 01:57:21 +01:00
JanUlrich
123f94aea7
ANTLR Parser für ASP Statements implementieren
2018-03-13 00:24:40 +01:00
JanUlrich
dff72b0c97
ResultSetOutputGenerator
2018-03-12 00:38:02 +01:00
Martin Plümicke
1667b394f2
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Variancen gesetzt
2018-03-11 20:39:38 +01:00
Martin Plümicke
95943b1627
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
...
compare(Matrix, Vector<gen_ab>, ? extends Vector<? extends Integer>> <.? gen_ab
eingefuegt.
2018-03-10 12:32:07 +01:00
Martin Plümicke
0315a1f144
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
compare(Matrix, Vector<gen_ab>, ? extends Vector<? extends Integer>> <.? gen_ab
funktioniert nicht
2018-03-10 01:04:19 +01:00
Fayez Abu Alia
52a5fd7904
erzeugt Bytecode für relationale Operatoren. Getestet.
2018-03-09 21:57:39 +01:00
Martin Plümicke
b5b5b5d9c9
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/Pair.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Varinace in UnfyPair eingefuegt und Abfrage in computeCartesianRecursive eingefuegt
Pruefen, ob Varianve bei Subst und andrene erhalten bleibt.
2018-03-09 01:23:02 +01:00
JanUlrich
83aaff140c
Aufräumen
2018-03-08 01:44:40 +01:00
JanUlrich
3deaceec01
UnifyWithoutWildcards Test läuft durch
2018-03-08 01:41:38 +01:00
Martin Plümicke
9862df9e63
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Minimum funktion soweit
2018-03-08 01:12:17 +01:00
JanUlrich
9f2702276f
Fehler beheben
2018-03-08 00:03:26 +01:00
JanUlrich
87cf674352
Fehler in FCGenerator beheben
2018-03-07 23:07:53 +01:00
JanUlrich
dfd6a1f532
erge branch 'bigRefactoring' into sat
2018-03-07 23:04:16 +01:00
JanUlrich
e8388e2748
Aufräumen
2018-03-07 22:42:05 +01:00
