Uses of Class
typinferenz.TypeAssumptions

Packages that use TypeAssumptions

Package	Description
mycompiler.myclass
mycompiler.mystatement
typinferenz

Uses of TypeAssumptions in mycompiler.myclass

Methods in mycompiler.myclass that return TypeAssumptions

Modifier and Type	Method and Description
TypeAssumptions	InstVarDecl.createTypeAssumptions(Class classmember)
TypeAssumptions	FieldInitialization.createTypeAssumptions(Class classmember)
TypeAssumptions	Constant.createTypeAssumptions(Class classmember)
TypeAssumptions	Method.createTypeAssumptions(Class classmember)
abstract TypeAssumptions	FieldDecl.createTypeAssumptions(Class classmember) Diese Methode generiert die Assumptions f�r dieses Feld der Klasse classmember
TypeAssumptions	Class.getPublicFieldAssumptions() Ermittelt die Sichtbaren Felder und Methoden der Klasse.

Methods in mycompiler.myclass with parameters of type TypeAssumptions

Modifier and Type	Method and Description
java.util.Vector<CTypeReconstructionResult>	Class.TRProg(CSupportData supportData, TypeAssumptions globalAssumptions) Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.
ConstraintsSet	Method.TYPE(TypeAssumptions ass)
ConstraintsSet	Class.TYPE(java.util.Vector<Method> methodList, java.util.Vector<Expr> fielddeclarationList, TypeAssumptions assumptions)

Uses of TypeAssumptions in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type TypeAssumptions

Modifier and Type	Method and Description
ConstraintsSet	PositivExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PreDecExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LambdaExpression.TYPEExpr(TypeAssumptions assumptions) Spezifikation: TYPEExpr( Ass, Lambda( (x1 , . . . , xN ), expr|stmt ) ) = let AssArgs = { xi : ai | ai fresh type variables } (exprt : rty, ConS) = TYPEExpr( Ass ∪ AssArgs, expr ) | (stmtt : rty, ConS) = TYPEStmt( Ass u AssArgs, stmt ) in (Lambda( (x1 : a1 , . . . , xN : aN ), exprt : rty|stmtt : rty ) : a, ConS ∪ { (FunN a) }), where a is a fresh type variable
abstract ConstraintsSet	Expr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	Binary.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PostDecExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NewArray.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	This.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PreIncExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PostIncExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LongLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NotExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LocalOrFieldVar.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	Assign.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	CastExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	CharLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	InstVar.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	DoubleLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	Null.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NegativeExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	InstanceOf.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	StringLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	FloatLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	MethodCall.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NewClass.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	BoolLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	IntLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LambdaExpression.TYPEStmt(TypeAssumptions ass)
ConstraintsSet	Expr.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	WhileStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	EmptyStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	Return.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	Block.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	LocalVarDecl.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	IfStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	Assign.TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
ConstraintsSet	ForStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	MethodCall.TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
abstract ConstraintsSet	Statement.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	NewClass.TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)

Uses of TypeAssumptions in typinferenz

Methods in typinferenz that return TypeAssumptions

Modifier and Type	Method and Description
TypeAssumptions	TypeAssumptions.add(CTypeAssumption ass) F�gt dem Assumption-Set eine neue Assumption hinzu.
TypeAssumptions	TypeAssumptions.add(CTypeAssumptionSet assumptionSet)
TypeAssumptions	TypeAssumptions.add(TypeAssumptions assumptions)
TypeAssumptions	TypeAssumptions.clone()
TypeAssumptions	TypeAssumptions.getAssumptionsFor(java.lang.String classname) Jede erstellte Assumption wird von der TypeAssumptions-Klasse gespeichert.
TypeAssumptions	TypeAssumptions.getInstVarAssumptions() Ermittelt alle Assumptions zu Instanzvariablen, welche sich in der Klasse "this" befinden, also der Klasse f�r welche dieses AssumptionSet g�ltig ist.

Methods in typinferenz with parameters of type TypeAssumptions

Modifier and Type	Method and Description
TypeAssumptions	TypeAssumptions.add(TypeAssumptions assumptions)

Constructors in typinferenz with parameters of type TypeAssumptions

Constructor and Description
Overloading(TypeAssumptions ass, MethodCall method, Type type) methodCall : type
TypeAssumptions(TypeAssumptions assumptions2)