WARNING: Compilation error, verify your source file

"; die("Please click 'back' on your browser."); } } function show_methods($list,$context,$file_name) { $acm=substr_count($list,'main([Ljava/lang/String;)V'); $acm_cmd=substr_count($list,'commandAction(Ljavax/microedition/lcdui/Command;Ljavax/microedition/lcdui/Displayable;)V'); if(substr_count($list,',')>0) { $method_signature=explode(',',$list); }else { $method_signature=explode(" ",$list); } $limit=count($method_signature); if ($limit>1) { $limit=$limit-1; } if ($acm == 1 || $acm_cmd == 1) { // there is a main or cmdAction for($i=0; $i < $limit; $i ++) { // bubble if(substr_count($method_signature[$i],'main([Ljava/lang/String;)V')==1 || substr_count($method_signature[$i],'commandAction(Ljavax/microedition/lcdui/Command;Ljavax/microedition/lcdui/Displayable;)V')==1) { $aux=$method_signature[0]; $method_signature[0]=$method_signature[$i]; $method_signature[$i]=$aux; } } if (substr_count($file_name,'x10') != 1){ ?> or Select All "; } echo "
"; for($i=0; $i < $limit; $i ++) { $method_sign=htmlentities($method_signature[$i]); if($i==0) { //if(substr_count($method_sign,'main([Ljava/lang/String;)V')==1 || substr_count($method_sign,'commandAction(Ljavax/microedition/lcdui/Command;Ljavax/microedition/lcdui/Displayable;)V')==1){ //echo " $method_signature[$i]"."
"; echo " $method_signature[$i]"."
"; } else { echo " $method_signature[$i] "."
"; } } if($context!="") { $size=strlen($context); echo "
Context Info (Classes)
"; } // else { // echo "
Context Info (Classes)
"; // } }else { // not main if (substr_count($file_name,'x10') != 1){ ?> or Select All "; } echo "
"; for($i=0; $i < $limit; $i ++) { $method_sign=htmlentities($method_signature[$i]); if($i==0) { // echo " $method_signature[$i] "."
"; echo " $method_signature[$i] "."
"; }else { // echo " $method_signature[$i] "."
"; echo " $method_signature[$i]"."
"; } } if($context!="") { $size=strlen($context); echo "
Context Info (Classes)
"; } // else { // echo "
Context Info (Classes)
"; // } } } //function parse_dot_seetings($examples,$filename){ function parse_dot_seetings($path,$filename) { $define_settings=array('-m','-c','cost_model','-u','compute_asymptotic_ub','gc_model','-p'); $flags=array(); $values_settings=array(); //$path_to_settings_file=$examples."/".$filename.".settings"; $path_to_settings_file=$path."/".$filename.".settings"; if (file_exists($path_to_settings_file)) { $values=file_get_contents($path_to_settings_file); $settings=explode(PHP_EOL,chop($values)); for($i=0;$i',$file_contents);// for($j=0; $j until //for ($i=0; $i=1){ /// looking if the flag exsits in option
  • if(substr_count($each_option_web[$j],$flags[$i])>=1) { /// looking if the flag exsits in option
  • $eachline_opt=explode(' $restline[0]=array_pop($new_value); ///
    } $tmp[0]= implode(" ",$new_value); array_splice($eachline_opt, 1,1, $tmp); $tmp[1]=implode(" ",$old_default); array_splice($eachline_opt, $pos,1, $tmp); array_splice($eachline_opt, $pos,1); } //if($i<=count($values_flags)){$each_option_web[$j]=implode('", $each_option_web); $remove1=str_replace('
  • ', '', $implode); $remove2=str_replace('', '', $remove2); $remove4=str_replace('
  • ', '', $remove3); $remove5=str_replace('', '', $remove4); $remove6=str_replace(' > ',' > ',$remove5); echo $remove6; echo ""; } ?> COSt Termination Analyzer for Java Bytecode
    COSTA: COSt and Termination Analyzer for Java Bytecode
        
        package net.datastructures;
    /** Realization of a vector by means of an array.  The array has
      * initial length 16 and is doubled when the size of the vector
      * exceeds the capacity of the array.  No shrinking of the array is
      * performed.
      *
      * @author Roberto Tamassia
      */
    public class ArrayVector implements Vector {
      private Object[] A;		// array storing the elements of the vector
      private int capacity = 16;	// initial length of array A
      private int size = 0;		// number of elements stored in the vector
      /** Creates the vector with initial capacity 16. */
      public ArrayVector() { 
        A = new Object[capacity];
      }
      /** Returns the number of elements in the vector. */
      public int size() {
        return size;
      }
      /** Returns whether the vector is empty. */
      public boolean isEmpty() {
        return size() == 0; 
      }
      /** Returns the element stored at the given rank. */
      public Object elemAtRank(int r) 
        throws BoundaryViolationException {
        checkRank(r, size());
        return A[r]; 
      }
      /** Replaces the element stored at the given rank. */
      public Object replaceAtRank(int r, Object e) 
        throws BoundaryViolationException {
        checkRank(r, size());
        Object temp = A[r];
        A[r] = e;
        return temp;
      }
      /** Inserts an element at the given rank. */
      public void insertAtRank(int r, Object e) 
        throws BoundaryViolationException {
        checkRank(r, size() + 1);
        if (size == capacity) {		// an overflow
          capacity *= 2;
          Object[] B = new Object[capacity];
          for (int i=0; i<size; i++) 
    	B[i] = A[i];
          A = B;
        }
        for (int i=size-1; i>=r; i--)	// shift elements up
          A[i+1] = A[i];
        A[r] = e;
        size++;
      }
      /** Removes the element stored at the given rank. */
      public Object removeAtRank(int r) 
        throws BoundaryViolationException {
        checkRank(r, size());
        Object temp = A[r];
        for (int i=r; i<size-1; i++)	// shift elements down
          A[i] = A[i+1];
        size--;
        return temp;
      }
      /** Checks whether the given rank is in the range [0, n - 1] */
      protected void checkRank(int r, int n) 
        throws BoundaryViolationException {
        if (r < 0 || r >= n)
          throw new BoundaryViolationException("Illegal vector index: " + r);
      }
    }