de.rwth.i2.attestor.main

Class AbstractAttestor

java.lang.Object

de.rwth.i2.attestor.main.AbstractAttestor

Direct Known Subclasses:

Attestor

public abstract class AbstractAttestor
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.apache.logging.log4j.Logger	logger
protected Properties	properties
protected PhaseRegistry	registry
protected DefaultScene	scene

Constructor Summary

Constructors

Constructor and Description
AbstractAttestor()

Method Summary

Modifier and Type	Method and Description
Map<de.rwth.i2.attestor.LTLFormula,ProgramState>	getCounterexamples()
String	getDescription()
Map<String,Double>	getExecutionTimes()
int	getNumberOfFinalStates()
int	getNumberOfStatesWithoutProcedureCalls()
long	getTotalNumberOfStates()
boolean	hasAllLTLSatisfied()
boolean	hasFatalError()
protected abstract void	registerPhases(String[] args)
void	run(String[] args) Runs attestor to perform a program analysis.

Methods inherited from class java.lang.Object

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

Field Detail

logger

protected static final org.apache.logging.log4j.Logger logger

properties

protected final Properties properties

registry

protected PhaseRegistry registry

scene

protected DefaultScene scene

Constructor Detail

AbstractAttestor

public AbstractAttestor()

Method Detail

run

public void run(String[] args)

Runs attestor to perform a program analysis.

Parameters:

args - The command line arguments determining communication and analysis customizations.

See Also:

Explanation of all command line options

registerPhases

protected abstract void registerPhases(String[] args)
                                throws Exception

Throws:

Exception

hasFatalError

public boolean hasFatalError()

getTotalNumberOfStates

public long getTotalNumberOfStates()

getNumberOfStatesWithoutProcedureCalls

public int getNumberOfStatesWithoutProcedureCalls()

getDescription

public String getDescription()

getNumberOfFinalStates

public int getNumberOfFinalStates()

getCounterexamples

public Map<de.rwth.i2.attestor.LTLFormula,ProgramState> getCounterexamples()

hasAllLTLSatisfied

public boolean hasAllLTLSatisfied()

getExecutionTimes

public Map<String,Double> getExecutionTimes()