Searched refs:printable (Results 1 - 17 of 17) sorted by relevance
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Console.java | 25 public void PS(String fname, boolean printable) throws IOException { argument 27 g.PS(fname,printable);
|
H A D | GraphBrowserFrame.java | 71 public void PS(boolean printable,String label) { argument 91 gb.PS(fname,printable);
|
H A D | GraphBrowser.java | 119 public void PS(String fname,boolean printable) throws IOException { argument 120 gv.PS(fname,printable);
|
H A D | GraphView.java | 52 public void PS(String fname,boolean printable) throws IOException { argument 55 gra3.PS(fname,printable);
|
H A D | Graph.java | 995 public void PS(String fname,boolean printable) throws IOException { argument 999 if (printable) 1014 if (printable) { 1047 if (printable) p.println("showpage");
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Console.java | 25 public void PS(String fname, boolean printable) throws IOException { argument 27 g.PS(fname,printable);
|
H A D | GraphBrowserFrame.java | 71 public void PS(boolean printable,String label) { argument 91 gb.PS(fname,printable);
|
H A D | GraphBrowser.java | 119 public void PS(String fname,boolean printable) throws IOException { argument 120 gv.PS(fname,printable);
|
H A D | GraphView.java | 52 public void PS(String fname,boolean printable) throws IOException { argument 55 gra3.PS(fname,printable);
|
H A D | Graph.java | 995 public void PS(String fname,boolean printable) throws IOException { argument 999 if (printable) 1014 if (printable) { 1047 if (printable) p.println("showpage");
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Tag.sml | 41 Create a tag. A tag is a string with only printable characters (as
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | STRUCTVALSIG.sml | 238 {value: types, level: int, equality: bool, nonunifiable: bool, printable: bool } -> typeVarForm
|
H A D | TYPEIDCODE.sml | 736 equality=false, printable=false}) 885 equality=false, printable=false})
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | String.sml | 723 then NONE (* Non-printable character. *) 782 then NONE (* Non-printable character. *) 878 (* Convert to printable string. *) 899 else if isPrint ch (* Other printable characters *) 922 else if isPrint ch (* Other printable characters *)
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | OldPP.sml | 224 be printable? Because of what goes on in add_string. See there for details.
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | term_tokens.sml | 102 A symbol is any printable ASCII character EXCEPT
|
/seL4-l4v-master/HOL4/src/postkernel/ |
H A D | Theory.sml | 1199 ("Entity name >"^name^"< includes non-printable/bad character")
|
Completed in 140 milliseconds