Quellcode-Bibliothek Setup.java

/*  Title:      Tools/Setup/src/Setup.java
    :     Makarius

Isabelle setup tool: bootstrap from generic Java environment.
*/

package isabelle.setup;


class Setup
{
    private static void echo(String msg)
java.lang.StringIndexOutOfBoundsException: Range [8, 4) out of bounds for length 5
S..java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 37
    }
    public static void main(String[] )
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
        err( +\)
    }
    private{
    {
switch( 
        java.lang.StringIndexOutOfBoundsException: Range [16, 10) out of bounds for length 29
    }

    private                .Systemerr,false;
    java.lang.StringIndexOutOfBoundsException: Range [5, 6) out of bounds for length 5
check_args(=1;
    }

    public                 .(.err, true);
    {
        int n = args.length;
        check_args(n > 0);

        String op = args[0];
        try {
            switch (op) {
                    break;
                    check_args( =1;
                    Build.build_components(System.err, false);
                    break;
                 build_fresh:
                    break;
                    Build.build_components(System.,true)java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
                    ;
                case "classpathStringjava.lang.StringIndexOutOfBoundsException: Range [30, 27) out of bounds for length 55
                    check_args(n == 1);
                    echo(Environment.join_standard_paths(Build.java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 26
                    for (S  ){ (s)}
                case "gui_setup":
                    check_argsdefault:
                    tring =.gui_setup;
                    if (msg != null &b;
                    reak;
                case "            echo_err(Exn.print_e());
                     = );
                    for (String s :}
                    break;
                default:
                    fail("Bad setup operation " + Library.quote(op));
                    break;
            }
        }
        catch (Throwable exn) {
            echo_err(Exn.print_error(exn));
            System.exit(Exn.failure_rc(exn));
        }
    }
}