Lines Matching refs:source
59 val end = in.source.length
60 val matcher = new Symbol.Matcher(in.source)
67 val sym = in.source.subSequence(i, i + n).toString
72 else Success(in.source.subSequence(start, i).toString, in.drop(i - start))
108 def quoted_content(quote: Symbol.Symbol, source: String): String =
110 require(parseAll(quoted(quote), source).successful)
111 val body = source.substring(1, source.length - 1)
150 def verbatim_content(source: String): String =
152 require(parseAll(verbatim, source).successful)
153 source.substring(2, source.length - 2)
184 val end = in.source.length
185 val matcher = new Symbol.Matcher(in.source)
192 val sym = in.source.subSequence(i, i + n).toString
199 else Success((in.source.subSequence(start, i).toString, d), in.drop(i - start))
223 def cartouche_content(source: String): String =
225 def err(): Nothing = error("Malformed text cartouche: " + quote(source))
227 Library.try_unprefix(Symbol.open_decoded, source) orElse
228 Library.try_unprefix(Symbol.open, source) getOrElse err()
261 Success((in.source.subSequence(in.offset, rest.offset).toString, d), rest)
287 def comment_content(source: String): String =
289 require(parseAll(comment, source).successful)
290 source.substring(2, source.length - 2)
411 val source = in.source
413 val len = source.length - offset
418 tree.branches.get(source.charAt(offset + i)) match {
476 override lazy val source: CharSequence = restricted_seq
479 def pos: InputPosition = new OffsetPosition(source, offset)