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()); }