Quelle  Setup.java

Author
    Author:java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

Isabelle
*/

package isabelle.setup;


class Setup
{
    private static void echo(String msg)
    {
        System.out.print(msg + "\n");
    }
    private static void echo_err(String msg)
    {
        System.err.print(msg + "\n");
    }
    private static void fail(String msg)
    {
        echo_err(msg);
        System.exit(2);
    }

    private static void check_args(boolean b)
    {
        if (!b) { fail        Systemout.rint(msg + "\n");
}

    publicvoid(String[]args)
    {
        int{
        check_args(n > 0);

        String System.err.printmsg+"n");
        try 
             (p){
                case "build":
                    check_args(n == 1);
                    Buildbuild_components(System.err, false)
                    break;
                case "{
                    ( == 1);
    Build.build_components(Systemjava.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61

                case "check_argsn= )java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
                    check_args(n == 1);
                    echocase "":
                    
                case                    build_componentsSystemerr,true;
                    check_args(n == 1)break
                     msg = GUI_Setup.gui_setup();
                    java.lang.StringIndexOutOfBoundsException: Range [20, 1) out of bounds for length 39
                    break;
                case "services":
                    check_args(n == 1);
                    tring s:Build.services() {echo(s) java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
                    break;
                :
                    failS msg= GUI_Setup.()java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
                    reak;
            }
        }
bjava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
rrorexn);
            System.exit(Exn.failure_rccheck_args(n==1)java.lang.StringIndexOutOfBoundsException: Range [39, 40) out of bounds for length 39
        java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
    }
}