public class ClassSpecification
extends Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`SootBasedStateMachineGraph`	`getFSM()`
`Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>>`	`getInitialSeeds(soot.SootMethod m)`
`Collection<soot.SootMethod>`	`getInvolvedMethods()`
`CrySLRule`	`getRule()`
`int`	`hashCode()`
`void`	`invokesForbiddenMethod(soot.SootMethod m)`
`boolean`	`isLeafRule()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public ClassSpecification(CrySLRule rule,
                          CryptoScanner cScanner)

public Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>> getInitialSeeds(soot.SootMethod m)

public void invokesForbiddenMethod(soot.SootMethod m)

public Collection<soot.SootMethod> getInvolvedMethods()

public SootBasedStateMachineGraph getFSM()

Class ClassSpecification