Read text
between begin_index
and end_index
.
# Append standard text to the current block
#
# Read `text` between `begin_index` and `end_index`.
private fun append_text(text: String, begin_index, end_index: nullable Int): MdText do
var node: MdText
if begin_index != null and end_index != null then
var nb_chars = end_index - begin_index
var string = text.substring(begin_index, nb_chars)
node = new MdText(
new MdLocation(
line,
column,
line,
column + nb_chars - 1
), string)
else
node = new MdText(
new MdLocation(
line,
column,
line,
column + text.length
), text)
end
append_node(node)
return node
end
lib/markdown2/markdown_inline_parsing.nit:210,2--236,4