public Token(string tokenTypeName, string value, CharPosX fromPos, CharPosX toPos) { TokenTypeName = tokenTypeName; Value = value; FromPos = fromPos; ToPos = toPos; }
static void Render(StringBuilder builder, CharPosX pos) { builder.Append("new CharPos("); builder.Append(pos.Index); builder.Append(", "); builder.Append(pos.LineNo); builder.Append(", "); builder.Append(pos.CharNo); builder.Append(")"); }