Searched refs:ID (Results 1 - 25 of 70) sorted by relevance

123

/seL4-l4v-10.1.1/isabelle/src/Pure/Concurrent/
H A Dcounter.scala14 type ID = Long
20 private var count: Counter.ID = 0
22 def apply(): Counter.ID = synchronized {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Concurrent/
H A Dcounter.scala14 type ID = Long
20 private var count: Counter.ID = 0
22 def apply(): Counter.ID = synchronized {
/seL4-l4v-10.1.1/isabelle/Admin/cronjob/
H A Dplain_identify30 local ID="$(hg tip -R "$REPOS_DIR/$NAME" --template "{node|short}")"
31 echo "$NAME version: $ID"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/
H A Dplain_identify30 local ID="$(hg tip -R "$REPOS_DIR/$NAME" --template "{node|short}")"
31 echo "$NAME version: $ID"
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dlexer.l20 ID [a-zA-Z_][a-zA-Z0-9_]*
76 {ID} { strncpy(yylval.id, yytext, MAXIDLEN); return T_id; }
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dstate_panel.scala16 private val instances = Synchronized(Map.empty[Counter.ID, State_Panel])
25 def exit(id: Counter.ID)
34 def locate(id: Counter.ID): Unit =
38 def update(id: Counter.ID): Unit =
42 def auto_update(id: Counter.ID, enabled: Boolean): Unit =
52 val id: Counter.ID = State_Panel.make_id()
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dstate_panel.scala16 private val instances = Synchronized(Map.empty[Counter.ID, State_Panel])
25 def exit(id: Counter.ID)
34 def locate(id: Counter.ID): Unit =
38 def update(id: Counter.ID): Unit =
42 def auto_update(id: Counter.ID, enabled: Boolean): Unit =
52 val id: Counter.ID = State_Panel.make_id()
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DZ3_Proof.sml12 (rather than a tree), there is an 'ID' constructor that merely
55 | ID of int
59 unique integer ID is assigned to each inference step. Note that
60 Z3 assigns no ID to the proof's root node, which derives the
61 final theorem "... |- F". We will use ID 0 for the root node. *)
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dyacc-grm.sml315 | ID of unit -> (string*int) | HEADER of unit -> (string)
356 | (T 11) => "ID"
462 | (6,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,START1left,_))::rest671)
463 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value
465 DECL {prec=nil,control=[START_SYM (symbolMake ID)],nonterm=NONE,
553 | (15,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,NAME1left,_))::rest671)
554 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value
556 DECL {prec=nil,control=[PARSER_NAME (symbolMake ID)],
609 | (21,(_,(MlyValue.PROG PROG1,_,PROG1right))::(_,(MlyValue.ID ID1,_,_)
611 fn _ => let val ID a value
671 val ID as ID1=ID1 () value
680 val ID as ID1=ID1 () value
692 result=MlyValue.CONSTR_LIST(fn _ => let val ID as ID1=ID1 () value
698 MlyValue.G_RULE(fn _ => let val ID as ID1=ID1 () value
724 let val ID as ID1=ID1 () value
814 result=MlyValue.QUAL_ID(fn _ => let val ID as ID1=ID1 () value
826 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 () value
836 rest671) => let val result=MlyValue.G_RULE_PREC(fn _ => let val ID as value
877 fun ID (i,p1,p2) = Token.TOKEN (ParserData.LrTable.T 11,( function
[all...]
H A Dyacc-grm-sig.sml35 val ID: (string*int) * 'a * 'a -> (svalue,'a) token value
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/
H A Dyacc-grm.sml318 | ID of unit -> (string*int) | HEADER of unit -> (string)
359 | (T 11) => "ID"
465 | (6,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,START1left,_))::rest671)
466 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value
468 DECL {prec=nil,control=[START_SYM (symbolMake ID)],nonterm=NONE,
556 | (15,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,NAME1left,_))::rest671)
557 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value
559 DECL {prec=nil,control=[PARSER_NAME (symbolMake ID)],
612 | (21,(_,(MlyValue.PROG PROG1,_,PROG1right))::(_,(MlyValue.ID ID1,_,_)
614 fn _ => let val ID a value
674 val ID as ID1=ID1 () value
683 val ID as ID1=ID1 () value
695 result=MlyValue.CONSTR_LIST(fn _ => let val ID as ID1=ID1 () value
701 MlyValue.G_RULE(fn _ => let val ID as ID1=ID1 () value
727 let val ID as ID1=ID1 () value
817 result=MlyValue.QUAL_ID(fn _ => let val ID as ID1=ID1 () value
829 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 () value
839 rest671) => let val result=MlyValue.G_RULE_PREC(fn _ => let val ID as value
880 fun ID (i,p1,p2) = Token.TOKEN (ParserData.LrTable.T 11,( function
[all...]
H A Dyacc-grm-sig.sml38 val ID: (string*int) * 'a * 'a -> (svalue,'a) token value
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DNormalVertex.java17 String label="",path="",dir="",ID=""; field in class:NormalVertex
22 ve.setID(ID);
50 public void setID(String s) { ID=s; }
52 public String getID() { return ID; }
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DNormalVertex.java17 String label="",path="",dir="",ID=""; field in class:NormalVertex
22 ve.setID(ID);
50 public void setID(String s) { ID=s; }
52 public String getID() { return ID; }
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DSequence.sig2 ID: sequence.ML,v 1.3 1994/11/21 10:33:23 lcp Exp
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DClause.sig2 (* CLAUSE = ID + THEOREM *)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DClause.sig2 (* CLAUSE = ID + THEOREM *)
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_tokens.sml153 val ID = Ident value
155 if is_char orelse s0 = #"\"" then (advance(); (ID s, locn))
157 if CharVector.all (Lib.equal #"$") s then (advance(); (ID s, locn))
167 Ident s' => (ID ("$" ^ s'), locn.move_start ~1 locn')
197 if s_has_nonagg_char c then stdfinish (ID c, rest)
242 if size rest = 0 then (advance(); (ID s, locn))
244 (replace_current (BT_Ident rest,locn2); (ID pfx, locn1))
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Dmarkup.scala123 val ID = "id"
131 val POSITION_PROPERTIES = Set(LINE, OFFSET, END_OFFSET, FILE, ID)
532 case List((FUNCTION, INVOKE_SCALA), (NAME, name), (ID, id)) => Some((name, id))
542 case List((FUNCTION, CANCEL_SCALA), (ID, id)) => Some(id)
601 (ID, id),
H A Dquery_operation.scala108 case (Markup.ID, Value.Long(id)) if id == state0.exec_id =>
109 (Markup.ID, Value.Long(command.id))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Dmarkup.scala123 val ID = "id"
131 val POSITION_PROPERTIES = Set(LINE, OFFSET, END_OFFSET, FILE, ID)
532 case List((FUNCTION, INVOKE_SCALA), (NAME, name), (ID, id)) => Some((name, id))
542 case List((FUNCTION, CANCEL_SCALA), (ID, id)) => Some(id)
601 (ID, id),
H A Dquery_operation.scala108 case (Markup.ID, Value.Long(id)) if id == state0.exec_id =>
109 (Markup.ID, Value.Long(command.id))
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClause.sig2 (* CLAUSE = ID + THEOREM + CONSTRAINTS *)
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dposition.scala23 val Id = new Properties.Long(Markup.ID)
24 val Id_String = new Properties.String(Markup.ID)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dposition.scala23 val Id = new Properties.Long(Markup.ID)
24 val Id_String = new Properties.String(Markup.ID)

Completed in 241 milliseconds

123