mycompiler.myclass

Class Class

java.lang.Object

mycompiler.AClassOrInterface

mycompiler.myclass.Class

Direct Known Subclasses:

BasicAssumptionClass

public class Class
extends AClassOrInterface

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	isFirstLocalVarDecl
UsedId	superclassid

Constructor Summary

Constructors

Constructor and Description
Class(java.lang.String name)
Class(java.lang.String name, Modifiers mod)
Class(java.lang.String name, Modifiers mod, ClassBody cb, java.util.Vector<Type> ct, java.util.Vector<UsedId> usedIdsToCheck, UsedId superclass, java.util.Vector<UsedId> superif, java.util.Vector<Type> paralist) Konstruktor, der die Angabe aller Parameter ermoeglicht.

Method Summary

Methods

Modifier and Type	Method and Description
static void	addOffsetsToAssumption(CTypeAssumption localAssumption, Block localBlock, java.lang.String NameVariable, boolean isMemberVariable) Methode f�gt zu einer CTypeAssumption alle Offsets hinzu, wo die Variable benutzt wird.
static void	addOffsetsToExpression(CTypeAssumption localAssumption, Expr expression, java.lang.String NameVariable, boolean isMemberVariable) Hilfs-Methode f�r die Offset-Zuweisung durchsucht eine Expression rekursiv Author: Thomas Hornberger 07.04.2006 Authos: Arne L�dtke 20.01.2007, Auf Polymorphie umgebaut.
static boolean	addOffsetsToStatement(CTypeAssumption localAssumption, Statement statement, java.lang.String NameVariable, boolean isMemberVariable) Hilfs-Methode f�r die Offset-Zuweisung durchsucht ein Statement rekursiv Author: Thomas Hornberger 08.04.2006 Author: Arne L�dtke 20.10.2007, Auf Polymorphie umgebaut.
void	codegen(SourceFile sf)
java.util.Vector<Type>	complete_paralist(boolean ext)
void	createGenericTypeVars(CTypeReconstructionResult reconstructionResult) Errechnet die Generischen Parameter der Klasse f�r diese Klasse.
boolean	does_Class_extend()
Block	get_class_block()
ClassBody	get_ClassBody()
java.util.Hashtable<java.lang.String,java.lang.String>	get_ParaHash()
java.util.Vector	get_ParaList()
java.lang.String	get_Superclass_Name()
java.util.Vector<Type>	getContainedTypes()
TypeAssumptions	getPublicFieldAssumptions() Ermittelt die Sichtbaren Felder und Methoden der Klasse.
java.lang.String	getSimpleName() HOTI Liefert bei Klassen die fullyQualified angegeben wurden nur den schlussendlichen Bezeichner p.ex. java.util.Vector => Vector
RefType	getType() Erstellt einen RefType, welcher auf diese Klasse verweist
java.lang.String	getTypeInformation(java.util.Vector<Method> methodList, java.util.Vector<Expr> fieldList)
java.util.Vector<UsedId>	getUsedIdsToCheck()
java.lang.String	is_member(java.lang.String var)
void	para_check(java.util.Vector<Class> classlist, boolean ext)
java.lang.String	printJavaCode(CTypeReconstructionResult reconstructionResult) Generiert den JavaCode dieser Klasse im Falle f�r das �bergebene resultSet.
void	sc_check_for_extended_classes(java.util.Vector<Class> classlist, java.util.Hashtable<java.lang.String,java.lang.String> childhash, boolean ext)
void	sc_check(java.util.Vector<Class> classlist, boolean ext)
void	set_class_block(Block block)
void	set_ClassBody(ClassBody body)
void	set_ParaHash(java.util.Hashtable<java.lang.String,java.lang.String> hash)
void	set_ParaList(java.util.Vector<Type> para)
void	set_UsedId(UsedId uid)
void	setContainedTypes(java.util.Vector<Type> containedTypes)
java.lang.String	toString() Author: Martin Pl�micke
java.util.Vector<CTypeReconstructionResult>	TRProg(CSupportData supportData, TypeAssumptions globalAssumptions) Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.
ConstraintsSet	TYPE(java.util.Vector<Method> methodList, java.util.Vector<Expr> fielddeclarationList, TypeAssumptions assumptions)
void	wandleRefTypeAttributes2GenericAttributes() Alle Methoden der Klassen �berpr�fen, ob sie als RefType deklarierte Attribute haben, die aber GenericTypeVars sind und ggf. ersetzen Bsp.: bei public E elementAt(i){...} wird E vorerst als RefType erkannt

Methods inherited from class mycompiler.AClassOrInterface

getAccessFlags, getModifiers, getName, getPackageName, getSuperInterfaces, setModifiers, setName, setPackageName, setSuperInterfaces

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

superclassid

public UsedId superclassid

isFirstLocalVarDecl

public static boolean isFirstLocalVarDecl

Constructor Detail

Class

public Class(java.lang.String name)

Class

public Class(java.lang.String name,
     Modifiers mod)

Class

public Class(java.lang.String name,
     Modifiers mod,
     ClassBody cb,
     java.util.Vector<Type> ct,
     java.util.Vector<UsedId> usedIdsToCheck,
     UsedId superclass,
     java.util.Vector<UsedId> superif,
     java.util.Vector<Type> paralist)

Konstruktor, der die Angabe aller Parameter ermoeglicht. Zur Uebersichtlichkeit in der Grammatik.

Method Detail

getUsedIdsToCheck

public java.util.Vector<UsedId> getUsedIdsToCheck()

setContainedTypes

public void setContainedTypes(java.util.Vector<Type> containedTypes)

getContainedTypes

public java.util.Vector<Type> getContainedTypes()

para_check

public void para_check(java.util.Vector<Class> classlist,
              boolean ext)
                throws SCClassException

Throws:

SCClassException

complete_paralist

public java.util.Vector<Type> complete_paralist(boolean ext)

sc_check

public void sc_check(java.util.Vector<Class> classlist,
            boolean ext)
              throws SCClassException

Throws:

SCClassException

sc_check_for_extended_classes

public void sc_check_for_extended_classes(java.util.Vector<Class> classlist,
                                 java.util.Hashtable<java.lang.String,java.lang.String> childhash,
                                 boolean ext)

codegen

public void codegen(SourceFile sf)
             throws JVMCodeException

Specified by:

codegen in class AClassOrInterface

Throws:

JVMCodeException

set_UsedId

public void set_UsedId(UsedId uid)

set_ClassBody

public void set_ClassBody(ClassBody body)

set_class_block

public void set_class_block(Block block)

is_member

public java.lang.String is_member(java.lang.String var)

get_Superclass_Name

public java.lang.String get_Superclass_Name()

get_ClassBody

public ClassBody get_ClassBody()

get_class_block

public Block get_class_block()

does_Class_extend

public boolean does_Class_extend()

set_ParaList

public void set_ParaList(java.util.Vector<Type> para)

get_ParaList

public java.util.Vector get_ParaList()

set_ParaHash

public void set_ParaHash(java.util.Hashtable<java.lang.String,java.lang.String> hash)

get_ParaHash

public java.util.Hashtable<java.lang.String,java.lang.String> get_ParaHash()

TRProg

public java.util.Vector<CTypeReconstructionResult> TRProg(CSupportData supportData,
                                                 TypeAssumptions globalAssumptions)
                                                   throws CTypeReconstructionException

Ausgangspunkt f�r den Typrekonstruktionsalgorithmus. Hier werden zun�chst die Mengen von Typannahmen V_fields_methods und V_i erstellt, die als Eingabe f�r den Algorithmus dienen.
(siehe Algorithmus 5.17 TRProg, Martin Pl�micke)
Author: J�rg B�uerle

Parameters:

supportData -

globalAssumptions -

Returns:

Liste aller bisher berechneten, m�glichen Typkombinationen

Throws:

CTypeReconstructionException

TYPE

public ConstraintsSet TYPE(java.util.Vector<Method> methodList,
                  java.util.Vector<Expr> fielddeclarationList,
                  TypeAssumptions assumptions)

toString

public java.lang.String toString()

Author: Martin Pl�micke

Overrides:

toString in class java.lang.Object

Returns:

wandleRefTypeAttributes2GenericAttributes

public void wandleRefTypeAttributes2GenericAttributes()

Alle Methoden der Klassen �berpr�fen, ob sie als RefType deklarierte Attribute haben, die aber GenericTypeVars sind und ggf. ersetzen Bsp.: bei public E elementAt(i){...} wird E vorerst als RefType erkannt

addOffsetsToAssumption

public static void addOffsetsToAssumption(CTypeAssumption localAssumption,
                          Block localBlock,
                          java.lang.String NameVariable,
                          boolean isMemberVariable)

Methode f�gt zu einer CTypeAssumption alle Offsets hinzu, wo die Variable benutzt wird.
Author: Thomas Hornberger 07.04.2006
Author: Arne L�dtke 20.01.2007, Auf Polymorphie erweitert. Wird nicht mehr verwendet. In Block ausgelagert.

addOffsetsToStatement

public static boolean addOffsetsToStatement(CTypeAssumption localAssumption,
                            Statement statement,
                            java.lang.String NameVariable,
                            boolean isMemberVariable)

Hilfs-Methode f�r die Offset-Zuweisung durchsucht ein Statement rekursiv
Author: Thomas Hornberger 08.04.2006
Author: Arne L�dtke 20.10.2007, Auf Polymorphie umgebaut.

Returns:

addOffsetsToExpression

public static void addOffsetsToExpression(CTypeAssumption localAssumption,
                          Expr expression,
                          java.lang.String NameVariable,
                          boolean isMemberVariable)

Hilfs-Methode f�r die Offset-Zuweisung durchsucht eine Expression rekursiv
Author: Thomas Hornberger 07.04.2006
Authos: Arne L�dtke 20.01.2007, Auf Polymorphie umgebaut.

getSimpleName

public java.lang.String getSimpleName()

HOTI Liefert bei Klassen die fullyQualified angegeben wurden nur den schlussendlichen Bezeichner p.ex. java.util.Vector => Vector

Returns:

getTypeInformation

public java.lang.String getTypeInformation(java.util.Vector<Method> methodList,
                                  java.util.Vector<Expr> fieldList)

printJavaCode

public java.lang.String printJavaCode(CTypeReconstructionResult reconstructionResult)

Generiert den JavaCode dieser Klasse im Falle f�r das �bergebene resultSet. Dem ResultSet entsprechend werden in diesem Java-Code die TypePlaceholder durch die in ResultSet stehenden Typen ersetzt.

Returns:

Java-Sourcefile

createGenericTypeVars

public void createGenericTypeVars(CTypeReconstructionResult reconstructionResult)

Errechnet die Generischen Parameter der Klasse f�r diese Klasse. Die berechneten Variablen werden anschlie�end in die this.genericTypeVars eingesetzt. Dabei werden alte genericTypeVars �berschrieben.

Parameters:

reconstructionResult -

getType

public RefType getType()

Erstellt einen RefType, welcher auf diese Klasse verweist

Returns:

getPublicFieldAssumptions

public TypeAssumptions getPublicFieldAssumptions()

Ermittelt die Sichtbaren Felder und Methoden der Klasse. (Momentan sind im Projekt alle Felder und Methoden "package private", da der Parser keine Access-Modifier einlesen kann.

Returns: