/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | struct_ptr_fn.c | 12 int contents; member in struct:list 22 return nodeptr->contents;
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | HM_SimpleBuffer.sml | 8 val contents = String.concat (List.rev (!buf)) value 10 buf := [contents]; 11 contents
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | popups.scala | 32 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 D | mutator_dialog.scala | 98 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 D | popups.scala | 32 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 D | mutator_dialog.scala | 98 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 D | globals.h | 129 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 D | Database.sig | 17 datatype 'contents table = 19 | Node of string * 'contents * 'contents table * 'contents table
|
H A D | MyDatabase-sig.sml | 20 datatype 'contents table = 22 | Node of string * 'contents * 'contents table * 'contents table
|
H A D | MyDatabase.sml | 20 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 D | make_mlyacclib | 24 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 D | make_mlyacclib | 24 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 D | doc.scala | 21 /* contents */ 58 def contents(): List[Entry] = 79 for (Doc(name, _, _) <- contents()) yield name 106 val entries = contents()
|
H A D | task_statistics.scala | 56 contents = Component.wrap(new ChartPanel(chart(bins)))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 21 /* contents */ 58 def contents(): List[Entry] = 79 for (Doc(name, _, _) <- contents()) yield name 106 val entries = contents()
|
H A D | task_statistics.scala | 56 contents = Component.wrap(new ChartPanel(chart(bins)))
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/src/ |
H A D | emit_regexScript.sml | 63 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 D | symbols_dockable.scala | 70 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 D | query_dockable.scala | 128 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 D | symbols_dockable.scala | 70 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 D | query_dockable.scala | 128 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 D | wrap_panel.scala | 104 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 D | wrap_panel.scala | 104 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 D | binomial.tex | 2 %%%% Revised contents of Manual/Tutorial/binomial.tex %%%%
|
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/ |
H A D | binomial.tex | 2 %%%% Revised contents of Manual/Tutorial/binomial.tex %%%%
|