Package com.ibm.wala.shrike.shrikeBT.analysis
package com.ibm.wala.shrike.shrikeBT.analysis
-
ClassDescriptionThis exception is thrown by verify() when it fails.This class takes the raw information from a ClassHierarchyProvider and computes type operations (subtype check, type union).This interface provides information about the class hierarchy to some consumer, such as a bytecode verifier.This implementation of ClassHierarchyProvider is a simple writable data structure representing a class hierarchy.This class typechecks intermediate code.