/// <summary>
 /// Handle the "Rewind" event.
 /// </summary>
 /// <param name="source">Event source object</param>
 /// <param name="e">Event data object</param>
 public virtual void  inputBufferRewind(object source, InputBufferEventArgs e)
 {
 }
 /// <summary>
 /// Handle the "CharConsumed" event.
 /// </summary>
 /// <param name="source">Event source object</param>
 /// <param name="e">Event data object</param>
 public virtual void  inputBufferConsume(object source, InputBufferEventArgs e)
 {
 }
 /// <summary>
 /// Handle the "Mark" event.
 /// </summary>
 /// <param name="source">Event source object</param>
 /// <param name="e">Event data object</param>
 public virtual void  inputBufferMark(object source, InputBufferEventArgs e)
 {
 }
Esempio n. 4
0
		public virtual void inputBufferChanged(object source, InputBufferEventArgs e)
		{
			System.Console.Out.WriteLine(e);
		}
Esempio n. 5
0
 public InputBufferEventSupport(object source)
 {
     inputBufferEvent = new InputBufferEventArgs();
     this.source      = source;
 }
Esempio n. 6
0
		/// <summary>
		/// Handle the "Rewind" event.
		/// </summary>
		/// <param name="source">Event source object</param>
		/// <param name="e">Event data object</param>
		public virtual void  inputBufferRewind(object source, InputBufferEventArgs e)
		{
		}
Esempio n. 7
0
		public override void  inputBufferRewind(object source, InputBufferEventArgs e)
		{
			System.Console.Out.WriteLine(e);
		}
Esempio n. 8
0
		/// <summary>
		/// Handle the "Mark" event.
		/// </summary>
		/// <param name="source">Event source object</param>
		/// <param name="e">Event data object</param>
		public virtual void  inputBufferMark(object source, InputBufferEventArgs e)
		{
		}
Esempio n. 9
0
		/// <summary>
		/// Handle the "CharConsumed" event.
		/// </summary>
		/// <param name="source">Event source object</param>
		/// <param name="e">Event data object</param>
		public virtual void  inputBufferConsume(object source, InputBufferEventArgs e)
		{
		}
Esempio n. 10
0
		public InputBufferEventSupport(object source)
		{
			inputBufferEvent = new InputBufferEventArgs();
			this.source = source;
		}
 public virtual void inputBufferChanged(object source, InputBufferEventArgs e)
 {
     System.Console.Out.WriteLine(e);
 }
 public override void  inputBufferRewind(object source, InputBufferEventArgs e)
 {
     System.Console.Out.WriteLine(e);
 }