am 03105290: Merge "Throw exception when the header cannot be read."
* commit '03105290d840c86b6fe9376bade466e606391141': Throw exception when the header cannot be read.main
commit
20dee7106e
|
@ -173,6 +173,9 @@ public class Ver2DictDecoder extends AbstractDictDecoder {
|
||||||
@Override
|
@Override
|
||||||
public DictionaryHeader readHeader() throws IOException, UnsupportedFormatException {
|
public DictionaryHeader readHeader() throws IOException, UnsupportedFormatException {
|
||||||
final DictionaryHeader header = mBinaryDictionary.getHeader();
|
final DictionaryHeader header = mBinaryDictionary.getHeader();
|
||||||
|
if (header == null) {
|
||||||
|
throw new IOException("Cannot read the dictionary header.");
|
||||||
|
}
|
||||||
if (header.mFormatOptions.mVersion != FormatSpec.VERSION2) {
|
if (header.mFormatOptions.mVersion != FormatSpec.VERSION2) {
|
||||||
throw new UnsupportedFormatException("File header has a wrong version : "
|
throw new UnsupportedFormatException("File header has a wrong version : "
|
||||||
+ header.mFormatOptions.mVersion);
|
+ header.mFormatOptions.mVersion);
|
||||||
|
|
Loading…
Reference in New Issue