Searched refs:is_space (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dcmdline.c31 static int is_space(char c) function
42 for (; is_space(*cmdline) && (*cmdline != 0); cmdline++);
47 for (optptr = opt; *optptr && *cmdline && (*cmdline != '=') && !is_space(*cmdline) && (*optptr == *cmdline); optptr++, cmdline++);
52 for (len = 0; !is_space(*cmdline) && (len < bufsize - 1); cmdline++, len++) {
59 for (; !is_space(*cmdline); cmdline++);
70 for (; is_space(*cmdline) && (*cmdline != 0); cmdline++);
75 for (optptr = opt; *optptr && *cmdline && !is_space(*cmdline) && (*optptr == *cmdline); optptr++, cmdline++);
77 if (*optptr == '\0' && is_space(*cmdline)) {
80 for (; !is_space(*cmdline); cmdline++);
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dupdate_comments.scala25 rest.dropWhile(_.is_space) match {
H A Dupdate_cartouches.scala26 Token.explode(Keyword.Keywords.empty, body).filterNot(_.is_space) match {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dupdate_comments.scala25 rest.dropWhile(_.is_space) match {
H A Dupdate_cartouches.scala26 Token.explode(Keyword.Keywords.empty, body).filterNot(_.is_space) match {
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/
H A Dline_structure.scala27 val blank1 = tokens.forall(_.is_space)
H A Dtoken.scala295 def is_space: Boolean = kind == Token.Kind.SPACE
299 def is_ignored: Boolean = is_space || is_informal_comment
300 def is_proper: Boolean = !is_space && !is_comment
H A Ddocument_structure.scala190 toks.filterNot(_.is_space) match {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/
H A Dline_structure.scala27 val blank1 = tokens.forall(_.is_space)
H A Dtoken.scala295 def is_space: Boolean = kind == Token.Kind.SPACE
299 def is_ignored: Boolean = is_space || is_informal_comment
300 def is_proper: Boolean = !is_space && !is_comment
H A Ddocument_structure.scala190 toks.filterNot(_.is_space) match {
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dtext_structure.scala29 if (comments) it.filterNot(_.info.is_space) else it.filter(_.info.is_proper)
35 if (comments) it.filterNot(_.info.is_space) else it.filter(_.info.is_proper)
197 val toks1 = toks.filterNot(_.is_space)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dtext_structure.scala29 if (comments) it.filterNot(_.info.is_space) else it.filter(_.info.is_proper)
35 if (comments) it.filterNot(_.info.is_space) else it.filter(_.info.is_proper)
197 val toks1 = toks.filterNot(_.is_space)
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/
H A Dml_lex.scala70 def is_space: Boolean = kind == Kind.SPACE
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/
H A Dml_lex.scala70 def is_space: Boolean = kind == Kind.SPACE

Completed in 141 milliseconds