- Sequenz-Diagramme fuer TR-Algorithmen
- In der GUI werden bei der Auswahl bei Typisierungen mehrerer Klassen immer nur die Typisierung der einzelnen Klasse angepasst (Use-Rase ZweiKlassen.jav)
- Bound bleiben in der GUI erhalten auch wenn durch Auswahl die Bounds gar nicht mehr existieren (Use-Rase BoundedType2.jav)
- Parameter gehen nicht Matrix Use-Rase
- gleiche TypePlaceHolder in unterschiedlichen Intersections werden durch unterschiedliche GentypeVars ersetzt (BoundedType2.jav)
- Mail von Juergen, welche Usecases machen ihm Probleme?
- UsedId bei bei "extends" in RefType bzw. bei "implements" in Menge<RefType> umwandeln. (siehe mail an Timo)
- Roundtrip fuer den Innovator einbauen erledigt 06-06
- Schnittstelle mit syntaktischen Angaben fuer den Konstantenpool wird bei unbeboxten Typen nicht richtig erzeugt
- Boxing und Unboxing geht noch nicht bei allen primitiven Typen und Operatoren
-------------------------------------------------------------------------------------------------- 
- makeFC testen durch Verschiebung von TyploseVaribale yu GentypeVar
  sind Probleme entstanden PL 06-03-16 
- Alle UseCases noch mit Vervielfachung testen 
- Codeerzeugung: called_method
- Returntyp void UsecaseThree_pl.jav   ERLEDIGT Fehler in Void.java  05-07-31
- Parameter in Typen: Werden die �berhaupt betrachtet? UsecaseTwo_pl.jav
- Die Argumente bei UsedId Konstruktion f�r die Parameter in dem Attribut paralist von Typen
  sind immer GenericTypeVars, k�nnten aber auch Typen wie Integer als RefTypes sein.
  In der Methode wandleGeneric2RefType (MyCompiler) werden nur die GenericTypeVars
  der Superklassen-Deklarationen angepasst. Hier muessten alle expliziten Typdeklarationen
  im gesamten abstrakten Syntaxbaum angepasst werden. Koennte ueber eine Registry
  und die Listener realisiert werden. ERLEDIGT SourceFile.java 05-07-31
- getypte Variablen werden nicht richtig gesetzt UsecaseFive_pl.jav ERLEDIGT JavaParser.jay 05-07-30

- UNIFY funktioniert nicht mit GenericTypeVars UsecaseOne_pl.jav
- Einschränkungen bei TRMAPP von noch einbauen.
- a.b wird als Expression nicht in InstVar umgewandelt, sondern bleibt LocalOrFieldVar mit UsedId UsecaseNine_pl.jav 
	wird inzwischen bei zwei Identifieren umgewandelt. Mit mehr testen
- In Usecase UsecaseNine_pl.jav wird der Parameter bei der Klasse bei b nicht bestimmt.
- Braucht man das Field type vom Typ String in InstVar.java?
- in Assign stimmt der Typ von Assign nicht (Beispiel Matrix1.jav in bajo)
- unifyAndregister in allen Subklassen von ExprStmt durch register ersetzen. erledigt 05-08-21
- Class.java: m_MethodIntersectionTypes wird in CTypeReconstructionResult nicht richtig gestetzt.
  Beispiel Matrix.jav in bajo1_usecases
- clone in alle Subklassen von CTypeAssumption ueberpruefen.
- Was ist der Unterschied zwischen RefType.clone() und Pair.copyType
- in instanceSmaller neuhinzugekommene GENTYPEVARS durch typlose Vars ersetzen.
- EST95A anschauen. Insbesondere: Wann ist this View und wann GView?
  siehe SubtypeingTest this wird immer dynamisch angepasst. Auch in 
  der Theorie aendern