public class ParseGrammarPhase extends AbstractPhase implements GrammarTransformer
logger| Constructor and Description |
|---|
ParseGrammarPhase(Scene scene) |
| Modifier and Type | Method and Description |
|---|---|
void |
executePhase() |
Grammar |
getGrammar() |
String |
getName() |
Map<String,String> |
getRenamingMap() |
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 |
loadGrammarFromURL(URL resource) |
void |
logSummary() |
getElapsedTime, getPhase, logHighlight, logSum, register, runscenepublic ParseGrammarPhase(Scene scene)
public String getName()
getName in class AbstractPhasepublic void executePhase()
executePhase in class AbstractPhasepublic void loadGrammarFromFile(String filename)
filename - The file storing the graph grammar.public void loadGrammarFromURL(URL resource)
public void logSummary()
logSummary in class AbstractPhasepublic boolean isVerificationPhase()
isVerificationPhase in class AbstractPhasepublic Grammar getGrammar()
getGrammar in interface GrammarTransformerpublic Map<String,String> getRenamingMap()
getRenamingMap in interface GrammarTransformerCopyright © 2018. All rights reserved.