protected void read(DataInputStream in) { if (in == null) { err("NO input stream!"); } try { signature = FileUtils.getUInt32(in); if (getSignature() != DAT_HEADER_SIGNATURE) { err( "Signature must be " + Long.toHexString(DAT_HEADER_SIGNATURE) + ", but was " + Long.toHexString(getSignature())); } setVersion(FileUtils.getUInt32(in)); headerSize = FileUtils.getUInt32(in); dataSize = FileUtils.getUInt32(in); if (getVersion() == 4) { header = new PGMAcquisitionRegionHeader(); } else if (getVersion() == 3) { header = new PGMAcquisitionHeader(); } else { err("Unknown header version: " + getVersion()); } header.read(in); // p("read header: "+toString()); } catch (IOException ex) { err("Could not read header info of acquisition", ex); } }
@Override public String toString() { return "GlobalHeader: headerSize=" + getHeaderSize() + ", version=" + getVersion() + " , dataSize=" + getDataSize() + "\n" + header.toString(); }
public int getInterlacetype() { return header.getInterlacetype(); }
public int getNrRows() { return header.getNrRows(); }
public int getNrCols() { return header.getNrCols(); }
public int getNrFrames() { return header.getNrFrames(); }