Searched refs:takeWhile (Results 1 - 25 of 41) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dfold_handling.scala42 takeWhile(_.improper).map(_ => structure.depth max 0).toList
H A Dtext_structure.scala82 nav.reverse_iterator(prev_line, 1).map(_.info).takeWhile(tok => !tok.is_begin_or_command)
85 nav.reverse_iterator(prev_line).map(_.info).takeWhile(tok => !tok.is_begin_or_command)
224 it.takeWhile(info => !info.info.is_command || restrict(info.info)).
H A Ddebugger_dockable.scala158 (for (t <- thread_contexts.iterator.takeWhile(t => c.thread_name != t.thread_name))
H A Djedit_editor.scala253 zipWithIndex.takeWhile(p => p._2 < offset - 1).map(_._1)))(_.advance(_)))
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dfold_handling.scala42 takeWhile(_.improper).map(_ => structure.depth max 0).toList
H A Dtext_structure.scala82 nav.reverse_iterator(prev_line, 1).map(_.info).takeWhile(tok => !tok.is_begin_or_command)
85 nav.reverse_iterator(prev_line).map(_.info).takeWhile(tok => !tok.is_begin_or_command)
224 it.takeWhile(info => !info.info.is_command || restrict(info.info)).
H A Ddebugger_dockable.scala158 (for (t <- thread_contexts.iterator.takeWhile(t => c.thread_name != t.thread_name))
H A Djedit_editor.scala253 zipWithIndex.takeWhile(p => p._2 < offset - 1).map(_._1)))(_.advance(_)))
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dlatex.scala39 takeWhile(_ != "\\endinput").reverse
69 (0 /: source_lines.iterator.takeWhile({ case (m, _) => m <= l }))(
149 val lines1 = lines.take(20).takeWhile({ case File_Line_Error(_) => false case _ => true })
H A Dthy_header.scala192 else all_tokens.takeWhile(tok => !tok.is_command(Thy_Header.THEORY)).toList
195 val tokens1 = tokens.takeWhile(tok => !tok.is_begin).toList
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dlatex.scala39 takeWhile(_ != "\\endinput").reverse
69 (0 /: source_lines.iterator.takeWhile({ case (m, _) => m <= l }))(
149 val lines1 = lines.take(20).takeWhile({ case File_Line_Error(_) => false case _ => true })
H A Dthy_header.scala192 else all_tokens.takeWhile(tok => !tok.is_command(Thy_Header.THEORY)).toList
195 val tokens1 = tokens.takeWhile(tok => !tok.is_begin).toList
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Dcommand_span.scala38 (start /: content.iterator.takeWhile(tok => !tok.is_command))(_.advance(_))
H A Ddocument.scala338 command_iterator(range.start) takeWhile { case (_, start) => start < range.stop }
985 change <- history.undo_list.takeWhile(_ != stable)
1081 node.commands.iterator.takeWhile(_ != command).map(_.source) ++
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Dcommand_span.scala38 (start /: content.iterator.takeWhile(tok => !tok.is_command))(_.advance(_))
/seL4-l4v-10.1.1/isabelle/src/Pure/
H A Dlibrary.scala220 (xs.takeWhile(pred), xs.dropWhile(pred))
225 (rev_xs.dropWhile(pred).reverse, rev_xs.takeWhile(pred).reverse)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/
H A Dlibrary.scala220 (xs.takeWhile(pred), xs.dropWhile(pred))
225 (rev_xs.dropWhile(pred).reverse, rev_xs.takeWhile(pred).reverse)
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dlinear_set.scala148 case Some(stop) => iterator(from).takeWhile(_ != stop)
H A Dpath.scala90 val r = ss.takeWhile(_.isEmpty).length
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/
H A Douter_syntax.scala177 (0 /: span.takeWhile(_ != cmd)) {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dlinear_set.scala148 case Some(stop) => iterator(from).takeWhile(_ != stop)
H A Dpath.scala90 val r = ss.takeWhile(_.isEmpty).length
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/
H A Douter_syntax.scala177 (0 /: span.takeWhile(_ != cmd)) {
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig134 val takeWhile : ('a -> bool) -> 'a list -> 'a list value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig134 val takeWhile : ('a -> bool) -> 'a list -> 'a list value

Completed in 98 milliseconds

12