/// <summary>
/// Creates a new scanner
/// </summary>
/// <param name="source">The file to read the characters from</param>
public Scanner(SourceFile source)
{
this.source = source;
currentSpelling = new StringBuilder();
}
public Scanner(SourceFile source)
{
_source = source;
_source.Reset();
_currentSpelling = new StringBuilder();
}
/// <summary>
/// Creates a new scanner
/// </summary>
/// <param name="source">The file to read the characters from</param>
public Scanner(SourceFile _source)
{
source = _source;
source.Reset();
currentSpelling = new StringBuilder();
}
