Searched refs:gl11ExtStream (Results 1 – 1 of 1) sorted by relevance
125 PrintStream gl11ExtStream = in main() local140 gl11Stream, gl11ExtStream, gl11ExtPackStream, in main()147 gl11ExtStream.println("/* //device/java/android/" + gl11ExtFilename); in main()156 copy("stubs/jsr239/GL11ExtHeader.java-if", gl11ExtStream); in main()168 emitter, spec11ExtReader, gl11ExtStream, glImplStream, cStream); in main()178 gl11ExtStream.println("}"); in main()