NameOf() 공개 메소드

Output symbol's name
public NameOf ( int symbol ) : string
symbol int
리턴 string
 public override void Dump(StringBuilder bb, SymbolsDictionary symbols, Positions positions) {
     bb.Append("\"" + symbols.NameOf(positions[pos].symbol) + "\"");
 }