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

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowserFrame.java18 GraphBrowser gb; field in class:GraphBrowserFrame
23 if (gb.isEmpty()) {
63 remove(gb);
65 gb = gb2;
91 gb.PS(fname,printable);
104 gb = br;
H A DGraphBrowser.java188 GraphBrowser gb=new GraphBrowser(args.length > 0 ? args[0] : "");
191 gb.initBrowser(is, args.length > 1);
197 gb.gv.PS(args[1], true);
199 gb.gv.PS(args[1], false);
206 f=new GraphBrowserFrame(gb);
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowserFrame.java18 GraphBrowser gb; field in class:GraphBrowserFrame
23 if (gb.isEmpty()) {
63 remove(gb);
65 gb = gb2;
91 gb.PS(fname,printable);
104 gb = br;
H A DGraphBrowser.java188 GraphBrowser gb=new GraphBrowser(args.length > 0 ? args[0] : "");
191 gb.initBrowser(is, args.length > 1);
197 gb.gv.PS(args[1], true);
199 gb.gv.PS(args[1], false);
206 f=new GraphBrowserFrame(gb);

Completed in 97 milliseconds