Searched refs:contents (Results 1 - 25 of 97) sorted by relevance

1234

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dstruct_ptr_fn.c12 int contents; member in struct:list
22 return nodeptr->contents;
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHM_SimpleBuffer.sml8 val contents = String.concat (List.rev (!buf)) value
10 buf := [contents];
11 contents
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dpopups.scala32 contents +=
38 contents +=
44 contents +=
50 contents +=
68 contents += new Separator()
69 contents +=
72 contents += new MenuItem("From ...") { enabled = false }
74 contents +=
76 contents += new MenuItem("To ...") { enabled = false }
78 contents
[all...]
H A Dmutator_dialog.scala98 filter_panel.contents.clear
100 filter_panel.contents += x
103 filter_panel.contents += Swing.VGlue
140 contents += mutator_box
141 contents += Swing.RigidBox(new Dimension(10, 0))
142 contents += add_button
144 contents += Swing.HGlue
145 contents += Swing.RigidBox(new Dimension(30, 0))
146 contents += apply_button
148 contents
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/
H A Dpopups.scala32 contents +=
38 contents +=
44 contents +=
50 contents +=
68 contents += new Separator()
69 contents +=
72 contents += new MenuItem("From ...") { enabled = false }
74 contents +=
76 contents += new MenuItem("To ...") { enabled = false }
78 contents
[all...]
H A Dmutator_dialog.scala98 filter_panel.contents.clear
100 filter_panel.contents += x
103 filter_panel.contents += Swing.VGlue
140 contents += mutator_box
141 contents += Swing.RigidBox(new Dimension(10, 0))
142 contents += add_button
144 contents += Swing.HGlue
145 contents += Swing.RigidBox(new Dimension(30, 0))
146 contents += apply_button
148 contents
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dglobals.h129 PolyWord(POLYOBJPTR p) { contents.objectPtr = p; }
132 PolyWord() { contents.unsignedInt = 1; }
142 bool IsTagged(void) const { return (contents.unsignedInt & 1) != 0; }
143 bool IsDataPtr(void) const { return (contents.unsignedInt & (sizeof(PolyWord)-1)) == 0; }
146 POLYSIGNED UnTagged(void) const { return contents.signedInt >> POLY_TAGSHIFT; }
147 POLYUNSIGNED UnTaggedUnsigned(void) const { return contents.unsignedInt >> POLY_TAGSHIFT; }
148 POLYOBJPTR AsObjPtr(void) const { return contents.objectPtr; }
149 PolyWord *AsStackAddr(void) const { return contents.stackAddr; }
150 POLYCODEPTR AsCodePtr(void) const { return contents.codePtr; }
157 POLYUNSIGNED AsUnsigned(void) const { return contents
177 } contents; member in class:PolyWord
[all...]
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DDatabase.sig17 datatype 'contents table =
19 | Node of string * 'contents * 'contents table * 'contents table
H A DMyDatabase-sig.sml20 datatype 'contents table =
22 | Node of string * 'contents * 'contents table * 'contents table
H A DMyDatabase.sml20 datatype 'contents table =
22 | Node of string * 'contents * 'contents table * 'contents table
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dmake_mlyacclib24 This file is generated from the contents of ML-Yacc's lib directory.
25 ML-Yacc's COPYRIGHT-file contents follow:
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dmake_mlyacclib24 This file is generated from the contents of ML-Yacc's lib directory.
25 ML-Yacc's COPYRIGHT-file contents follow:
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Ddoc.scala21 /* contents */
58 def contents(): List[Entry] =
79 for (Doc(name, _, _) <- contents()) yield name
106 val entries = contents()
H A Dtask_statistics.scala56 contents = Component.wrap(new ChartPanel(chart(bins)))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Ddoc.scala21 /* contents */
58 def contents(): List[Entry] =
79 for (Doc(name, _, _) <- contents()) yield name
106 val entries = contents()
H A Dtask_statistics.scala56 contents = Component.wrap(new ChartPanel(chart(bins)))
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/src/
H A Demit_regexScript.sml63 val contents = value
70 val _ = emitML emitDir (name, contents);
71 (*val _ = eSML name contents;*)
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dsymbols_dockable.scala70 contents.clear
72 contents += new Abbrev_Component(txt, abbrs.filterNot(_ == "").sorted)
138 results_panel.contents.clear
140 results_panel.contents += new Symbol_Component(sym, false)
142 results_panel.contents +=
H A Dquery_dockable.scala128 def select { control_panel.contents += zoom }
178 def select { control_panel.contents += zoom }
264 control_panel.contents.clear
265 control_panel.contents += query_label
266 update_items().foreach(item => control_panel.contents += item.checkbox)
267 control_panel.contents ++=
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dsymbols_dockable.scala70 contents.clear
72 contents += new Abbrev_Component(txt, abbrs.filterNot(_ == "").sorted)
138 results_panel.contents.clear
140 results_panel.contents += new Symbol_Component(sym, false)
142 results_panel.contents +=
H A Dquery_dockable.scala128 def select { control_panel.contents += zoom }
178 def select { control_panel.contents += zoom }
264 control_panel.contents.clear
265 control_panel.contents += query_label
266 update_items().foreach(item => control_panel.contents += item.checkbox)
267 control_panel.contents ++=
/seL4-l4v-10.1.1/isabelle/src/Pure/GUI/
H A Dwrap_panel.scala104 def apply(contents: List[Component] = Nil,
106 new Wrap_Panel(contents, alignment)
116 contents ++= contents0
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/
H A Dwrap_panel.scala104 def apply(contents: List[Component] = Nil,
106 new Wrap_Panel(contents, alignment)
116 contents ++= contents0
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dbinomial.tex2 %%%% Revised contents of Manual/Tutorial/binomial.tex %%%%
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dbinomial.tex2 %%%% Revised contents of Manual/Tutorial/binomial.tex %%%%

Completed in 102 milliseconds

1234