Searched refs:identifier (Results 1 - 25 of 75) sorted by relevance

123

/seL4-l4v-10.1.1/graph-refine/loop-example/
H A Dloop.c28 create_one (unsigned int identifier) { argument
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DHelp.sig18 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 DHelp.sml88 " 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 Dparse_type.sig32 will not cavil at "'a foo", for arbitrary identifier foo. With it
H A Dterm_tokens.sml100 * 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 Dtype_tokens.sml57 raise ERR "MkTypeIdent" "Malformed qualified identifier (no part after $)"
H A DParseDatatype.sml89 "Expected an identifier, got (reserved word) \"of\""
112 | (bt,locn) => raise ERRloc "ident" locn ("Expected an identifier, got "^
H A DAbsyn.sml112 | dest_ident t = raise ERRloc "dest_ident" (locn_of_absyn t) "Expected an identifier";
/seL4-l4v-10.1.1/HOL4/Manual/Reference/
H A Dentries-intro.tex11 identifies the ML structure where that identifier is bound.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DEXPORTTREESIG.sml34 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 DExportTree.sml30 | 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 DPARSETREESIG.sml55 (* 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 DStrictC.lex141 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 Dgetting.tex34 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 Dgetting.tex34 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 Dio.tex153 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 DBASE_PARSE_TREE.sml49 (* 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 DBaseParseTreeSig.sml52 (* 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 Dguide.tex363 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 DOpentheory.sig59 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 DHtmlsigs.sml136 (* 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 DregexpLib.sml197 " is not a suitable identifier, using \"foo\" instead");
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/
H A Dres_quanScript.sml281 (* This one should be called ``RES_EXISTS_UNIQUE``, but the identifier is
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dsyntax.tex127 alphanumeric. A symbolic identifier is any concatenation of the characters
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dsyntax.tex127 alphanumeric. A symbolic identifier is any concatenation of the characters

Completed in 274 milliseconds

123