Searched refs:getNode (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java16 public TreeNode getNode() { return node; } method in class:Directory
H A DGraphView.java127 tb.selectNode(d.getNode());
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java16 public TreeNode getNode() { return node; } method in class:Directory
H A DGraphView.java127 tb.selectNode(d.getNode());

Completed in 35 milliseconds