Uses of Class
soot.JastAddJ.Body

Packages that use Body

Package	Description
soot.JastAddJ

Uses of Body in soot.JastAddJ

Methods in soot.JastAddJ that return Body

Modifier and Type	Method	Description
Body	Body.add(Stmt stmt)
Body	Body.addLabel(Stmt label)
Body	Body.addTrap(TypeDecl type, Stmt firstStmt, Stmt lastStmt, Stmt handler)

Methods in soot.JastAddJ with parameters of type Body

Modifier and Type	Method	Description
void	Access.addArraySize(Body b, ArrayList list)
void	ArrayTypeAccess.addArraySize(Body b, ArrayList list)
void	ArrayTypeWithSizeAccess.addArraySize(Body b, ArrayList list)
protected void	TryStmt.addFallThroughLabelTag(Body b, Stmt handler, Stmt fallThrough)
Immediate	ASTNode.asImmediate(Body b, Value v)
Local	ASTNode.asLocal(Body b, Value v)
Local	ASTNode.asLocal(Body b, Value v, Type t)
Value	ASTNode.asRValue(Body b, Value v)
Local	VarAccess.base(Body b)
void	ASTNode.beginExceptionRange(Body b, ArrayList list)
Value	EQExpr.comparison(Body b, Value left, Value right)
Value	GEExpr.comparison(Body b, Value left, Value right)
Value	GTExpr.comparison(Body b, Value left, Value right)
Value	LEExpr.comparison(Body b, Value left, Value right)
Value	LTExpr.comparison(Body b, Value left, Value right)
Value	NEExpr.comparison(Body b, Value left, Value right)
Value	RelationalExpr.comparison(Body b, Value left, Value right)
Value	EQExpr.comparisonInv(Body b, Value left, Value right)
Value	GEExpr.comparisonInv(Body b, Value left, Value right)
Value	GTExpr.comparisonInv(Body b, Value left, Value right)
Value	LEExpr.comparisonInv(Body b, Value left, Value right)
Value	LTExpr.comparisonInv(Body b, Value left, Value right)
Value	NEExpr.comparisonInv(Body b, Value left, Value right)
Value	RelationalExpr.comparisonInv(Body b, Value left, Value right)
Value	AssignAndExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignDivExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignLShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMinusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignModExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMulExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignOrExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignPlusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignRShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignURShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignXorExpr.createAssignOp(Body b, Value fst, Value snd)
Local	VarAccess.createLoadQualifier(Body b)
protected Value	Expr.emitBooleanCondition(Body b)
protected Value	TypeDecl.emitBoxingOperation(Body b, Value v, ASTNode location)
Value	BooleanType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NullType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NumericType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	ReferenceType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	TypeDecl.emitCastTo(Body b, Expr expr, TypeDecl type)
Value	TypeDecl.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
void	AbstractDot.emitEvalBranch(Body b)
void	AndLogicalExpr.emitEvalBranch(Body b)
void	ConditionalExpr.emitEvalBranch(Body b)
void	Expr.emitEvalBranch(Body b)
void	LogNotExpr.emitEvalBranch(Body b)
void	OrLogicalExpr.emitEvalBranch(Body b)
void	ParExpr.emitEvalBranch(Body b)
void	RelationalExpr.emitEvalBranch(Body b)
void	TryStmt.emitExceptionHandler(Body b)
void	FinallyHost.emitFinallyCode(Body b)
void	SynchronizedStmt.emitFinallyCode(Body b)
void	TryStmt.emitFinallyCode(Body b)
Value	Access.emitLoadLocalInNestedClass(Body b, Variable v)
Value	AddExpr.emitOperation(Body b, Value left, Value right)
Value	AndBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Binary.emitOperation(Body b, Value left, Value right)
Value	DivExpr.emitOperation(Body b, Value left, Value right)
Value	LShiftExpr.emitOperation(Body b, Value left, Value right)
Value	ModExpr.emitOperation(Body b, Value left, Value right)
Value	MulExpr.emitOperation(Body b, Value left, Value right)
Value	OrBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	RShiftExpr.emitOperation(Body b, Value left, Value right)
Value	SubExpr.emitOperation(Body b, Value left, Value right)
Value	URShiftExpr.emitOperation(Body b, Value left, Value right)
Value	XorBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Unary.emitPostfix(Body b, int constant)
Value	Unary.emitPrefix(Body b, int constant)
Value	AssignExpr.emitShiftExpr(Body b)
Value	Binary.emitShiftExpr(Body b)
Value	AbstractDot.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	Expr.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	VarAccess.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Local	Access.emitThis(Body b, TypeDecl targetDecl)
protected Value	TypeDecl.emitUnboxingOperation(Body b, Value v, ASTNode location)
void	ASTNode.endExceptionRange(Body b, ArrayList list)
Value	AbstractDot.eval(Body b)
Value	AddExpr.eval(Body b)
Value	ArrayAccess.eval(Body b)
Value	ArrayCreationExpr.eval(Body b)
Value	ArrayInit.eval(Body b)
Value	AssignExpr.eval(Body b)
Value	AssignLShiftExpr.eval(Body b)
Value	AssignPlusExpr.eval(Body b)
Value	AssignRShiftExpr.eval(Body b)
Value	AssignSimpleExpr.eval(Body b)
Value	AssignURShiftExpr.eval(Body b)
Value	Binary.eval(Body b)
Value	BitNotExpr.eval(Body b)
Value	BooleanLiteral.eval(Body b)
Value	CastExpr.eval(Body b)
Value	CharacterLiteral.eval(Body b)
Value	ClassAccess.eval(Body b)
Value	ClassInstanceExpr.eval(Body b)
Value	ConditionalExpr.eval(Body b)
Value	ConstructorAccess.eval(Body b)
Value	DoubleLiteral.eval(Body b)
Value	Expr.eval(Body b)
Value	FloatingPointLiteral.eval(Body b)
Value	InstanceOfExpr.eval(Body b)
Value	IntegerLiteral.eval(Body b)
Value	LogicalExpr.eval(Body b)
Value	LogNotExpr.eval(Body b)
Value	LongLiteral.eval(Body b)
Value	LShiftExpr.eval(Body b)
Value	MethodAccess.eval(Body b)
Value	MinusExpr.eval(Body b)
Value	NullLiteral.eval(Body b)
Value	ParExpr.eval(Body b)
Value	PlusExpr.eval(Body b)
Value	PostDecExpr.eval(Body b)
Value	PostIncExpr.eval(Body b)
Value	PreDecExpr.eval(Body b)
Value	PreIncExpr.eval(Body b)
Value	RelationalExpr.eval(Body b)
Value	RShiftExpr.eval(Body b)
Value	StringLiteral.eval(Body b)
Value	SuperAccess.eval(Body b)
Value	SuperConstructorAccess.eval(Body b)
Value	ThisAccess.eval(Body b)
Value	Unary.eval(Body b)
Value	URShiftExpr.eval(Body b)
Value	VarAccess.eval(Body b)
void	ASTNode.jimplify2(Body b)
void	BasicCatch.jimplify2(Body b)
void	Block.jimplify2(Body b)
void	BreakStmt.jimplify2(Body b)
void	Case.jimplify2(Body b)
void	ContinueStmt.jimplify2(Body b)
void	DoStmt.jimplify2(Body b)
void	EmptyStmt.jimplify2(Body b)
void	EnhancedForStmt.jimplify2(Body b)
void	ExprStmt.jimplify2(Body b)
void	ForStmt.jimplify2(Body b)
void	IfStmt.jimplify2(Body b)
void	LabeledStmt.jimplify2(Body b)
void	LocalClassDeclStmt.jimplify2(Body b)
void	ParameterDeclaration.jimplify2(Body b)
void	ReturnStmt.jimplify2(Body b)
void	Stmt.jimplify2(Body b)
void	SwitchStmt.jimplify2(Body b)
void	SynchronizedStmt.jimplify2(Body b)
void	ThrowStmt.jimplify2(Body b)
void	TryStmt.jimplify2(Body b)
void	VariableDeclaration.jimplify2(Body b)
void	WhileStmt.jimplify2(Body b)
Local	SynchronizedStmt.monitor(Body b)
void	Expr.refined_BooleanExpressions_Expr_emitEvalBranch(Body b)
Value	VarAccess.refined_Expressions_VarAccess_emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	VarAccess.refined_Expressions_VarAccess_eval(Body b)