de.rwth.i2.attestor.stateSpaceGeneration

Interface Program

All Known Implementing Classes:

ProgramImpl

public interface Program

Method Summary

Modifier and Type	Method and Description
int	countPredecessors(int programCounter)
SemanticsCommand	getStatement(int programCounter) Provides the program statement for a given program counter

Method Detail

getStatement

SemanticsCommand getStatement(int programCounter)

Provides the program statement for a given program counter

Parameters:

programCounter - A program counter.

Returns:

The programs statement corresponding to the given program counter.

countPredecessors

int countPredecessors(int programCounter)

Parameters:

programCounter -

Returns: