Lines Matching refs:header
55 private XrefHeader header;
61 * Create a new InputStream from the given crossfile. The header gets read
75 header = new XrefHeader(fis);
76 this.uncompress = uncompress && header.isCompressed();
79 : new BufferedInputStream(fis, header.isCompressed() ? 4096 : 16384);
92 * Get the header of the crossfile beeing read.
93 * @return the crossfile header
96 return header;
107 return header.isCompressed();
117 return header.getGenre();
160 if (header.isCompressed() && !uncompress) {