Beispiel #1
0
 /// <summary>Jump to a different location and clear the currrent element buffer.</summary>
 public void ClearAndJump(ParseLocation location)
 {
     this.Location    = location;
     this.ElementName = null;
     this.ClearElementValue();
 }
Beispiel #2
0
            /// <summary>Jump to a different location and clear the currrent element buffer.</summary>
            public void ClearAndJump(ParseLocation location)
			{
				this.Location = location;
				this.ElementName = null;
				this.ClearElementValue();
			}