Uses of Class
boomerang.guided.Specification.SootMethodWithSelector

Packages that use Specification.SootMethodWithSelector

Package	Description
boomerang.guided

Uses of Specification.SootMethodWithSelector in boomerang.guided

Methods in boomerang.guided that return types with arguments of type Specification.SootMethodWithSelector

Modifier and Type	Method	Description
Set<Specification.SootMethodWithSelector>	Specification.getMethodAndQueries()

Methods in boomerang.guided with parameters of type Specification.SootMethodWithSelector

Modifier and Type	Method	Description
boolean	SimpleSpecificationGuidedManager.isInOnList(Specification.SootMethodWithSelector methodSelector, Statement stmt, Val fact, Specification.QueryDirection direction)