#!/bin/csh -f
# 
# printparms - print the parameters by looking at one of the file names
#

set file=$1

set type=`echo $file:t | sed 's/\..*//'`
set dir=$file:h
set parms=("$dir" `echo $file:t | sed 's/\./ /g'`)

switch ($type)
	   case [yY]:
	   		 echo Prefetching file.
	   		 echo Directory $dir
	   		 echo RU-set size is $parms[11] 
	   		 echo Blocksize $parms[12] 
	   		 echo Number of disks is $parms[13] 
	   		 echo Number of processes is $parms[16] 
	   		 breaksw
	   case n:
	   		 echo Non-prefetching file.
	   		 echo Directory $dir
	   		 echo RU-set size is $parms[11] 
	   		 echo Blocksize $parms[12] 
	   		 echo Number of disks is $parms[13] 
	   		 echo Number of processes is $parms[14] 
	   		 breaksw
	   case w:
	   		 echo Writing file.
	   		 echo Directory $dir
	   		 echo FileIsNew: $parms[3]
	   		 echo Blocksize $parms[7] 
	   		 echo Number of disks is $parms[8] 
	   		 echo Number of processes is $parms[11] 
	   		 breaksw
	   case N:
	   		 echo Non-caching file.
	   		 echo Directory $dir
	   		 echo FileIsNew: $parms[3]
	   		 echo Blocksize $parms[4] 
	   		 echo Number of disks is $parms[5] 
	   		 echo Number of processes is $parms[8] 
	   		 breaksw
	   default:
	   		 echo Unknown file type for $1
	   		 breaksw
endsw

echo ""
