786787788789790791792793794795796
} }; f.setName("lower"); f.setParameters(Arrays.asList(left)); f.accept(this, Arrays.asList(leftContext)); out.write(" " + type + " "); f.setParameters(Arrays.asList(right)); f.accept(this, Arrays.asList(rightContext));
791792793794795796797798799800801
f.accept(this, Arrays.asList(leftContext)); out.write(" " + type + " "); f.setParameters(Arrays.asList(right)); f.accept(this, Arrays.asList(rightContext)); } } catch (java.io.IOException ioe) { throw new RuntimeException(IO_ERROR, ioe); }