41 lines
3.0 KiB
Plaintext
41 lines
3.0 KiB
Plaintext
|
- 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 Vector<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 <20>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<68>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
|