de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl

Class ProgramImpl.ProgramBuilder

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl.ProgramImpl.ProgramBuilder

Enclosing class:

ProgramImpl

public static final class ProgramImpl.ProgramBuilder
extends Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProgramBuilder()

Method Summary

Modifier and Type	Method and Description
ProgramImpl.ProgramBuilder	addStatement(SemanticsCommand semanticsCommand)
ProgramImpl	build()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramBuilder

protected ProgramBuilder()

Method Detail

build

public ProgramImpl build()

addStatement

public ProgramImpl.ProgramBuilder addStatement(SemanticsCommand semanticsCommand)