de.rwth.i2.attestor.main

Class AbstractPhase

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.main.AbstractPhase

Direct Known Subclasses:

AbstractionPreprocessingPhase, CommandLinePhase, CounterexampleGenerationPhase, GrammarRefinementPhase, MarkingGenerationPhase, ModelCheckingPhase, ParseContractsPhase, ParseGrammarPhase, ParseInputPhase, ParseProgramPhase, RecursiveStateSpaceGenerationPhase, ReportGenerationPhase

public abstract class AbstractPhase
extends SceneObject

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.apache.logging.log4j.Logger	logger

Constructor Summary

Constructors

Constructor and Description
AbstractPhase(Scene scene)

Method Summary

Modifier and Type	Method and Description
abstract void	executePhase()
double	getElapsedTime()
abstract String	getName()
protected <T> T	getPhase(Class<T> phaseType)
abstract boolean	isVerificationPhase()
protected void	logHighlight(String message)
protected void	logSum(String message)
abstract void	logSummary()
protected void	register(int phaseId, PhaseRegistry registry)
void	run()

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

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

Constructor Detail

AbstractPhase

public AbstractPhase(Scene scene)

Method Detail

register

protected void register(int phaseId,
                        PhaseRegistry registry)

getName

public abstract String getName()

getElapsedTime

public double getElapsedTime()

getPhase

protected <T> T getPhase(Class<T> phaseType)

executePhase

public abstract void executePhase()
                           throws IOException

Throws:

IOException

logSummary

public abstract void logSummary()

isVerificationPhase

public abstract boolean isVerificationPhase()

run

public void run()
         throws Exception

Throws:

Exception

logSum

protected void logSum(String message)

logHighlight

protected void logHighlight(String message)