Uses of Class
boomerang.results.PathElement

Packages that use PathElement

Package	Description
boomerang.results

Uses of PathElement in boomerang.results

Methods in boomerang.results that return types with arguments of type PathElement

Modifier and Type	Method and Description
List<PathElement>	AffectedLocation.getDataFlowPath()
List<PathElement>	NullPointerDereference.getDataFlowPath()

Constructor parameters in boomerang.results with type arguments of type PathElement

Constructor and Description
NullPointerDereference(Query query, ControlFlowGraph.Edge statement, Val variable, wpds.impl.PAutomaton<Statement,sync.pds.solver.nodes.INode<Val>> openingContext, wpds.impl.PAutomaton<Statement,sync.pds.solver.nodes.INode<Val>> closingContext, List<PathElement> dataFlowPath)