Searched refs:gl10ExtStream (Results 1 – 1 of 1) sorted by relevance
121 PrintStream gl10ExtStream = in main() local139 gl10Stream, gl10ExtStream, in main()145 gl10ExtStream.println("/* //device/java/android/" + gl10ExtFilename); in main()154 copy("stubs/jsr239/GL10ExtHeader.java-if", gl10ExtStream); in main()164 emitter, spec10ExtReader, gl10ExtStream, glImplStream, cStream); in main()176 gl10ExtStream.println("}"); in main()