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

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java25 String gfname; field in class:GraphBrowser
31 gfname=name;
57 String path = gfname.substring(0, gfname.lastIndexOf('/') + 1);
173 gfname=getParameter("graphfile");
175 InputStream is=(new URL(getDocumentBase(), gfname)).openConnection().getInputStream();
179 System.err.println("Invalid URL: "+gfname);
181 System.err.println("I/O error while reading "+gfname+".");
H A DConsole.java19 String gfname; field in class:Console
22 gfname = name;
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java25 String gfname; field in class:GraphBrowser
31 gfname=name;
57 String path = gfname.substring(0, gfname.lastIndexOf('/') + 1);
173 gfname=getParameter("graphfile");
175 InputStream is=(new URL(getDocumentBase(), gfname)).openConnection().getInputStream();
179 System.err.println("Invalid URL: "+gfname);
181 System.err.println("I/O error while reading "+gfname+".");
H A DConsole.java19 String gfname; field in class:Console
22 gfname = name;

Completed in 44 milliseconds