Uses of Class
soot.dava.internal.AST.ASTNode

Packages that use ASTNode

Package	Description
soot.dava
soot.dava.internal.AST
soot.dava.internal.SET
soot.dava.toolkits.base.AST
soot.dava.toolkits.base.AST.analysis
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dava.toolkits.base.AST.transformations
soot.dava.toolkits.base.AST.traversals

Uses of ASTNode in soot.dava

Methods in soot.dava with parameters of type ASTNode

Modifier and Type	Method and Description
java.util.List<java.lang.Object>	MethodCallFinder.getSubBodyFromSingleSubBodyNode(ASTNode node)
java.util.List<java.lang.Object>	MethodCallFinder.getSubBodyFromSingleSubBodyNode(ASTNode node)

Uses of ASTNode in soot.dava.internal.AST

Subclasses of ASTNode in soot.dava.internal.AST

Modifier and Type	Class and Description
class	ASTControlFlowNode
class	ASTDoWhileNode
class	ASTForLoopNode
class	ASTIfElseNode
class	ASTIfNode
class	ASTLabeledBlockNode
class	ASTLabeledNode
class	ASTMethodNode
class	ASTStatementSequenceNode
class	ASTSwitchNode
class	ASTSynchronizedBlockNode
class	ASTTryNode
class	ASTUnconditionalLoopNode
class	ASTWhileNode

Uses of ASTNode in soot.dava.internal.SET

Methods in soot.dava.internal.SET that return ASTNode

Modifier and Type	Method and Description
ASTNode	SETDoWhileNode.emit_AST()
ASTNode	SETIfElseNode.emit_AST()
ASTNode	SETLabeledBlockNode.emit_AST()
abstract ASTNode	SETNode.emit_AST()
ASTNode	SETStatementSequenceNode.emit_AST()
ASTNode	SETSwitchNode.emit_AST()
ASTNode	SETSynchronizedBlockNode.emit_AST()
ASTNode	SETTopNode.emit_AST()
ASTNode	SETTryNode.emit_AST()
ASTNode	SETUnconditionalWhileNode.emit_AST()
ASTNode	SETWhileNode.emit_AST()
ASTNode	SETTryNode.emit_AST()
ASTNode	SETSynchronizedBlockNode.emit_AST()
ASTNode	SETSwitchNode.emit_AST()
ASTNode	SETIfElseNode.emit_AST()
ASTNode	SETDoWhileNode.emit_AST()
ASTNode	SETLabeledBlockNode.emit_AST()
ASTNode	SETUnconditionalWhileNode.emit_AST()
ASTNode	SETWhileNode.emit_AST()
ASTNode	SETStatementSequenceNode.emit_AST()
ASTNode	SETTopNode.emit_AST()
abstract ASTNode	SETNode.emit_AST()

Uses of ASTNode in soot.dava.toolkits.base.AST

Methods in soot.dava.toolkits.base.AST with parameters of type ASTNode

Modifier and Type	Method and Description
void	ASTAnalysis.analyseASTNode(ASTNode n)
void	TryContentsFinder.analyseASTNode(ASTNode n)
void	UselessTryRemover.analyseASTNode(ASTNode n)
void	UselessTryRemover.analyseASTNode(ASTNode n)
void	TryContentsFinder.analyseASTNode(ASTNode n)
void	ASTAnalysis.analyseASTNode(ASTNode n)

Uses of ASTNode in soot.dava.toolkits.base.AST.analysis

Methods in soot.dava.toolkits.base.AST.analysis with parameters of type ASTNode

Modifier and Type	Method and Description
void	DepthFirstAdapter.normalRetrieving(ASTNode node)
void	DepthFirstAdapter.normalRetrieving(ASTNode node)

Uses of ASTNode in soot.dava.toolkits.base.AST.structuredAnalysis

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type ASTNode

Modifier and Type	Method and Description
java.util.List<DavaFlowSet<T>>	DavaFlowSet.getImplicitlyBrokenSets(ASTNode node)
java.util.List<DavaFlowSet<T>>	DavaFlowSet.getImplicitlyBrokenSets(ASTNode node)
java.util.List<DavaFlowSet<T>>	DavaFlowSet.getImplicitlyContinuedSets(ASTNode node)
java.util.List<DavaFlowSet<T>>	DavaFlowSet.getImplicitlyContinuedSets(ASTNode node)
java.lang.String	StructuredAnalysis.getLabel(ASTNode node) returns label on the ASTNode null if the ASTNode cannot hold a label or if the label is null
java.lang.String	StructuredAnalysis.getLabel(ASTNode node) returns label on the ASTNode null if the ASTNode cannot hold a label or if the label is null
DavaFlowSet	StructuredAnalysis.handleBreak(java.lang.String label, DavaFlowSet out, ASTNode node) Need to handleBreak stmts There can be explicit breaks (in which case label is non null) There can always be implicit breaks ASTNode is non null
DavaFlowSet	UnreachableCodeFinder.handleBreak(java.lang.String label, DavaFlowSet output, ASTNode node)
DavaFlowSet	StructuredAnalysis.handleBreak(java.lang.String label, DavaFlowSet out, ASTNode node) Need to handleBreak stmts There can be explicit breaks (in which case label is non null) There can always be implicit breaks ASTNode is non null
DavaFlowSet	UnreachableCodeFinder.handleBreak(java.lang.String label, DavaFlowSet output, ASTNode node)
DavaFlowSet	StructuredAnalysis.handleContinue(java.lang.String label, java.lang.Object output, ASTNode node) Need to handleContinue stmts There can be explicit continues (in which case label is non null) There can always be implicit continues ASTNode is non null
DavaFlowSet	StructuredAnalysis.handleContinue(java.lang.String label, java.lang.Object output, ASTNode node) Need to handleContinue stmts There can be explicit continues (in which case label is non null) There can always be implicit continues ASTNode is non null
DavaFlowSet	UnreachableCodeFinder.ifNotReachableReturnInputElseProcessBodyAndReturnTrue(ASTNode node, DavaFlowSet input)
DavaFlowSet	UnreachableCodeFinder.ifNotReachableReturnInputElseProcessBodyAndReturnTrue(ASTNode node, DavaFlowSet input)
DavaFlowSet	StructuredAnalysis.processASTNode(ASTNode node, DavaFlowSet input)
DavaFlowSet	StructuredAnalysis.processASTNode(ASTNode node, DavaFlowSet input)
DavaFlowSet	StructuredAnalysis.processSingleSubBodyNode(ASTNode node, DavaFlowSet input) This method is called from the specialized ASTNodes.
DavaFlowSet	StructuredAnalysis.processSingleSubBodyNode(ASTNode node, DavaFlowSet input) This method is called from the specialized ASTNodes.

Uses of ASTNode in soot.dava.toolkits.base.AST.transformations

Methods in soot.dava.toolkits.base.AST.transformations that return types with arguments of type ASTNode

Modifier and Type	Method and Description
static java.util.List<ASTNode>	StrengthenByIfElse.getNewNode(ASTNode loopNode, ASTIfElseNode ifElseNode)
static java.util.List<ASTNode>	StrengthenByIfElse.getNewNode(ASTNode loopNode, ASTIfElseNode ifElseNode)
static java.util.List<ASTNode>	StrengthenByIf.getNewNode(ASTNode loopNode, ASTIfNode ifNode)
static java.util.List<ASTNode>	StrengthenByIf.getNewNode(ASTNode loopNode, ASTIfNode ifNode)

Methods in soot.dava.toolkits.base.AST.transformations with parameters of type ASTNode

Modifier and Type	Method and Description
boolean	EliminateConditions.canChange(java.lang.Boolean returned, ASTNode temp)
boolean	EliminateConditions.canChange(java.lang.Boolean returned, ASTNode temp)
boolean	EliminateConditions.change(java.lang.Boolean returned, ASTNode temp)
boolean	EliminateConditions.change(java.lang.Boolean returned, ASTNode temp)
static void	OrAggregatorThree.checkAndTransform(ASTNode node, ASTIfNode ifOne, ASTIfNode ifTwo, int nodeNumber, int subBodyNumber)
static void	OrAggregatorThree.checkAndTransform(ASTNode node, ASTIfNode ifOne, ASTIfNode ifTwo, int nodeNumber, int subBodyNumber)
boolean	UselessAbruptStmtRemover.checkChildLastInParent(ASTNode child, ASTNode parent)
boolean	UselessAbruptStmtRemover.checkChildLastInParent(ASTNode child, ASTNode parent)
void	DeInliningFinalFields.checkConditionalUses(java.lang.Object cond, ASTNode node)
void	DeInliningFinalFields.checkConditionalUses(java.lang.Object cond, ASTNode node)
static java.util.List<java.lang.Object>	LoopStrengthener.createNewSubBody(java.util.List<java.lang.Object> oldSubBody, int nodeNumber, ASTNode oldNode, java.util.List<ASTNode> newNode)
static java.util.List<java.lang.Object>	LoopStrengthener.createNewSubBody(java.util.List<java.lang.Object> oldSubBody, int nodeNumber, ASTNode oldNode, java.util.List<ASTNode> newNode)
java.lang.Boolean	EliminateConditions.eliminate(ASTNode node)
java.lang.Boolean	EliminateConditions.eliminate(ASTNode node)
java.lang.Boolean	EliminateConditions.eliminateForTry(ASTNode node)
java.lang.Boolean	EliminateConditions.eliminateForTry(ASTNode node)
boolean	UselessLabelFinder.findAndKill(ASTNode node)
boolean	UselessLabelFinder.findAndKill(ASTNode node)
static java.util.List<ASTNode>	StrengthenByIfElse.getNewNode(ASTNode loopNode, ASTIfElseNode ifElseNode)
static java.util.List<ASTNode>	StrengthenByIfElse.getNewNode(ASTNode loopNode, ASTIfElseNode ifElseNode)
static java.util.List<ASTNode>	StrengthenByIf.getNewNode(ASTNode loopNode, ASTIfNode ifNode)
static java.util.List<ASTNode>	StrengthenByIf.getNewNode(ASTNode loopNode, ASTIfNode ifNode)
void	ASTCleaner.normalRetrieving(ASTNode node)
void	ASTCleanerTwo.normalRetrieving(ASTNode node)
void	EliminateConditions.normalRetrieving(ASTNode node)
void	ForLoopCreator.normalRetrieving(ASTNode node)
void	LoopStrengthener.normalRetrieving(ASTNode node)
void	UnreachableCodeEliminator.normalRetrieving(ASTNode node)
void	ASTCleaner.normalRetrieving(ASTNode node)
void	EliminateConditions.normalRetrieving(ASTNode node)
void	UnreachableCodeEliminator.normalRetrieving(ASTNode node)
void	ASTCleanerTwo.normalRetrieving(ASTNode node)
void	LoopStrengthener.normalRetrieving(ASTNode node)
void	ForLoopCreator.normalRetrieving(ASTNode node)
static void	EmptyElseRemover.removeElseBody(ASTNode node, ASTIfElseNode ifElseNode, int subBodyNumber, int nodeNumber)
static void	EmptyElseRemover.removeElseBody(ASTNode node, ASTIfElseNode ifElseNode, int subBodyNumber, int nodeNumber)
static void	UselessLabeledBlockRemover.removeLabeledBlock(ASTNode node, ASTLabeledBlockNode labelBlock, int subBodyNumber, int nodeNumber)
static void	UselessLabeledBlockRemover.removeLabeledBlock(ASTNode node, ASTLabeledBlockNode labelBlock, int subBodyNumber, int nodeNumber)

Method parameters in soot.dava.toolkits.base.AST.transformations with type arguments of type ASTNode

Modifier and Type	Method and Description
static java.util.List<java.lang.Object>	LoopStrengthener.createNewSubBody(java.util.List<java.lang.Object> oldSubBody, int nodeNumber, ASTNode oldNode, java.util.List<ASTNode> newNode)
static java.util.List<java.lang.Object>	LoopStrengthener.createNewSubBody(java.util.List<java.lang.Object> oldSubBody, int nodeNumber, ASTNode oldNode, java.util.List<ASTNode> newNode)

Constructors in soot.dava.toolkits.base.AST.transformations with parameters of type ASTNode

Constructor and Description
LocalVariableCleaner(ASTNode AST)
LocalVariableCleaner(ASTNode AST)
LocalVariableCleaner(boolean verbose, ASTNode AST)
LocalVariableCleaner(boolean verbose, ASTNode AST)
UnreachableCodeEliminator(ASTNode AST)
UnreachableCodeEliminator(ASTNode AST)
UnreachableCodeEliminator(boolean verbose, ASTNode AST)
UnreachableCodeEliminator(boolean verbose, ASTNode AST)

Uses of ASTNode in soot.dava.toolkits.base.AST.traversals

Methods in soot.dava.toolkits.base.AST.traversals that return ASTNode

Modifier and Type	Method and Description
ASTNode	ClosestAbruptTargetFinder.getTarget(DAbruptStmt ab) To be invoked by other analyses.
ASTNode	ClosestAbruptTargetFinder.getTarget(DAbruptStmt ab) To be invoked by other analyses.

Methods in soot.dava.toolkits.base.AST.traversals with parameters of type ASTNode

Modifier and Type	Method and Description
void	ASTUsesAndDefs.checkConditionalUses(ASTCondition cond, ASTNode node)
void	AllVariableUses.checkConditionalUses(ASTCondition cond, ASTNode node)
void	ASTUsesAndDefs.checkConditionalUses(ASTCondition cond, ASTNode node)
void	AllVariableUses.checkConditionalUses(ASTCondition cond, ASTNode node)

Constructors in soot.dava.toolkits.base.AST.traversals with parameters of type ASTNode

Constructor and Description
ASTUsesAndDefs(ASTNode AST)
ASTUsesAndDefs(ASTNode AST)
ASTUsesAndDefs(boolean verbose, ASTNode AST)
ASTUsesAndDefs(boolean verbose, ASTNode AST)
CopyPropagation(ASTNode AST)
CopyPropagation(ASTNode AST)
CopyPropagation(boolean verbose, ASTNode AST)
CopyPropagation(boolean verbose, ASTNode AST)