Lines Matching refs:depth
29 case class Cartouche(depth: Int) extends Line_Context
31 case class Cartouche_Comment(depth: Int) extends Line_Context
32 case class Comment(depth: Int) extends Line_Context
177 def cartouche_depth(depth: Int): Parser[(String, Int)] = new Parser[(String, Int)]
179 require(depth >= 0)
188 var d = depth
214 case Cartouche(depth) =>
215 cartouche_depth(depth) ^^ { case (c, d) => (c, cartouche_context(d)) }
236 private def comment_depth(depth: Int): Parser[(String, Int)] = new Parser[(String, Int)]
238 require(depth >= 0)
253 var d = depth
271 val depth =
277 if (depth >= 0)
278 comment_depth(depth) ^^