Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.Program

Packages that use Program

Package	Description
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat
de.rwth.i2.attestor.markingGeneration
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl
de.rwth.i2.attestor.phases.transformers
de.rwth.i2.attestor.procedures
de.rwth.i2.attestor.semantics	This package defines the translation process from Java bytecode to an executable (abstract) semantics.
de.rwth.i2.attestor.semantics.jimpleSemantics	This package containsSubsumingState all classes which deal with the translation of Jimple elements, such as statements, values and types to semantics objects used within attestor.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of Program in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Methods in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat with parameters of type Program

Modifier and Type	Method and Description
void	JsonStateSpaceExporter.export(StateSpace stateSpace, Program program)
String	JsonStateSpaceExporter.exportForReport(StateSpace stateSpace, Program program)

Uses of Program in de.rwth.i2.attestor.markingGeneration

Methods in de.rwth.i2.attestor.markingGeneration that return Program

Modifier and Type	Method and Description
protected abstract Program	AbstractMarkingGenerator.getProgram()

Uses of Program in de.rwth.i2.attestor.markingGeneration.neighbourhood

Methods in de.rwth.i2.attestor.markingGeneration.neighbourhood that return Program

Modifier and Type	Method and Description
protected Program	NeighbourhoodMarkingGenerator.getProgram()

Uses of Program in de.rwth.i2.attestor.markingGeneration.visited

Methods in de.rwth.i2.attestor.markingGeneration.visited that return Program

Modifier and Type	Method and Description
protected Program	VisitedMarkingGenerator.getProgram()

Uses of Program in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type Program

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setProgram(Program program)

Uses of Program in de.rwth.i2.attestor.phases.parser

Methods in de.rwth.i2.attestor.phases.parser that return Program

Modifier and Type	Method and Description
Program	ParseProgramPhase.getProgram()

Uses of Program in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with parameters of type Program

Modifier and Type	Method and Description
StateSpaceGenerator	StateSpaceGeneratorFactory.create(Program program, List<ProgramState> initialStates)
StateSpaceGenerator	StateSpaceGeneratorFactory.create(Program program, ProgramState initialState)
StateSpaceGenerator	StateSpaceGeneratorFactory.create(Program program, ProgramState initialState, StateSpace stateSpace)

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with parameters of type Program

Constructor and Description
InternalContractGenerator(StateSpaceGeneratorFactory factory, Program program)

Uses of Program in de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl

Classes in de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl that implement Program

Modifier and Type	Class and Description
class	ProgramImpl Abstraction of a program that is symbolically executed to generate a state space.

Uses of Program in de.rwth.i2.attestor.phases.transformers

Methods in de.rwth.i2.attestor.phases.transformers that return Program

Modifier and Type	Method and Description
Program	ProgramTransformer.getProgram()

Uses of Program in de.rwth.i2.attestor.procedures

Methods in de.rwth.i2.attestor.procedures that return Program

Modifier and Type	Method and Description
Program	Method.getBody()

Methods in de.rwth.i2.attestor.procedures with parameters of type Program

Modifier and Type	Method and Description
void	Method.setBody(Program body)

Uses of Program in de.rwth.i2.attestor.semantics

Methods in de.rwth.i2.attestor.semantics that return Program

Modifier and Type	Method and Description
Program	ProgramParser.parse(String classpath, String classname, String entryPoint) Transforms a source code file into a ProgramImpl that can be analyzed.

Uses of Program in de.rwth.i2.attestor.semantics.jimpleSemantics

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics that return Program

Modifier and Type	Method and Description
Program	JimpleParser.parse(String classpath, String classname, String entryPoint)

Uses of Program in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type Program

Modifier and Type	Method and Description
void	StateSpaceExporter.export(StateSpace stateSpace, Program program) Exports a StateSpace into one or more files with the given name.
String	StateSpaceExporter.exportForReport(StateSpace stateSpace, Program program)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setProgram(Program program)