Scene (Attestor 0.4.1 API)

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`addNumberOfGeneratedStates(int states)`
`Contract`	`createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)`
`HeapConfiguration`	`createHeapConfiguration()`
`Nonterminal`	`createNonterminal(String label, int rank, boolean[] isReductionTentacle)`
`ProgramState`	`createProgramState()`
`ProgramState`	`createProgramState(HeapConfiguration heapConfiguration)`
`Method`	`getMethodIfPresent(String signature)`
`Nonterminal`	`getNonterminal(String name)`
`long`	`getNumberOfGeneratedStates()`
`Method`	`getOrCreateMethod(String signature)`
`Collection<Method>`	`getRegisteredMethods()`
`SelectorLabel`	`getSelectorLabel(String name)`
`Type`	`getType(String name)`
`Labels`	`labels()`
`Options`	`options()`
`Strategies`	`strategies()`

SelectorLabel getSelectorLabel(String name)

Nonterminal getNonterminal(String name)

Nonterminal createNonterminal(String label,
                              int rank,
                              boolean[] isReductionTentacle)

HeapConfiguration createHeapConfiguration()

ProgramState createProgramState(HeapConfiguration heapConfiguration)

Contract createContract(HeapConfiguration precondition,
                        Collection<HeapConfiguration> postconditions)

Method getOrCreateMethod(String signature)

Collection<Method> getRegisteredMethods()

void addNumberOfGeneratedStates(int states)

Method getMethodIfPresent(String signature)
                   throws ElementNotPresentException

Interface Scene