Package boomerang.guided

Class Specification

java.lang.Object

boomerang.guided.Specification

public class Specification
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Specification.Parameter
static class	Specification.QueryDirection
class	Specification.QuerySelector
static class	Specification.SootMethodWithSelector

Method Summary

Modifier and Type	Method	Description
static Specification	create(String... spec)
Set<Specification.SootMethodWithSelector>	getMethodAndQueries()
static Specification	loadFrom(String filePath)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

loadFrom

public static Specification loadFrom(String filePath)
                              throws IOException

Throws:

IOException

create

public static Specification create(String... spec)

getMethodAndQueries

public Set<Specification.SootMethodWithSelector> getMethodAndQueries()