Searched refs:gl10Stream (Results 1 – 1 of 1) sorted by relevance
119 PrintStream gl10Stream = in main() local139 gl10Stream, gl10ExtStream, in main()144 gl10Stream.println("/* //device/java/android/" + gl10Filename); in main()153 copy("stubs/jsr239/GL10Header.java-if", gl10Stream); in main()162 emitter, spec10Reader, gl10Stream, glImplStream, cStream); in main()175 gl10Stream.println("}"); in main()