de.rwth.i2.attestor.phases.parser

Class ParseGrammarPhase

java.lang.Object

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

de.rwth.i2.attestor.main.AbstractPhase

de.rwth.i2.attestor.phases.parser.ParseGrammarPhase

All Implemented Interfaces:

GrammarTransformer

public class ParseGrammarPhase
extends AbstractPhase
implements GrammarTransformer

Field Summary

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

logger

Constructor Summary

Constructors

Constructor and Description
ParseGrammarPhase(Scene scene)

Method Summary

Modifier and Type	Method and Description
void	executePhase()
Grammar	getGrammar()
String	getName()
boolean	isVerificationPhase()
void	loadGrammarFromFile(String filename) Loads a graph grammar from a file and sets it as the graph grammar underlying the current analysis or extends the previously loaded grammar (if present).
void	loadGrammarFromSidFile(String filename) Loads a graph grammar from a file containing a system of inductive predicate definitions in a fragment of symbolic heap separation logic.
void	loadGrammarFromURL(URL resource)
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

ParseGrammarPhase

public ParseGrammarPhase(Scene scene)

Method Detail

getName

public String getName()

Specified by:

getName in class AbstractPhase

executePhase

public void executePhase()

Specified by:

executePhase in class AbstractPhase

loadGrammarFromFile

public void loadGrammarFromFile(String filename)

Loads a graph grammar from a file and sets it as the graph grammar underlying the current analysis or extends the previously loaded grammar (if present).

Parameters:

filename - The file storing the graph grammar.

loadGrammarFromSidFile

public void loadGrammarFromSidFile(String filename)

Loads a graph grammar from a file containing a system of inductive predicate definitions in a fragment of symbolic heap separation logic. If a previously graph grammar exists, it is extended by the newly created rules.

loadGrammarFromURL

public void loadGrammarFromURL(URL resource)

logSummary

public void logSummary()

Specified by:

logSummary in class AbstractPhase

isVerificationPhase

public boolean isVerificationPhase()

Specified by:

isVerificationPhase in class AbstractPhase

getGrammar

public Grammar getGrammar()

Specified by:

getGrammar in interface GrammarTransformer