Searched refs:get_model (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Dpreview_panel.scala29 resources.get_model(file) match {
H A Dvscode_resources.scala119 def get_model(file: JFile): Option[Document_Model] = get_models.get(file)
120 def get_model(name: Document.Node.Name): Option[Document_Model] = get_model(node_file(name))
134 get_model(name) match {
142 get_model(file) match {
153 get_model(name) match {
H A Dserver.scala120 model <- resources.get_model(new JFile(node_pos.name))
519 resources.get_model(name) match {
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dpreview_panel.scala29 resources.get_model(file) match {
H A Dvscode_resources.scala119 def get_model(file: JFile): Option[Document_Model] = get_models.get(file)
120 def get_model(name: Document.Node.Name): Option[Document_Model] = get_model(node_file(name))
134 get_model(name) match {
142 get_model(file) match {
153 get_model(name) match {
H A Dserver.scala120 model <- resources.get_model(new JFile(node_pos.name))
519 resources.get_model(name) match {
/seL4-l4v-master/graph-refine/
H A Dsearch.py893 def get_model (n, offs): function in function:get_matching_linear_seqs
909 for m in [get_model (n, offs)]

Completed in 49 milliseconds