Updated file for Leon

printoutput.java

import java.io.*;


public void updateStats(double dt, String output_file_name)
{
    if(TNOW>endTime*warmUp)
        {
            double totalinsystemdt = serversLevels[1].size()+2*serversLevels[2].size()+3*serversLevels[3].size()+4*serversLevels[4].size()+queueVector.size();
           
	    if(TNOW>9950){

		try {
		    FileWriter outFile = new FileWriter(output_file_name);
		    PrintWriter out = new PrintWriter(outFile);
     
		    // Also could be written as follows on one line
		    // Printwriter out = new PrintWriter(new FileWriter(output_file_name));

		    out.println("-----------------------");
		    out.println("Time elapsed: " +dt);
		    out.println("Z1: "+serversLevels[1].size()+" Z2: "+serversLevels[2].size()+" Z3: "+serversLevels[3].size()+" Z4: "+serversLevels[4].size()+" Q: "+queueVector.size()+ " Total: "+totalinsystemdt); 
		    out.close();

		} catch (IOException e){
		    e.printStackTrace();
		}


	    }
            queueTotal+=(double)queueVector.size()*dt;
            for(int i=0;i<serversLevels.length;i++)
                noBusyServers[i]+=(double)serversLevels[i].size()*dt;
            double tn=TNOW-endTime*warmUp;
            tn=tn/ti;
            tn=tn*5;
            int a=(int) tn;
            //System.out.println("TNOW="+ TNOW+"a="+a);
            for(int i=0;i<serversLevels.length;i++)
                batchStatsNoBusyServers[a][i]+=(double)serversLevels[i].size()*dt;
            //totalInSystemSquared+=Math.pow(((double)queueVector.size()+(double)serversLevels[1].size()+(double)serversLevels[2].size()*2+(double)serversLevels[3].size()*3+(double)serversLevels[4].size()*4),2)*dt;
            totalInSystemSquared+=Math.pow(((double)serversLevels[1].size()+(double)serversLevels[2].size()*2+(double)serversLevels[3].size()*3+(double)serversLevels[4].size()*4),2)*dt;
        
        }
        
        
}