* @return whether the file was read! True means yes.
*/
protected boolean readCoverageFile(String urlCov, String coverage) {
URL url = null;
BufferedInputStream bin = null;
BinaryBufferedFile binFile = null;
level0Frames = null;
level1Frames = null;
level2Frames = null;
if (urlCov != null) {
Debug.message("dtedcov",
"DTEDCoverageManager: Reading coverage file from URL - "
+ urlCov);
try {
url = new URL(urlCov);
bin = new BufferedInputStream(url.openStream());
} catch (MalformedURLException mue) {
System.err.println("DTEDCoverageManager: Weird URL given : \""
+ urlCov + "\"");
bin = null;
} catch (java.io.IOException e) {
System.err.println("DTEDCoverageManager: Unable to read coverage file at \""
+ urlCov + "\"");
bin = null;
}
}
if (bin == null && coverage != null) {
try {
Debug.message("dtedcov",
"DTEDCoverageManager: Reading coverage file - "
+ coverage);
binFile = new BinaryBufferedFile(coverage);
} catch (java.io.IOException e) {
System.err.println("DTEDCoverageManager: Unable to read coverage file at \""
+ coverage + "\"");
}
}
if (bin != null || binFile != null) {
try {
level0Frames = new boolean[180][];
level1Frames = new boolean[180][];
level2Frames = new boolean[180][];
byte[] row = new byte[360];
for (int level = 0; level < 3; level++) {
for (int lat = 0; lat < 180; lat++) {
if (bin != null) {
for (int k = 0; k < row.length; k++) {
row[k] = (byte) bin.read();
}
} else
binFile.read(row);
if (level == 0)
level0Frames[lat] = convertBytesToBooleans(row);
else if (level == 1)
level1Frames[lat] = convertBytesToBooleans(row);