Searched refs:source (Results 76 - 100 of 202) sorted by relevance

123456789

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/
H A Dml_lex.scala66 sealed case class Token(kind: Kind.Value, source: String)
69 def is_delimiter: Boolean = is_keyword && !Symbol.is_ascii_identifier(source)
292 error("Unexpected failure of tokenizing input:\n" + rest.source.toString)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dpresent.scala119 List(HTML.source(body)), css = "", structural = false)
124 val content = output_document(title, HTML.text(snapshot.node.source))
131 File.write(bib, snapshot.node.source)
H A Dthy_syntax.scala121 /* edit individual command source */
132 e.can_edit(cmd.source, cmd_start) ||
135 case Some((cmd, cmd_start)) if e.can_edit(cmd.source, cmd_start) =>
136 val (rest, text) = e.edit(cmd.source, cmd_start)
177 syntax.parse_spans(cmds0.iterator.map(_.source).mkString).map(span =>
H A Dhtml.scala206 def source(body: XML.Body): XML.Elem = pre("source", body)
207 def source(src: String): XML.Elem = source(text(src))
/seL4-l4v-10.1.1/HOL4/src/refute/
H A DAC.sml74 * Taken directly from the GTT source code, by JRH. Translation by *
123 * Taken directly from the GTT source code, by JRH. Translation by *
/seL4-l4v-10.1.1/HOL4/doc/hol-mode/
H A Dhol-mode.tex27 previous tactic in the source text in the current buffer. With a
30 next tactic in the source text in the current buffer. With a \emph{prefix
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/
H A Dparse.scala54 else Failure(s + " expected,\nbut " + token.kind + " was found:\n" + token.source, in)
69 def ML_source: Parser[String] = atom("ML source", _.is_text)
70 def document_source: Parser[String] = atom("document source", _.is_text)
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dthy_syntax.scala121 /* edit individual command source */
132 e.can_edit(cmd.source, cmd_start) ||
135 case Some((cmd, cmd_start)) if e.can_edit(cmd.source, cmd_start) =>
136 val (rest, text) = e.edit(cmd.source, cmd_start)
177 syntax.parse_spans(cmds0.iterator.map(_.source).mkString).map(span =>
H A Dhtml.scala206 def source(body: XML.Body): XML.Elem = pre("source", body)
207 def source(src: String): XML.Elem = source(text(src))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/
H A Dparse.scala54 else Failure(s + " expected,\nbut " + token.kind + " was found:\n" + token.source, in)
69 def ML_source: Parser[String] = atom("ML source", _.is_text)
70 def document_source: Parser[String] = atom("document source", _.is_text)
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dpretty_text_area.scala40 List(node_name -> Document.Node.Edits(List(Text.Edit.insert(0, command.source))))
53 (command.source, state1)
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dtokenizer.sml45 invoke (#source lexarg) lexer before
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dpretty_text_area.scala40 List(node_name -> Document.Node.Edits(List(Text.Edit.insert(0, command.source))))
53 (command.source, state1)
/seL4-l4v-10.1.1/isabelle/src/HOL/Bali/document/
H A Droot.tex48 JavaCard \textbf{source language}.
49 The basis is an abstract model of the JavaCard source language.
56 We have modelled large parts of the original JavaCard source language. It models
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Bali/document/
H A Droot.tex48 JavaCard \textbf{source language}.
49 The basis is an abstract model of the JavaCard source language.
56 We have modelled large parts of the original JavaCard source language. It models
/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DSatSolvers.sml7 ** URL, (* source for downloading *)
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sig51 (d,f) is source file info (directory and file) *)
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A DwinNT-systeml.sml5 absolutely can not depend on any other HOL source code. *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Ddepcomp42 source Source file read by 'PROGRAMS ARGS'.
119 if test -z "$depmode" || test -z "$source" || test -z "$object"; then
120 echo "depcomp: Variables source, object and depmode must be set" 1>&2
366 # source file under compilation, even if file resides in a subdirectory.
375 # Use the source, not the object, to determine the base name, since
377 set_base_from "$source"
380 # For projects that build the same source file twice into different object
381 # files, the pgcc approach of using the *source* file root name can cause
651 # the object too, otherwise makedepend will parse it as a source file.
664 # makedepend may prepend the VPATH from the source fil
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DTYPEIDCODESIG.sml32 { source: typeId, isEq: bool, isDatatype: bool, mkAddr: int->int, level: level} -> codetree
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Ddocument.scala48 sealed case class Blob(bytes: Bytes, source: String, chunk: Symbol.Text_Chunk, changed: Boolean)
343 def source: String =
345 case Some(blob) => blob.source
346 case None => command_iterator(0).map({ case (cmd, _) => cmd.source }).mkString
928 tree <- markup.to_XML(command_range, command.source, elements).iterator
932 val node_source = node.source
1081 node.commands.iterator.takeWhile(_ != command).map(_.source) ++
1083 else Iterator.single(command.source(Text.Range(0, command.chunk.decode(offset)))))
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dmutator_dialog.scala307 case Mutator.Edge_Endpoints((source, dest)) =>
309 ("Source", new Text_Field_Input(source.ident)),
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sig130 source : formulaSource}
/seL4-l4v-10.1.1/HOL4/polyml/
H A Ddepcomp42 source Source file read by 'PROGRAMS ARGS'.
119 if test -z "$depmode" || test -z "$source" || test -z "$object"; then
120 echo "depcomp: Variables source, object and depmode must be set" 1>&2
366 # source file under compilation, even if file resides in a subdirectory.
375 # Use the source, not the object, to determine the base name, since
377 set_base_from "$source"
380 # For projects that build the same source file twice into different object
381 # files, the pgcc approach of using the *source* file root name can cause
651 # the object too, otherwise makedepend will parse it as a source file.
664 # makedepend may prepend the VPATH from the source fil
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Ddocument.scala48 sealed case class Blob(bytes: Bytes, source: String, chunk: Symbol.Text_Chunk, changed: Boolean)
343 def source: String =
345 case Some(blob) => blob.source
346 case None => command_iterator(0).map({ case (cmd, _) => cmd.source }).mkString
928 tree <- markup.to_XML(command_range, command.source, elements).iterator
932 val node_source = node.source
1081 node.commands.iterator.takeWhile(_ != command).map(_.source) ++
1083 else Iterator.single(command.source(Text.Range(0, command.chunk.decode(offset)))))

Completed in 312 milliseconds

123456789