Uses of Class
pascal.taie.language.classes.JClass

Packages that use JClass
Package
Description
 
 
 
Provide data structures and algorithms of context-sensitive pointer analysis solver.
 
 
Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
Provides model of Java type system.