# File kwartz.rb, line 2897
        def gettoken
            return @scanner.gettoken
        end