Martin Plümicke
8048af2106
modified: ../../test/javFiles/Lambda2.jav
...
modified: ../../test/typeinference/UnifyTest.java
2018-05-09 18:10:08 +02:00
Martin Plümicke
225dc16a89
modified: test/typeinference/UnifyTest.java
2018-05-08 09:23:20 +02:00
Martin Plümicke
4738add4fc
modified: ../../../../../test/javFiles/Matrix.jav
...
modified: ../../../../../test/typeinference/UnifyTest.java
2018-05-07 15:31:31 +02:00
Martin Plümicke
ec2b501e63
new file: test/javFiles/LambdaField.jav
...
modified: test/typeinference/UnifyTest.java
Lambda-Ausdruck als Attribute/field eingefuegt
2018-04-26 15:10:23 +02:00
Martin Plümicke
8be4f94edf
modified: test/javFiles/Matrix.jav
...
In Matrix.jav Binary-Operation eingefuegt.
new file: test/javFiles/Meth_Gen.jav
new file: test/typeinference/Meth_GenTest.java
Test zu Constraints ueber eine Methode hinaus
2018-04-25 23:32:12 +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
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
Fayez Abu Alia
52a96d7253
OL Test eingefügt
2018-04-11 13:55:32 +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
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
Fayez Abu Alia
a0de7a4467
Test, bei dem Bug 72 auftritt
2018-03-24 20:28:26 +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
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
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
161c1a1b53
Test anfügen
2018-03-21 15:15:31 +01:00
6b1a4eddfc
Java 9 zu Java 8 ändern. Sollte ausreichen
2018-03-21 14:40:47 +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
fb77f9192f
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-03-21 11:28:35 +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
