src/sys/dotnet/fanx/serial/Tokenizer.cs
/// <summary>
/// Pushback a token which will be the next read.
/// </summary>
Pushback a token which will be the next read.
Pushback a token which will be the next read .
public void undo(int type, object val, int line)
    {
      if (m_undo != null) throw new System.InvalidOperationException("only one pushback supported");
      m_undo = new Undo(type, val, line);
    }
public void undo ( int type , object val , int line ) { if ( m_undo != null ) throw new System . InvalidOperationException ( " " ) ; m_undo = new Undo ( type , val , line ) ; }
Pushback a token which will be the next read.
Pushback a token which will be the next read .
type
int
val
object
line
int