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

Packages that use JClass

Package	Description
pascal.taie.analysis
pascal.taie.analysis.bugfinder
pascal.taie.analysis.misc
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.util
pascal.taie.ir.proginfo
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.type	Provides model of Java type system.

Uses of JClass in pascal.taie.analysis

Methods in pascal.taie.analysis with parameters of type JClass

Modifier and Type	Method	Description
abstract R	ClassAnalysis.analyze(JClass jclass)	Runs this analysis for the given JClass.

Uses of JClass in pascal.taie.analysis.bugfinder

Methods in pascal.taie.analysis.bugfinder with parameters of type JClass

Modifier and Type	Method	Description
Set<BugInstance>	CloneIdiom.analyze(JClass jclass)

Constructors in pascal.taie.analysis.bugfinder with parameters of type JClass

Modifier	Constructor	Description
	BugInstance(BugType type, Severity severity, JClass jClass)

Uses of JClass in pascal.taie.analysis.misc

Methods in pascal.taie.analysis.misc with parameters of type JClass

Modifier and Type	Method	Description
Void	IRDumper.analyze(JClass jclass)

Uses of JClass in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver with parameters of type JClass

Modifier and Type	Method	Description
void	DefaultSolver.initializeClass(JClass cls)
void	Solver.initializeClass(JClass cls)	Analyzes the static initializer (i.e., <clinit>) of given class.

Uses of JClass in pascal.taie.analysis.pta.plugin.util

Methods in pascal.taie.analysis.pta.plugin.util that return JClass

Modifier and Type	Method	Description
static JClass	CSObjs.toClass(CSObj csObj)	Converts a CSObj of class to corresponding JClass.

Methods in pascal.taie.analysis.pta.plugin.util with parameters of type JClass

Modifier and Type	Method	Description
static Stream<JMethod>	Reflections.getConstructors(JClass jclass)
static Stream<JMethod>	Reflections.getDeclaredConstructors(JClass jclass)
static Stream<JMethod>	Reflections.getDeclaredMethods(JClass jclass)
static Stream<JMethod>	Reflections.getDeclaredMethods(JClass jclass, String methodName)
static Stream<JMethod>	Reflections.getMethods(JClass jclass)
static Stream<JMethod>	Reflections.getMethods(JClass jclass, String methodName)

Uses of JClass in pascal.taie.ir.proginfo

Methods in pascal.taie.ir.proginfo that return JClass

Modifier and Type	Method	Description
JClass	MemberRef.getDeclaringClass()

Methods in pascal.taie.ir.proginfo with parameters of type JClass

Modifier and Type	Method	Description
static FieldRef	FieldRef.get(JClass declaringClass, String name, Type type, boolean isStatic)
static MethodRef	MethodRef.get(JClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)

Constructors in pascal.taie.ir.proginfo with parameters of type JClass

Modifier	Constructor	Description
	MemberRef(JClass declaringClass, String name, boolean isStatic)

Uses of JClass in pascal.taie.language.classes

Fields in pascal.taie.language.classes declared as JClass

Modifier and Type	Field	Description
protected final JClass	ClassMember.declaringClass

Methods in pascal.taie.language.classes that return JClass

Modifier and Type	Method	Description
JClass	ClassHierarchy.getClass(String name)
JClass	ClassHierarchy.getClass(JClassLoader loader, String name)
JClass	ClassHierarchyImpl.getClass(String name)
JClass	ClassHierarchyImpl.getClass(JClassLoader loader, String name)
JClass	ClassMember.getDeclaringClass()
JClass	ClassHierarchy.getJREClass(String name)	Obtains a JRE class by it name.
JClass	ClassHierarchyImpl.getJREClass(String name)
JClass	ClassHierarchyImpl.getObject(int index)
JClass	JClass.getOuterClass()
JClass	JClassBuilder.getOuterClass()
JClass	JClass.getSuperClass()
JClass	JClassBuilder.getSuperClass()
JClass	JClassLoader.loadClass(String name)

Methods in pascal.taie.language.classes that return types with arguments of type JClass

Modifier and Type	Method	Description
Stream<JClass>	ClassHierarchy.allClasses()
Stream<JClass>	ClassHierarchyImpl.allClasses()
Stream<JClass>	ClassHierarchy.applicationClasses()
Stream<JClass>	ClassHierarchyImpl.applicationClasses()
Collection<JClass>	ClassHierarchy.getAllSubclassesOf(JClass jclass)	Returns all subclasses of the given class (including itself).
Collection<JClass>	ClassHierarchyImpl.getAllSubclassesOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectImplementorsOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectImplementorsOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectInnerClassesOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectInnerClassesOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectSubclassesOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectSubclassesOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectSubinterfacesOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectSubinterfacesOf(JClass jclass)
Collection<JClass>	JClass.getInterfaces()
Collection<JClass>	JClassBuilder.getInterfaces()
Collection<JClass>	JClassLoader.getLoadedClasses()

Methods in pascal.taie.language.classes with parameters of type JClass

Modifier and Type	Method	Description
void	ClassHierarchy.addClass(JClass jclass)	Adds a JClass into class hierarchy.
void	ClassHierarchyImpl.addClass(JClass jclass)
void	JClassBuilder.build(JClass jclass)
JMethod	ClassHierarchy.dispatch(JClass receiverClass, MethodRef methodRef)	Dispatches a method reference on a receiver class.
JMethod	ClassHierarchyImpl.dispatch(JClass receiverClass, MethodRef methodRef)
Collection<JClass>	ClassHierarchy.getAllSubclassesOf(JClass jclass)	Returns all subclasses of the given class (including itself).
Collection<JClass>	ClassHierarchyImpl.getAllSubclassesOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectImplementorsOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectImplementorsOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectInnerClassesOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectInnerClassesOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectSubclassesOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectSubclassesOf(JClass jclass)
Collection<JClass>	ClassHierarchy.getDirectSubinterfacesOf(JClass jclass)
Collection<JClass>	ClassHierarchyImpl.getDirectSubinterfacesOf(JClass jclass)
static String	StringReps.getFieldSignature(JClass declaringClass, String fieldName, Type fieldType)
int	ClassHierarchyImpl.getIndex(JClass jclass)
static String	StringReps.getMethodSignature(JClass declaringClass, String methodName, List<Type> parameterTypes, Type returnType)
boolean	ClassHierarchy.isSubclass(JClass superclass, JClass subclass)
boolean	ClassHierarchyImpl.isSubclass(JClass superclass, JClass subclass)

Constructors in pascal.taie.language.classes with parameters of type JClass

Modifier	Constructor	Description
protected	ClassMember(JClass declaringClass, String name, Set<Modifier> modifiers, AnnotationHolder annotationHolder)
	JField(JClass declaringClass, String name, Set<Modifier> modifiers, Type type, ReferenceTypeGSignature gSignature, AnnotationHolder annotationHolder)
	JMethod(JClass declaringClass, String name, Set<Modifier> modifiers, List<Type> paramTypes, Type returnType, List<ClassType> exceptions, MethodGSignature gSignature, AnnotationHolder annotationHolder, List<AnnotationHolder> paramAnnotations, List<String> paramNames, Object methodSource)

Uses of JClass in pascal.taie.language.type

Methods in pascal.taie.language.type that return JClass

Modifier and Type	Method	Description
JClass	ClassType.getJClass()