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 and 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 and Description
void	ArrayTypeWithSizeAccess.addArraySize(Body b, ArrayList list)
void	ArrayTypeAccess.addArraySize(Body b, ArrayList list)
void	Access.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	LTExpr.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	RelationalExpr.comparison(Body b, Value left, Value right)
Value	EQExpr.comparison(Body b, Value left, Value right)
Value	LEExpr.comparison(Body b, Value left, Value right)
Value	NEExpr.comparison(Body b, Value left, Value right)
Value	LTExpr.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	RelationalExpr.comparisonInv(Body b, Value left, Value right)
Value	EQExpr.comparisonInv(Body b, Value left, Value right)
Value	LEExpr.comparisonInv(Body b, Value left, Value right)
Value	NEExpr.comparisonInv(Body b, Value left, Value right)
Value	AssignDivExpr.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	AssignXorExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignPlusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignURShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignOrExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignRShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignAndExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMulExpr.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	TypeDecl.emitCastTo(Body b, Expr expr, TypeDecl type)
Value	NullType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NumericType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	BooleanType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	TypeDecl.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	ReferenceType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
void	ParExpr.emitEvalBranch(Body b)
void	RelationalExpr.emitEvalBranch(Body b)
void	Expr.emitEvalBranch(Body b)
void	LogNotExpr.emitEvalBranch(Body b)
void	OrLogicalExpr.emitEvalBranch(Body b)
void	AbstractDot.emitEvalBranch(Body b)
void	ConditionalExpr.emitEvalBranch(Body b)
void	AndLogicalExpr.emitEvalBranch(Body b)
void	TryStmt.emitExceptionHandler(Body b)
void	TryStmt.emitFinallyCode(Body b)
void	FinallyHost.emitFinallyCode(Body b)
void	SynchronizedStmt.emitFinallyCode(Body b)
Value	Access.emitLoadLocalInNestedClass(Body b, Variable v)
Value	AndBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Binary.emitOperation(Body b, Value left, Value right)
Value	SubExpr.emitOperation(Body b, Value left, Value right)
Value	AddExpr.emitOperation(Body b, Value left, Value right)
Value	DivExpr.emitOperation(Body b, Value left, Value right)
Value	RShiftExpr.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	URShiftExpr.emitOperation(Body b, Value left, Value right)
Value	XorBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	LShiftExpr.emitOperation(Body b, Value left, Value right)
Value	OrBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Unary.emitPostfix(Body b, int constant)
Value	Unary.emitPrefix(Body b, int constant)
Value	Binary.emitShiftExpr(Body b)
Value	AssignExpr.emitShiftExpr(Body b)
Value	Expr.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	AbstractDot.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	ClassAccess.eval(Body b)
Value	ConstructorAccess.eval(Body b)
Value	ParExpr.eval(Body b)
Value	MethodAccess.eval(Body b)
Value	AssignLShiftExpr.eval(Body b)
Value	RelationalExpr.eval(Body b)
Value	PostDecExpr.eval(Body b)
Value	PlusExpr.eval(Body b)
Value	Binary.eval(Body b)
Value	InstanceOfExpr.eval(Body b)
Value	AssignSimpleExpr.eval(Body b)
Value	NullLiteral.eval(Body b)
Value	Expr.eval(Body b)
Value	ArrayInit.eval(Body b)
Value	ClassInstanceExpr.eval(Body b)
Value	CastExpr.eval(Body b)
Value	LogNotExpr.eval(Body b)
Value	AddExpr.eval(Body b)
Value	DoubleLiteral.eval(Body b)
Value	SuperConstructorAccess.eval(Body b)
Value	PreDecExpr.eval(Body b)
Value	MinusExpr.eval(Body b)
Value	SuperAccess.eval(Body b)
Value	ArrayAccess.eval(Body b)
Value	RShiftExpr.eval(Body b)
Value	ArrayCreationExpr.eval(Body b)
Value	AssignPlusExpr.eval(Body b)
Value	AbstractDot.eval(Body b)
Value	LongLiteral.eval(Body b)
Value	FloatingPointLiteral.eval(Body b)
Value	BitNotExpr.eval(Body b)
Value	CharacterLiteral.eval(Body b)
Value	StringLiteral.eval(Body b)
Value	ThisAccess.eval(Body b)
Value	AssignURShiftExpr.eval(Body b)
Value	BooleanLiteral.eval(Body b)
Value	PostIncExpr.eval(Body b)
Value	URShiftExpr.eval(Body b)
Value	LShiftExpr.eval(Body b)
Value	AssignRShiftExpr.eval(Body b)
Value	AssignExpr.eval(Body b)
Value	LogicalExpr.eval(Body b)
Value	PreIncExpr.eval(Body b)
Value	ConditionalExpr.eval(Body b)
Value	IntegerLiteral.eval(Body b)
Value	VarAccess.eval(Body b)
Value	Unary.eval(Body b)
void	VariableDeclaration.jimplify2(Body b)
void	ForStmt.jimplify2(Body b)
void	Block.jimplify2(Body b)
void	DoStmt.jimplify2(Body b)
void	ExprStmt.jimplify2(Body b)
void	WhileStmt.jimplify2(Body b)
void	ThrowStmt.jimplify2(Body b)
void	LocalClassDeclStmt.jimplify2(Body b)
void	TryStmt.jimplify2(Body b)
void	EmptyStmt.jimplify2(Body b)
void	ASTNode.jimplify2(Body b)
void	LabeledStmt.jimplify2(Body b)
void	Stmt.jimplify2(Body b)
void	BasicCatch.jimplify2(Body b)
void	IfStmt.jimplify2(Body b)
void	BreakStmt.jimplify2(Body b)
void	ContinueStmt.jimplify2(Body b)
void	SynchronizedStmt.jimplify2(Body b)
void	Case.jimplify2(Body b)
void	SwitchStmt.jimplify2(Body b)
void	ParameterDeclaration.jimplify2(Body b)
void	EnhancedForStmt.jimplify2(Body b)
void	ReturnStmt.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)