public final static int typeImpliedSpecCase = 5;
public final static int typeSpecCase = 6;
public JmlExtractor(String fileName) throws IOException, InvalidClassFile, JirSpecificationNotFound {
classFileName = fileName;
JirExtractor extractor = new JirExtractor();
try {
typeInfo = extractor.getSpec(classFileName);
}
catch (ArrayIndexOutOfBoundsException e) {
throw new InvalidClassFile(classFileName);
}