+ } finally {
+ if (verbose) {
+ long time = System.currentTimeMillis() - start;
+ System.err.println("\r parse time: " + time +"ms "+ ANSI.clreol());
+ debug(null, gss, input);
+ }
+ /*
+ PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream("out.plot")));
+ boolean[] use = new boolean[idmax];
+ for(int i=0; i<count.length; i++)
+ if (count[i]!=null)
+ for(int j=0; j<count[i].length; j++)
+ if (count[i][j]>20)
+ use[j] = true;
+ for(int i=0; i<count.length; i++)
+ if (count[i]!=null) {
+ int row = 0;
+ for(int j=0; j<use.length; j++)
+ if (use[j]) {
+ row++;
+ pw.println(i+", "+row+", "+(j>=count[i].length ? 0 : count[i][j]));
+ }
+ pw.println();
+ }
+ pw.close();
+ pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream("test.plot")));
+ pw.println("set terminal postscript enhanced color");
+ pw.println("set output \"out.ps\"");
+ pw.println("set pm3d map");
+ pw.println("set autoscale");
+ pw.println("set view 0,0");
+ pw.println("set ytics (\\");
+ int q = -1;
+ for(int j=0; j<use.length; j++)
+ if (use[j]) {
+ q++;
+ for(Pos p : ids.keySet())
+ if (ids.get(p) == j) {
+ String title = p.toString();
+ System.out.println(q + " " + title);
+ pw.println("\""+q+"\" "+(((double)q)+0.5)+",\\");
+ break;
+ }
+ }
+ pw.println("\".\" "+(q+1)+")");
+ pw.println("set size square");
+ pw.println("splot \"out.plot\"");
+ pw.close();
+ */
+ }