public override string ToString() { return(m_info.token() + "(" + m_value + ") at line " + m_info.position()); }