de.rwth.i2.attestor.main.scene

Class DefaultScene

java.lang.Object

de.rwth.i2.attestor.main.scene.DefaultScene

All Implemented Interfaces:

Scene

public class DefaultScene
extends Object
implements Scene

Constructor Summary

Constructors

Constructor and Description
DefaultScene()

Method Summary

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()

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultScene

public DefaultScene()

Method Detail

getType

public Type getType(String name)

Specified by:

getType in interface Scene

getSelectorLabel

public SelectorLabel getSelectorLabel(String name)

Specified by:

getSelectorLabel in interface Scene

getNonterminal

public Nonterminal getNonterminal(String name)

Specified by:

getNonterminal in interface Scene

createNonterminal

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

Specified by:

createNonterminal in interface Scene

createHeapConfiguration

public HeapConfiguration createHeapConfiguration()

Specified by:

createHeapConfiguration in interface Scene

createProgramState

public ProgramState createProgramState(HeapConfiguration heapConfiguration)

Specified by:

createProgramState in interface Scene

createProgramState

public ProgramState createProgramState()

Specified by:

createProgramState in interface Scene

createContract

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

Specified by:

createContract in interface Scene

getOrCreateMethod

public Method getOrCreateMethod(String signature)

Specified by:

getOrCreateMethod in interface Scene

getMethodIfPresent

public Method getMethodIfPresent(String signature)
                          throws ElementNotPresentException

Specified by:

getMethodIfPresent in interface Scene

Throws:

ElementNotPresentException

getRegisteredMethods

public Collection<Method> getRegisteredMethods()

Specified by:

getRegisteredMethods in interface Scene

addNumberOfGeneratedStates

public void addNumberOfGeneratedStates(int states)

Specified by:

addNumberOfGeneratedStates in interface Scene

getNumberOfGeneratedStates

public long getNumberOfGeneratedStates()

Specified by:

getNumberOfGeneratedStates in interface Scene

options

public Options options()

Specified by:

options in interface Scene

labels

public Labels labels()

Specified by:

labels in interface Scene

strategies

public Strategies strategies()

Specified by:

strategies in interface Scene