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

Class ProgramImpl

java.lang.Object

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

All Implemented Interfaces:

Program

public class ProgramImpl
extends Object
implements Program

Abstraction of a program that is symbolically executed to generate a state space. In particular, this class provides access to program statements located at a requested position.

Author:

Christoph

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProgramImpl.ProgramBuilder

Constructor Summary

Constructors

Constructor and Description
ProgramImpl(List<SemanticsCommand> program) Initialize this program.

Method Summary

Modifier and Type	Method and Description
static ProgramImpl.ProgramBuilder	builder()
int	countPredecessors(int programCounter)
SemanticsCommand	getStatement(int programCounter) Provides the program statement for a given program counter
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramImpl

public ProgramImpl(List<SemanticsCommand> program)

Initialize this program.

Parameters:

program - The list of statements that make up this program.

Method Detail

builder

public static ProgramImpl.ProgramBuilder builder()

getStatement

public SemanticsCommand getStatement(int programCounter)

Description copied from interface: Program

Provides the program statement for a given program counter

Specified by:

getStatement in interface Program

Parameters:

programCounter - A program counter.

Returns:

The programs statement corresponding to the given program counter.

countPredecessors

public int countPredecessors(int programCounter)

Specified by:

countPredecessors in interface Program

Returns:

toString

public String toString()

Overrides:

toString in class Object