private void add(GrammarNode grammarNode)
{
if (grammarNode.getID() > this.maxIdentity)
{
this.maxIdentity = grammarNode.getID();
}
if (this.idCheck)
{
Iterator iterator = this.grammarNodes.iterator();
while (iterator.hasNext())
{
GrammarNode grammarNode2 = (GrammarNode)iterator.next();
if (grammarNode2.getID() == grammarNode.getID())
{
string text = new StringBuilder().append("DUP ID ").append(grammarNode2).append(" and ").append(grammarNode).toString();
throw new Error(text);
}
}
}
this.grammarNodes.add(grammarNode);
}
private void traverseDot(PrintWriter printWriter, Set set)
{
if (!set.contains(this))
{
set.add(this);
printWriter.println(new StringBuilder().append("\tnode").append(this.getID()).append(" [ label=").append(this.getGDLLabel(this)).append(", color=").append(this.getGDLColor(this)).append(", shape=").append(this.getGDLShape(this)).append(" ]\n").toString());
GrammarArc[] successors = this.getSuccessors();
GrammarArc[] array = successors;
int num = array.Length;
for (int i = 0; i < num; i++)
{
GrammarArc grammarArc = array[i];
GrammarNode grammarNode = grammarArc.getGrammarNode();
float probability = grammarArc.getProbability();
printWriter.write(new StringBuilder().append("\tnode").append(this.getID()).append(" -> node").append(grammarNode.getID()).append(" [ label=").append(probability).append(" ]\n").toString());
grammarNode.traverseDot(printWriter, set);
}
}
}
internal virtual string getGDLID(GrammarNode grammarNode)
{
return(new StringBuilder().append("\"").append(grammarNode.getID()).append('"').toString());
}
