Uses of Class
mycompiler.mytypereconstruction.typeassumption.CTypeAssumption

Packages that use CTypeAssumption

Package	Description
mycompiler.myclass
mycompiler.mystatement
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.typeassumption
mycompiler.test.notUsedAnymore
typinferenz

Uses of CTypeAssumption in mycompiler.myclass

Methods in mycompiler.myclass with parameters of type CTypeAssumption

Modifier and Type	Method and Description
static void	Class.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	Class.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	Class.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.

Uses of CTypeAssumption in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type CTypeAssumption

Modifier and Type	Method and Description
void	Block.addOffsetsToAssumption(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	PositivExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	PreDecExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	LambdaExpression.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	Literal.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
abstract void	Expr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	Binary.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	PostDecExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	NewArray.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	This.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	PreIncExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	PostIncExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	NotExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	LocalOrFieldVar.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	Assign.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	CastExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	InstVar.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	NegativeExpr.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	InstanceOf.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	MethodCall.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	NewClass.addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	LambdaExpression.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	Expr.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	WhileStmt.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	EmptyStmt.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	Return.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	Block.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	LocalVarDecl.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	IfStmt.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	ForStmt.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
abstract boolean	Statement.addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)

Uses of CTypeAssumption in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return types with arguments of type CTypeAssumption

Modifier and Type	Method and Description
java.util.Hashtable<CTypeAssumptionKey,CTypeAssumption>	CTypeReconstructionResult.getFieldAndLocalVarAssumptions()

Methods in mycompiler.mytypereconstruction with parameters of type CTypeAssumption

Modifier and Type	Method and Description
void	CTypeReconstructionResult.addFieldOrLocalVarAssumption(CTypeAssumption assum)

Method parameters in mycompiler.mytypereconstruction with type arguments of type CTypeAssumption

Modifier and Type	Method and Description
void	CTypeReconstructionResult.setFieldAndLocalVarAssumptions(java.util.Hashtable<CTypeAssumptionKey,CTypeAssumption> fieldAndLocalVarAssumptions)

Uses of CTypeAssumption in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return types with arguments of type CTypeAssumption

Modifier and Type	Method and Description
java.util.Iterator<CTypeAssumption>	CTypeAssumptionSet.iterator()

Uses of CTypeAssumption in mycompiler.mytypereconstruction.typeassumption

Subclasses of CTypeAssumption in mycompiler.mytypereconstruction.typeassumption

Modifier and Type	Class and Description
class	CInstVarTypeAssumption
class	CLocalVarTypeAssumption
class	CMethodTypeAssumption
class	CParaTypeAssumption

Methods in mycompiler.mytypereconstruction.typeassumption that return CTypeAssumption

Modifier and Type	Method and Description
abstract CTypeAssumption	CTypeAssumption.clone()

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type CTypeAssumption

Modifier and Type	Method and Description
boolean	CMethodTypeAssumption.equalsAssumption(CTypeAssumption assumption) Author: Jrg Buerle
boolean	CInstVarTypeAssumption.equalsAssumption(CTypeAssumption assumption) Author: Jrg Buerle
boolean	CLocalVarTypeAssumption.equalsAssumption(CTypeAssumption assumption) Author: Jrg Buerle
boolean	CParaTypeAssumption.equalsAssumption(CTypeAssumption assumption) Author: Jrg Buerle
abstract boolean	CTypeAssumption.equalsAssumption(CTypeAssumption assumption)

Uses of CTypeAssumption in mycompiler.test.notUsedAnymore

Methods in mycompiler.test.notUsedAnymore with parameters of type CTypeAssumption

Modifier and Type	Method and Description
boolean	CTypeAssumptionWrapper.equalsAssumption(CTypeAssumption assumpt)

Constructors in mycompiler.test.notUsedAnymore with parameters of type CTypeAssumption

Constructor and Description
CTypeAssumptionWrapper(CTypeAssumption assumption)

Uses of CTypeAssumption in typinferenz

Methods in typinferenz that return types with arguments of type CTypeAssumption

Modifier and Type	Method and Description
java.util.Iterator<CTypeAssumption>	TypeAssumptions.iterator()

Methods in typinferenz with parameters of type CTypeAssumption

Modifier and Type	Method and Description
TypeAssumptions	TypeAssumptions.add(CTypeAssumption ass) F�gt dem Assumption-Set eine neue Assumption hinzu.
void	TypeAssumptions.remove(CTypeAssumption typeAssumption)