de.rwth.i2.attestor.phases.preprocessing

Class GrammarRefinementPhase

java.lang.Object

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

de.rwth.i2.attestor.main.AbstractPhase

de.rwth.i2.attestor.phases.preprocessing.GrammarRefinementPhase

All Implemented Interfaces:

GrammarTransformer, InputTransformer, StateLabelingStrategyBuilderTransformer

public class GrammarRefinementPhase
extends AbstractPhase
implements InputTransformer, StateLabelingStrategyBuilderTransformer, GrammarTransformer

Field Summary

Fields inherited from class de.rwth.i2.attestor.main.AbstractPhase

logger

Constructor Summary

Constructors

Constructor and Description
GrammarRefinementPhase(Scene scene)

Method Summary

Modifier and Type	Method and Description
void	executePhase()
Grammar	getGrammar()
List<HeapConfiguration>	getInputs()
String	getName()
Map<String,String>	getRenamingMap()
AutomatonStateLabelingStrategyBuilder	getStrategy()
boolean	isVerificationPhase()
void	logSummary()

Methods inherited from class de.rwth.i2.attestor.main.AbstractPhase

getElapsedTime, getPhase, logHighlight, logSum, register, 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

Constructor Detail

GrammarRefinementPhase

public GrammarRefinementPhase(Scene scene)

Method Detail

getName

public String getName()

Specified by:

getName in class AbstractPhase

executePhase

public void executePhase()

Specified by:

executePhase in class AbstractPhase

logSummary

public void logSummary()

Specified by:

logSummary in class AbstractPhase

isVerificationPhase

public boolean isVerificationPhase()

Specified by:

isVerificationPhase in class AbstractPhase

getInputs

public List<HeapConfiguration> getInputs()

Specified by:

getInputs in interface InputTransformer

getStrategy

public AutomatonStateLabelingStrategyBuilder getStrategy()

Specified by:

getStrategy in interface StateLabelingStrategyBuilderTransformer

getGrammar

public Grammar getGrammar()

Specified by:

getGrammar in interface GrammarTransformer

getRenamingMap

public Map<String,String> getRenamingMap()

Specified by:

getRenamingMap in interface GrammarTransformer