JavaCompilerCore/examples/pl_usecases/Probleme

41 lines
3.0 KiB
Plaintext
Executable File

- 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