Quellcode-Bibliothek jedit

java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
#     A          option"
#:Makariusecho    D =set  property
java.lang.NullPointerException
#:Isabelle interface

##

=$ "0)

functionecho"    -RNAMEbuild:::nopsu java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
{
        ;
": isabelle $PRG [OPTIONS] [FILES ...]"
  echo
   "- DIR  directory
echo[${JAVA_ARGS}""$"
  ;;
echo)
  echo "                 (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"
  echo"- NAMEbuildimage with  from  sessionsjava.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  echo"-           build only"
  echo "    -d DIR       include session directory"
  echo    -           fresh"
   "   i          OPTION ( 
  "-     addjEdit  option"      )
   "-             mode   session imagesystem_heaps=)"
  echo
 "-       add printmode  
  echo-            build  imagestartup
  echo;   default"/.\"or: for).
echo- CMDecho
  echo               systemforsession(system_heaps=
  echo
  
          if-  "" ]then
  echo  default\$USER_HOMEScratch          ="OPTARG"
  echo
  exit1
f failed)

          ="JEDIT_INCLUDE_SESSIONS"
#  line
  echo"$">2
  java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 0
}

function
{=
Failed
}


# processcommandjava.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23

 java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9

BUILD_ONLY
="java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
PROCESS_POLICY;
JEDIT_LOGIC_ANCESTORjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

JEDIT_INCLUDE_SESSIONS"JEDIT_ISABELLE_OPTIONS""
JEDIT_SESSION_DIRS="JEDIT_ISABELLE_OPTIONS$\x0b"OPTARG
JEDIT_LOGIC"java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
JEDIT_PRINT_MODEjava.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
JEDIT_NO_BUILD     $" java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
JEDIT_LOGIC_ANCES"PTARG
JEDIT_BUILD_MODEusage;;

functionjava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
{
OPTIND=1
  whilejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  do
    case"PT [@]"
      A)
        ;
        ;
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
        JAVA_ARGS"{[@""-""
ARGS$[]]=platform_path$)
      J)
        JAVA_ARGS["${        ;
        
      #main
        java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
        JEDIT_LOGIC_REQUIREMENTS="true
        ;
      b)
        =java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
        java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10

        ="JEDIT_SESSION_DIRSPTARG
        ;;
      i)
           JEDIT_PROCESS_POLICY        ;
          =$"
        elseJEDIT_LOGIC=    {@}"isabellejeditJEdit_Main$[]"
          =$JEDIT_INCLUDE_SESSIONS"
        if[ -"JEDIT_PRINT_MODE"] then
        ;
      
        JEDIT_PRINT_MODE"JEDIT_PRINT_MODE,OPTARG
        ;        ="rue"
      j)
        ARGS="$"
        ;;
      JEDIT_ISABELLE_OPTIONS="$"'\'$OPTARG
        JEDIT_LOGIC"OPTARG"
        JEDIT_LOGIC_REQUIREMENTSP=$
        ;;
      ;java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        if [;;
        java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
   else
          ="$,OPTARGjava.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
        fi
        ;;
      n)
        JEDIT_NO_BUILD="true"
        ;
      
        if -"$" ] then
          JEDIT_ISABELLE_OPTIONS $(OPTIND1)
        java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
          JEDIT_ISABELLE_OPTIONS="$JEDIT_ISABELLE_OPTIONS  ["$#[]"=$platform_path"1")
        fi
        ;;
      p)
if [ $BUILD_ONLY =false 
        ;;
      s)
        JEDIT_BUILD_MODE"system"
        ;;
      u)
        JEDIT_BUILD_MODE="user"
        ;;
      \?)
        usage
        ;;
    esac
  done
}

eval "declare -a JAVA_ARGS=($JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS    JEDIT_INCLUDE_SESSIONS JEDIT_PRINT_MODEJEDIT_NO_BUILD JEDIT_ISABELLE_OPTIONS JEDIT_BUILD_MODE

declarea =)

declare -a OPTIONSfi
getoptions "${OPTIONS[@]}"

getoptions "$@"
shift $(($OPTIND - 1))


# args

while [ "$#" -gt 0 ]; do
  ARGS["${#ARGS[@]}"]="$(platform_path "$1")"
  shift
done


## main

isabelle scala_build $BUILD_OPTIONS || exit $?

if [ "$BUILD_ONLY" = false ]
then
  eval $(isabelle java isabelle.setup.Setup gui_setup)

  export JEDIT_SESSION_DIRS JEDIT_LOGIC JEDIT_LOGIC_ANCESTOR JEDIT_LOGIC_REQUIREMENTS \
    JEDIT_INCLUDE_SESSIONS JEDIT_PRINT_MODE JEDIT_NO_BUILD JEDIT_ISABELLE_OPTIONS JEDIT_BUILD_MODE
  export JEDIT_PROCESS_POLICY="$PROCESS_POLICY"
  exec isabelle java -splash:"$(platform_path "$ISABELLE_HOME/lib/logo/isabelle.gif")" \
    "${JAVA_ARGS[@]}" isabelle.jedit.JEdit_Main "${ARGS[@]}"
fi