new file: ../../../java/bytecode/mathStrucMatrixOPTest.java.txt
new file: ../../../java/bytecode/mathStrucVectorAddTest.java.txt
new file: ../../../java/packages/mathStrucMatrixOPTest.java.txt
new file: ../../AllgemeinTest/FCTest1.jav
new file: ../../AllgemeinTest/FCTest2.jav
new file: ../../AllgemeinTest/FCTest3.jav
new file: ../../AllgemeinTest/GenTest.jav
new file: ../../AllgemeinTest/Generics.jav
new file: ../../AllgemeinTest/OverloadingMain.jav
new file: ../../AllgemeinTest/Overloading_Generics.jav
new file: ../../AllgemeinTest/OverrideMain.jav
new file: ../../AllgemeinTest/OverrideMainRet.jav
new file: ../../AllgemeinTest/Pair.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
wenn nicht wildcardable dann receiver ? extends geloescht
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
kleiner Fehler in compare
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Das fehlerveruraschende Paar wird auch zu abhSubst hingefuegt.
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Reihenfolge geaendert, so dass bei Variance 1 (x <. theta) vorne und bei Variance -1 (theta <. x) vorne
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
noch Fehler bei mathStruc<Integer> und Matrix laeuft sehr lange vll. terminiert es nicht.
Typen der Methoden der Oder-Constraiunts benutzen wieder rueckgaenig gemacht
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
wieder alle grArg im a <. theta' benutzen
modified: ../../bytecode/javFiles/MatrixOP.jav
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
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/UnifyTaskModel.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/controlCancel.java
controlCancel.java kann durch IProgressMonitor aus Eclipse implementiert werden.
So lässt sich das Cancel-Problem des Eclipse-Plugins loesen.
Nachtraegliches Einfuegen von Variance in OderConstraints auskommentiert.
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
Variance im konvertieren eingefuegt
modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java
Variace eingefuegt
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
In OderConstraints Variance bei der Erstellung eingefuegt
Variance aller Argumente in Oderconstraints auf 1 gesetzt muss nochmals ueberarbeitet werden
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Returntypen von Operatoren sind \doteq gestezt
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Bei Variance = 2 parallel abgearbeitet geloescht, dass nicht nochmals bearbeitet werden.
Bug "." wird in replaceAll nicht ersetzt, deshalb "/" durch "." und nicht "." durch "/" ersetzt.
modified: ../../../java/packages/OLTest.java
modified: ../../../java/packages/mathStrucVectorTest.java
renamed: de/test/OL.jav -> OL.jav
renamed: de/test/OLMain.jav -> OLMain.jav
OL ins default-Package verschoben