Searched refs:printable (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DConsole.java25 public void PS(String fname, boolean printable) throws IOException { argument
27 g.PS(fname,printable);
H A DGraphBrowserFrame.java71 public void PS(boolean printable,String label) { argument
91 gb.PS(fname,printable);
H A DGraphBrowser.java119 public void PS(String fname,boolean printable) throws IOException { argument
120 gv.PS(fname,printable);
H A DGraphView.java52 public void PS(String fname,boolean printable) throws IOException { argument
55 gra3.PS(fname,printable);
H A DGraph.java995 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 DConsole.java25 public void PS(String fname, boolean printable) throws IOException { argument
27 g.PS(fname,printable);
H A DGraphBrowserFrame.java71 public void PS(boolean printable,String label) { argument
91 gb.PS(fname,printable);
H A DGraphBrowser.java119 public void PS(String fname,boolean printable) throws IOException { argument
120 gv.PS(fname,printable);
H A DGraphView.java52 public void PS(String fname,boolean printable) throws IOException { argument
55 gra3.PS(fname,printable);
H A DGraph.java995 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 DTag.sml41 Create a tag. A tag is a string with only printable characters (as
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DSTRUCTVALSIG.sml238 {value: types, level: int, equality: bool, nonunifiable: bool, printable: bool } -> typeVarForm
H A DTYPEIDCODE.sml736 equality=false, printable=false})
885 equality=false, printable=false})
/seL4-l4v-master/HOL4/polyml/basis/
H A DString.sml723 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 DOldPP.sml224 be printable? Because of what goes on in add_string. See there for details.
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_tokens.sml102 A symbol is any printable ASCII character EXCEPT
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheory.sml1199 ("Entity name >"^name^"< includes non-printable/bad character")

Completed in 140 milliseconds