Lines Matching refs:PrintStream
22 import java.io.PrintStream;
26 static void copy(String filename, PrintStream out) throws IOException {
37 PrintStream glStream,
38 PrintStream glImplStream,
39 PrintStream cStream) throws Exception {
119 PrintStream gl10Stream =
120 new PrintStream(new FileOutputStream("out/" + gl10Filename));
121 PrintStream gl10ExtStream =
122 new PrintStream(new FileOutputStream("out/" + gl10ExtFilename));
123 PrintStream gl11Stream =
124 new PrintStream(new FileOutputStream("out/" + gl11Filename));
125 PrintStream gl11ExtStream =
126 new PrintStream(new FileOutputStream("out/" + gl11ExtFilename));
127 PrintStream gl11ExtPackStream =
128 new PrintStream(new FileOutputStream("out/" + gl11ExtPackFilename));
129 PrintStream glImplStream =
130 new PrintStream(new FileOutputStream("out/" + glImplFilename));
131 PrintStream cStream =
132 new PrintStream(new FileOutputStream("out/" + cFilename));