Method javaLoader

src/chap14/ToJava.java:52–52

()

    @Reviser public static interface EnvEx3 extends EnvOptimizer.EnvEx2 {
        JavaLoader javaLoader();
    }
    @Reviser public static class ArrayEnvEx extends ArrayEnv {
        public ArrayEnvEx(int size, Environment out) { super(size, out); }