public class Scanner : Object {
public SourceFile source_file { get; construct } ;
public Scanner ( SourceFile source_file ) ;
public TokenType read_token ( SourceLocation token_begin,
SourceLocation token_end ) ;
public string? pop_comment ( ) ;
}

public Scanner ( SourceFile source_file ) ;
public SourceFile source_file { get; construct } ;
public TokenType read_token ( SourceLocation token_begin,
SourceLocation token_end ) ;
public string? pop_comment ( ) ;
Created by Valadoc