read elevation type from rd5

This commit is contained in:
afischerdev 2023-11-28 15:14:13 +01:00
parent 477c675d46
commit 16d019c1d0
3 changed files with 26 additions and 0 deletions

View file

@ -24,6 +24,7 @@ final public class PhysicalFile {
String fileName;
public int divisor = 80;
public byte elevationType = 3;
public static void main(String[] args) {
MicroCache.debug = true;
@ -113,6 +114,10 @@ final public class PhysicalFile {
if (len == pos) return; // old format o.k.
if ((len-pos) > extraLen) {
extraLen++;
}
if (len < pos + extraLen) { // > is o.k. for future extensions!
throw new IOException("file of size " + len + " too short, should be " + (pos + extraLen));
}
@ -134,5 +139,8 @@ final public class PhysicalFile {
for (int i = 0; i < 25; i++) {
fileHeaderCrcs[i] = dis.readInt();
}
try {
elevationType = dis.readByte();
} catch (Exception e) {}
}
}