NameOf() public méthode

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