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 and 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 and Description
protected Variable	BoundFieldAccess.decl_value
protected Variable	VarAccess.decl_value
protected Variable	VariableDeclaration.sourceVariableDecl_value
protected Variable	ParameterDeclarationSubstituted.sourceVariableDecl_value
protected Variable	FieldDeclaration.sourceVariableDecl_value
protected Variable	FieldDeclarationSubstituted.sourceVariableDecl_value
protected Variable	CatchParameterDeclaration.sourceVariableDecl_value
protected Variable	ParameterDeclaration.sourceVariableDecl_value

Methods in soot.JastAddJ that return Variable

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

Methods in soot.JastAddJ with parameters of type Variable

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