public class MyParser
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
Grammar |
grammar |
java.util.List<ItemSet> |
itemSets |
ItemSet |
renamedGoal |
TransitionTable |
transitions |
| Constructor and Description |
|---|
MyParser(Grammar grammar,
TransitionTable table,
ItemSet renamedGoal,
java.util.List<ItemSet> itemSets) |
| Modifier and Type | Method and Description |
|---|---|
void |
printBeaverParser() |
void |
printBeaverSpec() |
void |
printBeaverTestSpec() |
void |
printGraph() |
void |
printItems() |
void |
printParser() |
void |
printTables() |
public final Grammar grammar
public final TransitionTable transitions
public final ItemSet renamedGoal
public final java.util.List<ItemSet> itemSets
public MyParser(Grammar grammar, TransitionTable table, ItemSet renamedGoal, java.util.List<ItemSet> itemSets)
public void printTables()
public void printGraph()
public void printBeaverParser()
throws java.io.IOException
java.io.IOExceptionpublic void printParser()
throws java.io.IOException
java.io.IOExceptionpublic void printItems()
public void printBeaverSpec()
throws java.io.IOException
java.io.IOExceptionpublic void printBeaverTestSpec()
throws java.io.IOException
java.io.IOException