晋太元中,武陵人捕鱼为业。缘溪行,忘路之远近。忽逢桃花林,夹岸数百步,中无杂树,芳草鲜美,落英缤纷。渔人甚异之,复前行,欲穷其林。 林尽水源,便得一山,山有小口,仿佛若有光。便舍船,从口入。初极狭,才通人。复行数十步,豁然开朗。土地平旷,屋舍俨然,有良田、美池、桑竹之属。阡陌交通,鸡犬相闻。其中往来种作,男女衣着,悉如外人。黄发垂髫,并怡然自乐。 见渔人,乃大惊,问所从来。具答之。便要还家,设酒杀鸡作食。村中闻有此人,咸来问讯。自云先世避秦时乱,率妻子邑人来此绝境,不复出焉,遂与外人间隔。问今是何世,乃不知有汉,无论魏晋。此人一一为具言所闻,皆叹惋。余人各复延至其家,皆出酒食。停数日,辞去。此中人语云:“不足为外人道也。”(间隔 一作:隔绝) 既出,得其船,便扶向路,处处志之。及郡下,诣太守,说如此。太守即遣人随其往,寻向所志,遂迷,不复得路。 南阳刘子骥,高尚士也,闻之,欣然规往。未果,寻病终。后遂无问津者。
| DIR:/opt/alt/ruby34/share/ruby/prism/parse_result/ |
| Current File : //opt/alt/ruby34/share/ruby/prism/parse_result/errors.rb |
# frozen_string_literal: true
# :markup: markdown
require "stringio"
module Prism
class ParseResult < Result
# An object to represent the set of errors on a parse result. This object
# can be used to format the errors in a human-readable way.
class Errors
# The parse result that contains the errors.
attr_reader :parse_result
# Initialize a new set of errors from the given parse result.
def initialize(parse_result)
@parse_result = parse_result
end
# Formats the errors in a human-readable way and return them as a string.
def format
error_lines = {} #: Hash[Integer, Array[ParseError]]
parse_result.errors.each do |error|
location = error.location
(location.start_line..location.end_line).each do |line|
error_lines[line] ||= []
error_lines[line] << error
end
end
source_lines = parse_result.source.source.lines
source_lines << "" if error_lines.key?(source_lines.size + 1)
io = StringIO.new
source_lines.each.with_index(1) do |line, line_number|
io.puts(line)
(error_lines.delete(line_number) || []).each do |error|
location = error.location
case line_number
when location.start_line
io.print(" " * location.start_column + "^")
if location.start_line == location.end_line
if location.start_column != location.end_column
io.print("~" * (location.end_column - location.start_column - 1))
end
io.puts(" " + error.message)
else
io.puts("~" * (line.bytesize - location.start_column))
end
when location.end_line
io.puts("~" * location.end_column + " " + error.message)
else
io.puts("~" * line.bytesize)
end
end
end
io.puts
io.string
end
end
end
end
|