private int fill_text_buffer(String infile) {
int act = 0;
int num_bytes = 0;
System.out.println("DEBUG:" + infile);
try {
spec.io.FileInputStream sif = new spec.io.FileInputStream(infile);
num_bytes = (int) sif.getContentLength();
// Only allocate size of input file rather than MAX - kmd
// If compressed file is larger than input file this allocation
// will fail and out of bound exception will occur
// In real lie, compress will no do any compression as no
// space is saved.-- kaivalya
orig_text_buffer = new byte[num_bytes];
comp_text_buffer = new byte[num_bytes];
int bytes_read;
while ((bytes_read = sif.read(orig_text_buffer, act, (num_bytes - act))) > 0) {
act = act + bytes_read;
}
sif.close(); // release resources
if (act != num_bytes) {
spec.harness.Context.out.println("ERROR reading test input file");
}
} catch (IOException e) {
spec.harness.Context.out.println("ERROR opening/accessing input file: " + infile);
}
;
return act;
}
/**
* Loads the propertis from the file given the URL
*
* @param urlString URL of the file to be used for loading he properties
* @param p Properties
*/
private static void loadPropertyFile(Properties p, String urlString) {
if (urlString == null) {
spec.harness.Context.out.println("Null urlString");
return;
}
try {
URL url = new URL(urlString);
boolean ok = true;
int ind = urlString.indexOf("http:", 0);
// spec.harness.Context.out.println( urlString + "=" + ind);
if (ind == 0) {
ok = spec.io.FileInputStream.IsURLOk(url);
}
if (ok) {
InputStream str = url.openStream();
if (str == null) {
spec.harness.Context.out.println("InputStream in loadPropertyFile is null");
} else {
p.load(new BufferedInputStream(str));
}
} else {
spec.harness.Context.out.println("Could not open URL " + urlString);
}
} catch (Exception e) {
spec.harness.Context.out.println("Error loading property file " + urlString + " : " + e);
// e.printStackTrace( spec.harness.Context.out );
}
}
