Throw exception when the header cannot be read.
Bug: 13066902 Change-Id: I8fd0f361a4ca55aaab8a2bd2e11f48f92b87fc93
This commit is contained in:
parent
e49e007bb2
commit
97a40d030f
1 changed files with 3 additions and 0 deletions
|
@ -173,6 +173,9 @@ public class Ver2DictDecoder extends AbstractDictDecoder {
|
|||
@Override
|
||||
public DictionaryHeader readHeader() throws IOException, UnsupportedFormatException {
|
||||
final DictionaryHeader header = mBinaryDictionary.getHeader();
|
||||
if (header == null) {
|
||||
throw new IOException("Cannot read the dictionary header.");
|
||||
}
|
||||
if (header.mFormatOptions.mVersion != FormatSpec.VERSION2) {
|
||||
throw new UnsupportedFormatException("File header has a wrong version : "
|
||||
+ header.mFormatOptions.mVersion);
|
||||
|
|
Loading…
Reference in a new issue