Uses of Interface
soot.JastAddJ.Variable

Packages that use Variable

Package	Description
soot.JastAddJ

Uses of Variable in soot.JastAddJ

Classes in soot.JastAddJ that implement Variable

Modifier and Type	Class	Description
class	CatchParameterDeclaration	A catch parameter with disjunct exception type.
class	EnumConstant
class	FieldDeclaration
class	FieldDeclarationSubstituted
class	ParameterDeclaration	A parameter declaration as used in either method parameter lists or as a catch clause parameter.
class	ParameterDeclarationSubstituted
class	ResourceDeclaration	A resource declaration in a try with resources statement.
class	VariableArityParameterDeclaration
class	VariableArityParameterDeclarationSubstituted
class	VariableDeclaration

Fields in soot.JastAddJ declared as Variable

Modifier and Type	Field	Description
protected Variable	BoundFieldAccess.decl_value
protected Variable	VarAccess.decl_value
protected Variable	CatchParameterDeclaration.sourceVariableDecl_value
protected Variable	FieldDeclaration.sourceVariableDecl_value
protected Variable	FieldDeclarationSubstituted.sourceVariableDecl_value
protected Variable	ParameterDeclaration.sourceVariableDecl_value
protected Variable	ParameterDeclarationSubstituted.sourceVariableDecl_value
protected Variable	VariableDeclaration.sourceVariableDecl_value

Methods in soot.JastAddJ that return Variable

Modifier and Type	Method	Description
Variable	BoundFieldAccess.decl()
Variable	VarAccess.decl()
Variable	ASTNode.Define_Variable_unknownField(ASTNode caller, ASTNode child)
Variable	Program.Define_Variable_unknownField(ASTNode caller, ASTNode child)
Variable	CatchParameterDeclaration.sourceVariableDecl()
Variable	FieldDeclaration.sourceVariableDecl()
Variable	FieldDeclarationSubstituted.sourceVariableDecl()
Variable	ParameterDeclaration.sourceVariableDecl()
Variable	ParameterDeclarationSubstituted.sourceVariableDecl()
Variable	Variable.sourceVariableDecl()
Variable	VariableDeclaration.sourceVariableDecl()
Variable	Access.unknownField()
Variable	AbstractDot.varDecl()
Variable	Expr.varDecl()
Variable	ParExpr.varDecl()
Variable	VarAccess.varDecl()

Methods in soot.JastAddJ with parameters of type Variable

Modifier and Type	Method	Description
boolean	SwitchStmt.assignedAfterLastStmt(Variable v)
protected boolean	AssignExpr.checkDUeverywhere(Variable v)
protected boolean	ASTNode.checkDUeverywhere(Variable v)
protected boolean	PostfixExpr.checkDUeverywhere(Variable v)
protected boolean	PreDecExpr.checkDUeverywhere(Variable v)
protected boolean	PreIncExpr.checkDUeverywhere(Variable v)
protected boolean	VarAccess.checkDUeverywhere(Variable v)
boolean	Block.checkReturnDA(Variable v)
boolean	Block.checkReturnDU(Variable v)
boolean	ClassInstanceExpr.computeDAbefore(int i, Variable v)
boolean	MethodAccess.computeDAbefore(int i, Variable v)
boolean	ArrayInit.computeDABefore(int childIndex, Variable v)
boolean	ArrayInit.computeDUbefore(int childIndex, Variable v)
boolean	ClassInstanceExpr.computeDUbefore(int i, Variable v)
boolean	Block.declaredBeforeUse(Variable decl, int indexUse)
boolean	Block.declaredBeforeUse(Variable decl, ASTNode use)
boolean	TypeDecl.declaredBeforeUse(Variable decl, int indexUse)
boolean	TypeDecl.declaredBeforeUse(Variable decl, ASTNode use)
boolean	ASTNode.Define_boolean_inhModifiedInScope(ASTNode caller, ASTNode child, Variable var)
boolean	BasicCatch.Define_boolean_inhModifiedInScope(ASTNode caller, ASTNode child, Variable var)
boolean	ConstructorDecl.Define_boolean_inhModifiedInScope(ASTNode caller, ASTNode child, Variable var)
boolean	MethodDecl.Define_boolean_inhModifiedInScope(ASTNode caller, ASTNode child, Variable var)
boolean	AbstractDot.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	AndLogicalExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ArrayCreationExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ArrayInit.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ArrayTypeWithSizeAccess.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	AssertStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	AssignExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ASTNode.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Binary.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Block.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ClassInstanceExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ConditionalExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ConstructorDecl.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	DoStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	EnhancedForStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ExprStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	FieldDeclaration.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ForStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	IfStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	InstanceInitializer.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	LabeledStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	LogNotExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	MethodAccess.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	MethodDecl.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	OrLogicalExpr.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Program.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ReturnStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	StaticInitializer.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	SwitchStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	SynchronizedStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ThrowStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	TryStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	TryWithResources.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	TypeDecl.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	VariableDeclaration.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	WhileStmt.Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	AbstractDot.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	AndLogicalExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ArrayCreationExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ArrayInit.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ArrayTypeWithSizeAccess.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	AssignExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ASTNode.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Binary.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Block.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ClassInstanceExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ConditionalExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ConstructorDecl.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	DoStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	EnhancedForStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ExprStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ForStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	IfStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	LabeledStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	LogNotExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	MethodDecl.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	OrLogicalExpr.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Program.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ReturnStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	SwitchStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	SynchronizedStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	ThrowStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	TryStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	TypeDecl.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	VariableDeclaration.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	WhileStmt.Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
Value	Access.emitLoadLocalInNestedClass(Body b, Variable v)
boolean	ParameterDeclaration.inhModifiedInScope(Variable var)
boolean	AbstractDot.isDAafter(Variable v)
boolean	AndLogicalExpr.isDAafter(Variable v)
boolean	ArrayAccess.isDAafter(Variable v)
boolean	ArrayCreationExpr.isDAafter(Variable v)
boolean	ArrayInit.isDAafter(Variable v)
boolean	ArrayTypeAccess.isDAafter(Variable v)
boolean	ArrayTypeWithSizeAccess.isDAafter(Variable v)
boolean	AssertStmt.isDAafter(Variable v)
boolean	AssignExpr.isDAafter(Variable v)
boolean	Binary.isDAafter(Variable v)
boolean	Block.isDAafter(Variable v)
boolean	BodyDecl.isDAafter(Variable v)
boolean	BreakStmt.isDAafter(Variable v)
boolean	Case.isDAafter(Variable v)
boolean	CastExpr.isDAafter(Variable v)
boolean	ClassInstanceExpr.isDAafter(Variable v)
boolean	ConditionalExpr.isDAafter(Variable v)
boolean	ConstructorAccess.isDAafter(Variable v)
boolean	ConstructorDecl.isDAafter(Variable v)
boolean	ContinueStmt.isDAafter(Variable v)
boolean	DoStmt.isDAafter(Variable v)
boolean	EmptyStmt.isDAafter(Variable v)
boolean	EnhancedForStmt.isDAafter(Variable v)
boolean	Expr.isDAafter(Variable v)
boolean	ExprStmt.isDAafter(Variable v)
boolean	FieldDeclaration.isDAafter(Variable v)
boolean	ForStmt.isDAafter(Variable v)
boolean	IfStmt.isDAafter(Variable v)
boolean	InstanceInitializer.isDAafter(Variable v)
boolean	InstanceOfExpr.isDAafter(Variable v)
boolean	LabeledStmt.isDAafter(Variable v)
boolean	LocalClassDeclStmt.isDAafter(Variable v)
boolean	LogNotExpr.isDAafter(Variable v)
boolean	MethodAccess.isDAafter(Variable v)
boolean	OrLogicalExpr.isDAafter(Variable v)
boolean	ParExpr.isDAafter(Variable v)
boolean	ReturnStmt.isDAafter(Variable v)
boolean	StaticInitializer.isDAafter(Variable v)
boolean	Stmt.isDAafter(Variable v)
boolean	SuperConstructorAccess.isDAafter(Variable v)
boolean	SwitchStmt.isDAafter(Variable v)
boolean	SynchronizedStmt.isDAafter(Variable v)
boolean	ThrowStmt.isDAafter(Variable v)
boolean	TryStmt.isDAafter(Variable v)
boolean	TryWithResources.isDAafter(Variable v)
boolean	Unary.isDAafter(Variable v)
boolean	VarAccess.isDAafter(Variable v)
boolean	VariableDeclaration.isDAafter(Variable v)
boolean	WhileStmt.isDAafter(Variable v)
boolean	ArrayCreationExpr.isDAafterCreation(Variable v)
boolean	AbstractDot.isDAafterFalse(Variable v)
boolean	AndLogicalExpr.isDAafterFalse(Variable v)
boolean	AssignExpr.isDAafterFalse(Variable v)
boolean	Binary.isDAafterFalse(Variable v)
boolean	ConditionalExpr.isDAafterFalse(Variable v)
boolean	Expr.isDAafterFalse(Variable v)
boolean	InstanceOfExpr.isDAafterFalse(Variable v)
boolean	LogNotExpr.isDAafterFalse(Variable v)
boolean	MethodAccess.isDAafterFalse(Variable v)
boolean	OrLogicalExpr.isDAafterFalse(Variable v)
boolean	ParExpr.isDAafterFalse(Variable v)
boolean	FinallyHost.isDAafterFinally(Variable v)
boolean	SynchronizedStmt.isDAafterFinally(Variable v)
boolean	TryStmt.isDAafterFinally(Variable v)
boolean	ForStmt.isDAafterInitialization(Variable v)
boolean	ClassInstanceExpr.isDAafterInstance(Variable v)
boolean	BreakStmt.isDAafterReachedFinallyBlocks(Variable v)
boolean	ContinueStmt.isDAafterReachedFinallyBlocks(Variable v)
boolean	ReturnStmt.isDAafterReachedFinallyBlocks(Variable v)
boolean	AbstractDot.isDAafterTrue(Variable v)
boolean	AndLogicalExpr.isDAafterTrue(Variable v)
boolean	AssignExpr.isDAafterTrue(Variable v)
boolean	Binary.isDAafterTrue(Variable v)
boolean	ConditionalExpr.isDAafterTrue(Variable v)
boolean	Expr.isDAafterTrue(Variable v)
boolean	InstanceOfExpr.isDAafterTrue(Variable v)
boolean	LogNotExpr.isDAafterTrue(Variable v)
boolean	MethodAccess.isDAafterTrue(Variable v)
boolean	OrLogicalExpr.isDAafterTrue(Variable v)
boolean	ParExpr.isDAafterTrue(Variable v)
boolean	BodyDecl.isDAbefore(Variable v)
boolean	Case.isDAbefore(Variable v)
boolean	Expr.isDAbefore(Variable v)
boolean	Stmt.isDAbefore(Variable v)
boolean	TypeDecl.isDAbefore(Variable v)
boolean	AbstractDot.isDUafter(Variable v)
boolean	AndLogicalExpr.isDUafter(Variable v)
boolean	ArrayAccess.isDUafter(Variable v)
boolean	ArrayCreationExpr.isDUafter(Variable v)
boolean	ArrayInit.isDUafter(Variable v)
boolean	ArrayTypeAccess.isDUafter(Variable v)
boolean	ArrayTypeWithSizeAccess.isDUafter(Variable v)
boolean	AssertStmt.isDUafter(Variable v)
boolean	AssignExpr.isDUafter(Variable v)
boolean	Binary.isDUafter(Variable v)
boolean	Block.isDUafter(Variable v)
boolean	BodyDecl.isDUafter(Variable v)
boolean	BreakStmt.isDUafter(Variable v)
boolean	Case.isDUafter(Variable v)
boolean	CastExpr.isDUafter(Variable v)
boolean	ClassInstanceExpr.isDUafter(Variable v)
boolean	ConditionalExpr.isDUafter(Variable v)
boolean	ConstructorAccess.isDUafter(Variable v)
boolean	ConstructorDecl.isDUafter(Variable v)
boolean	ContinueStmt.isDUafter(Variable v)
boolean	DoStmt.isDUafter(Variable v)
boolean	EmptyStmt.isDUafter(Variable v)
boolean	EnhancedForStmt.isDUafter(Variable v)
boolean	Expr.isDUafter(Variable v)
boolean	ExprStmt.isDUafter(Variable v)
boolean	FieldDeclaration.isDUafter(Variable v)
boolean	ForStmt.isDUafter(Variable v)
boolean	IfStmt.isDUafter(Variable v)
boolean	InstanceInitializer.isDUafter(Variable v)
boolean	InstanceOfExpr.isDUafter(Variable v)
boolean	LabeledStmt.isDUafter(Variable v)
boolean	LocalClassDeclStmt.isDUafter(Variable v)
boolean	LogNotExpr.isDUafter(Variable v)
boolean	OrLogicalExpr.isDUafter(Variable v)
boolean	ParExpr.isDUafter(Variable v)
boolean	ReturnStmt.isDUafter(Variable v)
boolean	StaticInitializer.isDUafter(Variable v)
boolean	Stmt.isDUafter(Variable v)
boolean	SuperConstructorAccess.isDUafter(Variable v)
boolean	SwitchStmt.isDUafter(Variable v)
boolean	SynchronizedStmt.isDUafter(Variable v)
boolean	ThrowStmt.isDUafter(Variable v)
boolean	TryStmt.isDUafter(Variable v)
boolean	Unary.isDUafter(Variable v)
boolean	VarAccess.isDUafter(Variable v)
boolean	VariableDeclaration.isDUafter(Variable v)
boolean	WhileStmt.isDUafter(Variable v)
boolean	ArrayCreationExpr.isDUafterCreation(Variable v)
boolean	AbstractDot.isDUafterFalse(Variable v)
boolean	AndLogicalExpr.isDUafterFalse(Variable v)
boolean	AssignExpr.isDUafterFalse(Variable v)
boolean	ConditionalExpr.isDUafterFalse(Variable v)
boolean	Expr.isDUafterFalse(Variable v)
boolean	LogNotExpr.isDUafterFalse(Variable v)
boolean	OrLogicalExpr.isDUafterFalse(Variable v)
boolean	ParExpr.isDUafterFalse(Variable v)
boolean	FinallyHost.isDUafterFinally(Variable v)
boolean	SynchronizedStmt.isDUafterFinally(Variable v)
boolean	TryStmt.isDUafterFinally(Variable v)
boolean	ForStmt.isDUafterInit(Variable v)
boolean	ClassInstanceExpr.isDUafterInstance(Variable v)
boolean	BreakStmt.isDUafterReachedFinallyBlocks(Variable v)
boolean	ContinueStmt.isDUafterReachedFinallyBlocks(Variable v)
boolean	ReturnStmt.isDUafterReachedFinallyBlocks(Variable v)
boolean	AbstractDot.isDUafterTrue(Variable v)
boolean	AndLogicalExpr.isDUafterTrue(Variable v)
boolean	AssignExpr.isDUafterTrue(Variable v)
boolean	ConditionalExpr.isDUafterTrue(Variable v)
boolean	Expr.isDUafterTrue(Variable v)
boolean	LogNotExpr.isDUafterTrue(Variable v)
boolean	OrLogicalExpr.isDUafterTrue(Variable v)
boolean	ParExpr.isDUafterTrue(Variable v)
boolean	ForStmt.isDUafterUpdate(Variable v)
boolean	AbstractDot.isDUbefore(Variable v)
boolean	Binary.isDUbefore(Variable v)
boolean	BodyDecl.isDUbefore(Variable v)
boolean	Case.isDUbefore(Variable v)
boolean	Expr.isDUbefore(Variable v)
boolean	Stmt.isDUbefore(Variable v)
boolean	TryStmt.isDUbefore(Variable v)
boolean	TypeDecl.isDUbefore(Variable v)
boolean	DoStmt.isDUbeforeCondition(Variable v)
boolean	ForStmt.isDUbeforeCondition(Variable v)
boolean	WhileStmt.isDUbeforeCondition(Variable v)
boolean	Block.isDUeverywhere(Variable v)
boolean	Expr.isVariable(Variable var)
boolean	VarAccess.isVariable(Variable var)
boolean	AssertStmt.modifiedInScope(Variable var)
boolean	AssignExpr.modifiedInScope(Variable var)
boolean	Block.modifiedInScope(Variable var)
boolean	BreakStmt.modifiedInScope(Variable var)
boolean	Case.modifiedInScope(Variable var)
boolean	CatchClause.modifiedInScope(Variable var)
boolean	ContinueStmt.modifiedInScope(Variable var)
boolean	DoStmt.modifiedInScope(Variable var)
boolean	EmptyStmt.modifiedInScope(Variable var)
boolean	EnhancedForStmt.modifiedInScope(Variable var)
boolean	Expr.modifiedInScope(Variable var)
boolean	ExprStmt.modifiedInScope(Variable var)
boolean	ForStmt.modifiedInScope(Variable var)
boolean	IfStmt.modifiedInScope(Variable var)
boolean	LabeledStmt.modifiedInScope(Variable var)
boolean	LocalClassDeclStmt.modifiedInScope(Variable var)
boolean	ReturnStmt.modifiedInScope(Variable var)
abstract boolean	Stmt.modifiedInScope(Variable var)
boolean	SwitchStmt.modifiedInScope(Variable var)
boolean	SynchronizedStmt.modifiedInScope(Variable var)
boolean	ThrowStmt.modifiedInScope(Variable var)
boolean	TryStmt.modifiedInScope(Variable var)
boolean	VarDeclStmt.modifiedInScope(Variable var)
boolean	VariableDeclaration.modifiedInScope(Variable var)
boolean	WhileStmt.modifiedInScope(Variable var)
boolean	SwitchStmt.unassignedAfterLastStmt(Variable v)
boolean	ASTNode.unassignedEverywhere(Variable v, TryStmt stmt)
boolean	VarAccess.unassignedEverywhere(Variable v, TryStmt stmt)