HIERARCHY
ResolveLevel
HeapSlot
pta
handleException
ExceptionHandler
handleModelCall
PointerAssignmentGraph
hasErrors
Reporter
ReporterImpl
JawaSymbolTable
hasExtension
AbstractFile
Path
hasField
JawaClass
hasOuterClass
JawaClass
hasSuperClass
JawaClass
hasWarnings
Reporter
hashCode
Context
JawaBaseType
JawaType
Signature
Classpath
DefinedPosition
FgSourceFile
FileZipArchive
ManifestResources
Path
PlainFile
URLZipArchive
VirtualFile
heapContext
PointsToMap
hierarchy
JawaClassLoadManager