/seL4-l4v-10.1.1/graph-refine/loop-example/ |
H A D | loop.c | 28 create_one (unsigned int identifier) { argument
|
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Help.sig | 18 help "id"; provides help on identifier id (case-insensitive). 20 If exactly one identifier in the library matches id (case-insensitive), 21 then the browser opens the signature defining that identifier, 24 If more than one identifier matches id (case-insensitive), then a 25 small menu lists the signatures containing the identifier. To
|
H A D | Help.sml | 88 " help \"id\"; provides help on identifier id\n", 302 print ("\nSorry, no help on identifier `" ^ id ^ "'\n\n")
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | parse_type.sig | 32 will not cavil at "'a foo", for arbitrary identifier foo. With it
|
H A D | term_tokens.sml | 100 * an alpha-numeric identifier (first character will be one 102 * a symbolic identifier = a chain of symbol characters (again possibly 175 NONE => (* identifier blob doesn't occur in list of known keywords *) let
|
H A D | type_tokens.sml | 57 raise ERR "MkTypeIdent" "Malformed qualified identifier (no part after $)"
|
H A D | ParseDatatype.sml | 89 "Expected an identifier, got (reserved word) \"of\"" 112 | (bt,locn) => raise ERRloc "ident" locn ("Expected an identifier, got "^
|
H A D | Absyn.sml | 112 | dest_ident t = raise ERRloc "dest_ident" (locn_of_absyn t) "Expected an identifier";
|
/seL4-l4v-10.1.1/HOL4/Manual/Reference/ |
H A D | entries-intro.tex | 11 identifies the ML structure where that identifier is bound.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | EXPORTTREESIG.sml | 34 val PTopenedAt: location -> ptProperties (* When an identifier comes from an "open" the location of the open. *) 35 val PTstructureAt: location -> ptProperties (* When an identifier comes from open S or S.a the declaration of S. *)
|
H A D | ExportTree.sml | 30 | PTopenedAt of location (* When an identifier comes from an "open" the location of the open. *) 31 | PTstructureAt of location (* When an identifier comes from open S or S.a the declaration of S. *)
|
H A D | PARSETREESIG.sml | 55 (* An identifier is just a name. In the second pass it is associated 57 type field. The type of this identifier is needed to deal with 60 occurence, i.e. the type of the identifier must be int * int -> bool,
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/ |
H A D | StrictC.lex | 141 identifier=({alpha}|"_")({alpha}|{digit}|"_")*; 448 <INITIAL,TSI>{identifier} => (resolve_id(true, yyarg, yypos, yytext)); 449 <TDEF,TSS>{identifier} => (resolve_id(!tokpdepth <> 0, yyarg, yypos, yytext)); 450 <TS>{identifier} => (YYBEGIN TSS; 550 <SPECIAL_COMMENT>{identifier} =>
|
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | 34 An {\bf identifier} is a string of letters, digits, underscores~(\verb|_|) 51 constants. A {\bf type identifier} consists of an identifier prefixed by a 57 mark, an identifier (or type identifier), and a subscript. The subscript, 60 \footnote{The subscript may appear after the identifier, separated by a 61 dot; this prevents ambiguity when the identifier ends with a digit. Thus 62 {\tt?z6.0} has identifier {\tt"z6"} and subscript~0, while {\tt?a0.5} 63 has identifier {\tt"a0"} and subscript~5. If the identifier doe [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | 34 An {\bf identifier} is a string of letters, digits, underscores~(\verb|_|) 51 constants. A {\bf type identifier} consists of an identifier prefixed by a 57 mark, an identifier (or type identifier), and a subscript. The subscript, 60 \footnote{The subscript may appear after the identifier, separated by a 61 dot; this prevents ambiguity when the identifier ends with a digit. Thus 62 {\tt?z6.0} has identifier {\tt"z6"} and subscript~0, while {\tt?a0.5} 63 has identifier {\tt"a0"} and subscript~5. If the identifier doe [all...] |
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | io.tex | 153 PCI identifier of the device as the low 16 bits of the \texttt{badge} argument, and 156 \cite{Shanley:PCISA}, but are briefly described here. A PCI identifier is 158 The next 5 bits are the device identifier: the number of the device on 161 by the PCI identifier.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | BASE_PARSE_TREE.sml | 49 (* An identifier is just a name. In the second pass it is associated 51 type field. The type of this identifier is needed to deal with 54 occurence, i.e. the type of the identifier must be int * int -> bool,
|
H A D | BaseParseTreeSig.sml | 52 (* An identifier is just a name. In the second pass it is associated 54 type field. The type of this identifier is needed to deal with 57 occurence, i.e. the type of the identifier must be int * int -> bool,
|
/seL4-l4v-10.1.1/HOL4/Manual/Guide/ |
H A D | guide.tex | 363 predefined \ML\ identifier \id\ should have, somewhere within the directory 365 used to generate the \latex\ source for the manual entry on the identifier \id. 376 because although it is an ML keyword, it is also an identifier. 393 relevant \ML\ identifier in the system. The directory {\tt THEOREMS} contains 429 \latex\ source for a manual entry on the \ML\ identifier \id\ can be generated. 438 \latex\ source text of the documentation on the identifier \id\ in the file 535 the \ML\ identifier to which the theorem is bound (or will be bound by 678 the names of built-in \ML\ functions. For each identifier \meta{name}, there 719 \item \meta{name} is the \ML\ identifier being documented. 723 \noindent If the \ML\ identifier i [all...] |
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
H A D | Opentheory.sig | 59 constant's name (useful when a constant's name is not a valid ML identifier).
|
/seL4-l4v-10.1.1/HOL4/help/src-sml/ |
H A D | Htmlsigs.sml | 136 (* First pass over the file: record anchors of identifier defs *) 228 (* Format susline which defines identifier id of kind comp: *)
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | regexpLib.sml | 197 " is not a suitable identifier, using \"foo\" instead");
|
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/ |
H A D | res_quanScript.sml | 281 (* This one should be called ``RES_EXISTS_UNIQUE``, but the identifier is
|
/seL4-l4v-10.1.1/HOL4/Manual/Description/ |
H A D | syntax.tex | 127 alphanumeric. A symbolic identifier is any concatenation of the characters
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
H A D | syntax.tex | 127 alphanumeric. A symbolic identifier is any concatenation of the characters
|