modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../test/bytecode/javFiles/Matrix.jav
modified: ../../test/bytecode/javFiles/applyLambda.jav
? extends gen_nv =. ? super gen_nv sind in den RES
noch unvllstaendig
modified: ../../test/bytecode/MatrixTest.java
Test korrekt
modified: ../../test/bytecode/javFiles/Matrix.jav
import byte entfernt, so dass Laufzeit passt
Test einfeguegt nicht getestet
modified: test/bytecode/OLTest.java
Test eingefuegt
modified: test/bytecode/javFiles/OL.jav
- Main in OLMain umbenannt
- Klassen publich gemacht
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
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.
Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert,
weil es im Moment nur double Literals gibt.
modified: test/javFiles/Lambda.jav
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
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.
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
