# Ignores any printable character until a whitespace is encountered
protected fun ignore_until_whitespace: Int do
# Ignores any printable character until a whitespace is encountered
protected fun ignore_until_whitespace: Int do
return pos
end
# Returns the current location as a `Location` object
protected fun hot_location: Location do return new Location(line, line_offset)
return pos
end
# Returns the current location as a `Location` object
protected fun hot_location: Location do return new Location(line, line_offset)