Searched refs:getCollapsed (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java20 public Vector getCollapsed() { return collapsed; } method in class:Directory
H A DConsole.java37 Vector v=gra.decode(d.getCollapsed());
39 gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());
H A DGraphView.java197 Vector v=gra.decode(d.getCollapsed());
199 gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java20 public Vector getCollapsed() { return collapsed; } method in class:Directory
H A DConsole.java37 Vector v=gra.decode(d.getCollapsed());
39 gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());
H A DGraphView.java197 Vector v=gra.decode(d.getCollapsed());
199 gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());

Completed in 35 milliseconds