/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Stack.sml | 8 Node of 'item * 'item stack 10 fun isEmpty( Node( _ , S)) = false 15 fun push( x, S ) = Node( x, S ) 18 | pop( Node( x, S) ) = S 21 | top( Node( x, S ) ) = x 24 | stack2set (Node(x,S),st) = stack2set(S, Binaryset.add(st,x))
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Stack.sml | 8 Node of 'item * 'item stack 10 fun isEmpty( Node( _ , S)) = false 15 fun push( x, S ) = Node( x, S ) 18 | pop( Node( x, S) ) = S 21 | top( Node( x, S ) ) = x 24 | stack2set (Node(x,S),st) = stack2set(S, Binaryset.add(st,x))
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | Stack.sml | 8 Node of 'item * 'item stack 10 fun isEmpty( Node( _ , S)) = false 15 fun push( x, S ) = Node( x, S ) 18 | pop( Node( x, S) ) = S 21 | top( Node( x, S ) ) = x 24 | stack2set (Node(x,S),st) = stack2set(S, Binaryset.add(st,x))
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | graph_display.scala | 18 object Node 20 val dummy: Node = Node("", "") 22 object Ordering extends scala.math.Ordering[Node] 24 def compare(node1: Node, node2: Node): Int = 31 sealed case class Node(name: String, ident: String) 33 def is_dummy: Boolean = this == Node.dummy 37 type Edge = (Node, Node) [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | graph_display.scala | 18 object Node 20 val dummy: Node = Node("", "") 22 object Ordering extends scala.math.Ordering[Node] 24 def compare(node1: Node, node2: Node): Int = 31 sealed case class Node(name: String, ident: String) 33 def is_dummy: Boolean = this == Node.dummy 37 type Edge = (Node, Node) [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
H A D | editor.scala | 21 def current_node(context: Context): Option[Document.Node.Name] 23 def node_snapshot(name: Document.Node.Name): Document.Snapshot 29 def node_overlays(name: Document.Node.Name): Document.Node.Overlays
|
H A D | resources.scala | 30 def append(node_name: Document.Node.Name, source_path: Path): String = 60 def loaded_files(syntax: Outer_Syntax, name: Document.Node.Name): () => List[Path] = 84 file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))() 94 def import_name(qualifier: String, dir: String, s: String): Document.Node.Name = 97 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory) 103 Document.Node.Name.loaded_theory(theory) 108 Document.Node.Name(node, master_dir, theory) 114 def import_name(name: Document.Node.Name, s: String): Document.Node.Name = 139 def with_thy_reader[A](name: Document.Node [all...] |
H A D | document.scala | 25 final class Overlays private(rep: Map[Node.Name, Node.Overlays]) 27 def apply(name: Node.Name): Node.Overlays = 28 rep.getOrElse(name, Node.Overlays.empty) 30 private def update(name: Node.Name, f: Node.Overlays => Node.Overlays): Overlays = 55 def apply(blobs: Map[Node.Name, Blob]): Blobs = new Blobs(blobs) 59 final class Blobs private(blobs: Map[Node [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
H A D | editor.scala | 21 def current_node(context: Context): Option[Document.Node.Name] 23 def node_snapshot(name: Document.Node.Name): Document.Snapshot 29 def node_overlays(name: Document.Node.Name): Document.Node.Overlays
|
H A D | resources.scala | 30 def append(node_name: Document.Node.Name, source_path: Path): String = 60 def loaded_files(syntax: Outer_Syntax, name: Document.Node.Name): () => List[Path] = 84 file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))() 94 def import_name(qualifier: String, dir: String, s: String): Document.Node.Name = 97 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory) 103 Document.Node.Name.loaded_theory(theory) 108 Document.Node.Name(node, master_dir, theory) 114 def import_name(name: Document.Node.Name, s: String): Document.Node.Name = 139 def with_thy_reader[A](name: Document.Node [all...] |
H A D | document.scala | 25 final class Overlays private(rep: Map[Node.Name, Node.Overlays]) 27 def apply(name: Node.Name): Node.Overlays = 28 rep.getOrElse(name, Node.Overlays.empty) 30 private def update(name: Node.Name, f: Node.Overlays => Node.Overlays): Overlays = 55 def apply(blobs: Map[Node.Name, Blob]): Blobs = new Blobs(blobs) 59 final class Blobs private(blobs: Map[Node [all...] |
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | model.scala | 43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)), 53 def find_node(ident: String): Option[Graph_Display.Node] = 61 private var _colors = Map.empty[Graph_Display.Node, Color] 67 (Map.empty[Graph_Display.Node, Color] /: Colors()) {
|
H A D | graphview.scala | 40 def find_node(at: Point2D): Option[Graph_Display.Node] = 42 case (Layout.Node(node), (info, _)) if Shapes.shape(info).contains(at) => node 75 def node_text(node: Graph_Display.Node, content: XML.Body): String = 156 var current_node: Option[Graph_Display.Node] = None 160 private val state = Synchronized[List[Graph_Display.Node]](Nil) 162 def get(): List[Graph_Display.Node] = state.value 163 def contains(node: Graph_Display.Node): Boolean = get().contains(node) 165 def add(node: Graph_Display.Node): Unit = state.change(node :: _) 171 def node_color(node: Graph_Display.Node): Node_Color =
|
H A D | layout.scala | 30 case (Node(a), Node(b)) => Graph_Display.Node.Ordering.compare(a, b) 32 Graph_Display.Node.Ordering.compare(a1, b1) match { 34 Graph_Display.Node.Ordering.compare(a2, b2) match { 40 case (Node(a), Dummy(b, _, _)) => 41 Graph_Display.Node.Ordering.compare(a, b) match { 45 case (Dummy(a, _, _), Node(b)) => 46 Graph_Display.Node.Ordering.compare(a, b) match { 55 case class Node(nod [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/ |
H A D | model.scala | 43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)), 53 def find_node(ident: String): Option[Graph_Display.Node] = 61 private var _colors = Map.empty[Graph_Display.Node, Color] 67 (Map.empty[Graph_Display.Node, Color] /: Colors()) {
|
H A D | graphview.scala | 40 def find_node(at: Point2D): Option[Graph_Display.Node] = 42 case (Layout.Node(node), (info, _)) if Shapes.shape(info).contains(at) => node 75 def node_text(node: Graph_Display.Node, content: XML.Body): String = 156 var current_node: Option[Graph_Display.Node] = None 160 private val state = Synchronized[List[Graph_Display.Node]](Nil) 162 def get(): List[Graph_Display.Node] = state.value 163 def contains(node: Graph_Display.Node): Boolean = get().contains(node) 165 def add(node: Graph_Display.Node): Unit = state.change(node :: _) 171 def node_color(node: Graph_Display.Node): Node_Color =
|
H A D | layout.scala | 30 case (Node(a), Node(b)) => Graph_Display.Node.Ordering.compare(a, b) 32 Graph_Display.Node.Ordering.compare(a1, b1) match { 34 Graph_Display.Node.Ordering.compare(a2, b2) match { 40 case (Node(a), Dummy(b, _, _)) => 41 Graph_Display.Node.Ordering.compare(a, b) match { 45 case (Dummy(a, _, _), Node(b)) => 46 Graph_Display.Node.Ordering.compare(a, b) match { 55 case class Node(nod [all...] |
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | dot_utils.py | 33 nodes[n] = pydot.Node(n_cap,color="blue") 35 nodes[n] = pydot.Node(n_cap) 57 nodes[n] = pydot.Node('addr_%s \n %s' % (hex(n), text)) 61 nodes['Ret'] = pydot.Node('Ret') 109 nodes[bb[0]] = pydot.Node(n_cap,Nodestyle="bold",color="hotpink") 111 nodes[bb[0]] = pydot.Node(n_cap,Nodestyle="bold",color="blue") 113 nodes[bb[0]] = pydot.Node(n_cap) 116 nodes['Ret'] = pydot.Node('Ret')
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
H A D | thy_syntax.scala | 19 node: Document.Node, 21 overlays: Document.Node.Overlays): (Command.Perspective, Command.Perspective) = 72 (List[Document.Node.Name], Document.Nodes, List[Document.Edit_Command]) = 74 val syntax_changed0 = new mutable.ListBuffer[Document.Node.Name] 79 case (name, Document.Node.Deps(header)) => 90 doc_edits += (name -> Document.Node.Deps(header)) 130 Document.Node.Commands.starts(commands.iterator).find { 169 get_blob: Document.Node.Name => Option[Document.Blob], 170 can_import: Document.Node.Name => Boolean, 171 node_name: Document.Node [all...] |
H A D | thy_resources.scala | 61 val nodes: List[(Document.Node.Name, Protocol.Node_Status)]) 63 def node_names: List[Document.Node.Name] = nodes.map(_._1) 66 def snapshot(node_name: Document.Node.Name): Document.Snapshot = 142 val theories_progress = Synchronized(Set.empty[Document.Node.Name]) 187 all: Boolean = false): (List[Document.Node.Name], List[Document.Node.Name]) = 196 required: Multi_Map[Document.Node.Name, UUID] = Multi_Map.empty, 197 theories: Map[Document.Node.Name, Theory] = Map.empty) 199 def is_required(name: Document.Node.Name): Boolean = required.isDefinedAt(name) 201 def insert_required(id: UUID, names: List[Document.Node [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
H A D | thy_syntax.scala | 19 node: Document.Node, 21 overlays: Document.Node.Overlays): (Command.Perspective, Command.Perspective) = 72 (List[Document.Node.Name], Document.Nodes, List[Document.Edit_Command]) = 74 val syntax_changed0 = new mutable.ListBuffer[Document.Node.Name] 79 case (name, Document.Node.Deps(header)) => 90 doc_edits += (name -> Document.Node.Deps(header)) 130 Document.Node.Commands.starts(commands.iterator).find { 169 get_blob: Document.Node.Name => Option[Document.Blob], 170 can_import: Document.Node.Name => Boolean, 171 node_name: Document.Node [all...] |
H A D | thy_resources.scala | 61 val nodes: List[(Document.Node.Name, Protocol.Node_Status)]) 63 def node_names: List[Document.Node.Name] = nodes.map(_._1) 66 def snapshot(node_name: Document.Node.Name): Document.Snapshot = 142 val theories_progress = Synchronized(Set.empty[Document.Node.Name]) 187 all: Boolean = false): (List[Document.Node.Name], List[Document.Node.Name]) = 196 required: Multi_Map[Document.Node.Name, UUID] = Multi_Map.empty, 197 theories: Map[Document.Node.Name, Theory] = Map.empty) 199 def is_required(name: Document.Node.Name): Boolean = required.isDefinedAt(name) 201 def insert_required(id: UUID, names: List[Document.Node [all...] |
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_resources.scala | 39 def known_file(path: String): Option[Document.Node.Name] = 42 def node_name(path: String): Document.Node.Name = 47 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory) 50 Document.Node.Name(node, master_dir, theory) 54 def node_name(buffer: Buffer): Document.Node.Name = 57 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] = 81 def read_file_content(node_name: Document.Node.Name): Option[String] = 95 def get_file_content(node_name: Document.Node.Name): Option[String] = 102 override def with_thy_reader[A](name: Document.Node.Name, f: Reader[Char] => A): A =
|
H A D | document_model.scala | 29 models: Map[Document.Node.Name, Document_Model] = Map.empty, 33 def file_models_iterator: Iterator[(Document.Node.Name, File_Model)] = 46 def open_buffer(session: Session, node_name: Document.Node.Name, buffer: Buffer) 72 def provide_file(session: Session, node_name: Document.Node.Name, text: String): State = 83 def get_models(): Map[Document.Node.Name, Document_Model] = state.value.models 84 def get(name: Document.Node.Name): Option[Document_Model] = get_models.get(name) 102 def node_overlays(name: Document.Node.Name): Document.Node.Overlays = 137 def syntax_changed(names: List[Document.Node.Name]) 150 def init(session: Session, node_name: Document.Node [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_resources.scala | 39 def known_file(path: String): Option[Document.Node.Name] = 42 def node_name(path: String): Document.Node.Name = 47 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory) 50 Document.Node.Name(node, master_dir, theory) 54 def node_name(buffer: Buffer): Document.Node.Name = 57 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] = 81 def read_file_content(node_name: Document.Node.Name): Option[String] = 95 def get_file_content(node_name: Document.Node.Name): Option[String] = 102 override def with_thy_reader[A](name: Document.Node.Name, f: Reader[Char] => A): A =
|