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 x10;
    
    
    public class HeatTransferv1 {
        static final int n = 3;
        static final int epsilon = 1; //double epsilon = 1.0e-5;
    
        int BigD[][];// = new int[n+1][n+1];
        int D[][];// = new int[n][n];
        int LastRow[][];// = new int[1][n];
        double A[][];// = new double[n+1][n+1];
        double Temp[][];// = new double[n+1][n+1];
    
    
        public HeatTransferv1(int n) {
    	//for (int i=0; i<n; i++) {
    	//    LastRow[0][i] = i;
    	//}
    	//for (int j=0; j<n+1; j++) {
    	//    A[0][j] = 1.0;
    	//}
    	for (int i=1; i<n+1; i++) {
    	    for (int j=0; j<n+1; j++) {
    	//		A[i][j] = 0.0;
    	    }
    	}
        }
    
        public static double stencil1(HeatTransferv1 s, int x, int y) {
    	double aux = 0.0;
    	if (x>0) aux += s.A[x-1][y];
    	if (y>0) aux += s.A[x][y-1];
    	if (x<n) aux += s.A[x+1][y];
    	if (y<n) aux += s.A[x][y+1];
    	return aux/4;
        }
    
        public static void run(HeatTransferv1 s,int n) {
    	// I'm trying to have it working on int values , in order to
    	// be easier for COSTA to get a ranking function
    	for(int delta=100000; delta>0; delta--) {
    
    	    //do {
    	    Conc.finish_begin();
    	    run1(s,n);
    	    Conc.finish_end();
    
    	    double aux[] = new double[1];
    	    aux[0] = 0.0;
    	    double B[][] = new double[n][n];
    	    for (int i=0; i<n; i++) {
    		Conc.async_begin();
    		run2(s,n);
    		Conc.async_end();
    		run3(s,n,i,aux,B);
    	    }
    	    //delta = (int) (aux*100000); // this ensures termination,
    	    // but clearly alters the total task-level
    	    
    	    Conc.finish_begin();
    	    run2(s,n);
    	    Conc.finish_end();
    	    //} while (delta > epsilon);
    	}
        }
     
        public static void run1(HeatTransferv1 s, int n) {
    	for (int i=0; i<n; i++) {
    	    for (int j=0; j<n; j++) {
    		Conc.async_begin();
    		run11(s,n,i,j);
    		Conc.async_end();
    	    }
    	}
        }
    
        public static void run11(HeatTransferv1 s, int n, int i, int j) {
    	s.Temp[i][j] = stencil1(s,i,j);
        }
    
        public static void run2(HeatTransferv1 s, int n) {
    	for (int i=0; i<n; i++) {
    	    for (int j=0; j<n; j++) {
    		Conc.async_begin();
    		run21(s,n,i,j);
    		Conc.async_end();
    	    }
    	}
        }
    
        public static void run21(HeatTransferv1 s, int n, int i, int j) {
    	s.A[i][j] = s.Temp[i][j];
        }
    
        public static void run3(HeatTransferv1 s, int n, int i, double aux[], double B[][]) {
    	for (int j=0; j<n; j++) {
    	    //    //    B[i][j] = ( s.A[i][j]>s.Temp[i][j] ? (s.A[i][j]-s.Temp[i][j]) : (s.Temp[i][j]-s.A[i][j]) );
    	    Conc.async_begin();
    	    mymax(aux,B[i][0]);
    	    Conc.async_end();
    	}
        }
    
        public static void mymax(double a[],double b) {
    	if (a[0]<b) a[0] = b;
        }
    
        //public static void prettyPrintResult(HeatTransferv1 s) {
        //for ((i) in A.region.projection(0)) {
        //    for ((j) in A.region.projection(1)) {
        //	val pt = Point.make(i,j);
        //	at (BigD(pt)) {
        //	    val tmp = A(pt);
        //            at (Place.FIRST_PLACE) Console.OUT.printf("%1.4f ",tmp);
        //        }
        //    }
        //    Console.OUT.println();
        //}
        //}
    
        public static void main(String args[]) {
    	int n = args.length;
            HeatTransferv1 s = new HeatTransferv1(n);
            run(s,n);
    	//prettyPrintResult(s);
        }
    }