Uses of Package
com.ibm.wala.types

Packages that use com.ibm.wala.types

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.reflection.java7
com.ibm.wala.analysis.typeInference	This package provides intraprocedural type inference over the SSA form.
com.ibm.wala.cfg.exc
com.ibm.wala.cfg.exc.inter
com.ibm.wala.cfg.exc.intra
com.ibm.wala.classLoader	This package provides functionality related to class loading and management of loaded classes.
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.demandpa.util
com.ibm.wala.escape
com.ibm.wala.ipa.callgraph	This package provides basic interfaces and functions for call graph construction.
com.ibm.wala.ipa.callgraph.impl	This package provides some implementations of basic functions needed for various call graph construction algorithms.
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.cfa	This package provides RTA call graph construction.
com.ibm.wala.ipa.callgraph.propagation.rta	This package provides CFA-style call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.pruned
com.ibm.wala.ipa.cfg	This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.
com.ibm.wala.ipa.cha	This package provides functionality related to class hierarchies.
com.ibm.wala.ipa.modref
com.ibm.wala.ipa.slicer
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.
com.ibm.wala.ssa	This package provides the WALA SSA IR.
com.ibm.wala.types	This package provides abstractions for the Java type system.
com.ibm.wala.types.annotations
com.ibm.wala.types.generics
com.ibm.wala.util	This package provides miscellaneous utilities.
com.ibm.wala.util.config	This package provides miscellaneous utilities for configuration of the analysis.
com.ibm.wala.util.shrike
com.ibm.wala.util.ssa	A set of classes facilitating the construction of synthetic methods.
com.ibm.wala.util.strings

Classes in com.ibm.wala.types used by com.ibm.wala.analysis.reflection

Class and Description
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.analysis.reflection.java7

Class and Description
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.

Classes in com.ibm.wala.types used by com.ibm.wala.analysis.typeInference

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.cfg.exc

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.cfg.exc.inter

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.cfg.exc.intra

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.classLoader

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
Descriptor A method descriptor; something like: (Ljava/langString;)Ljava/lang/Class; Descriptors are canonical
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeName We've introduced this class to canonicalize Atoms that represent package names.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.demandpa.flowgraph

Class and Description
FieldReference A class to represent the reference in a class file to a field.

Classes in com.ibm.wala.types used by com.ibm.wala.demandpa.util

Class and Description
FieldReference A class to represent the reference in a class file to a field.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.escape

Class and Description
MethodReference A class to represent the reference in a class file to a method.

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.callgraph

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
MethodReference A class to represent the reference in a class file to a method.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.callgraph.impl

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
Descriptor A method descriptor; something like: (Ljava/langString;)Ljava/lang/Class; Descriptors are canonical
FieldReference A class to represent the reference in a class file to a field.
MemberReference Abstract superclass of MethodReference and FieldReference
MethodReference A class to represent the reference in a class file to a method.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.callgraph.propagation

Class and Description
FieldReference A class to represent the reference in a class file to a field.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.callgraph.propagation.cfa

Class and Description
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.callgraph.propagation.rta

Class and Description
FieldReference A class to represent the reference in a class file to a field.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.callgraph.pruned

Class and Description
MethodReference A class to represent the reference in a class file to a method.

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.cfg

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.cha

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.modref

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.slicer

Class and Description
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ipa.summaries

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
MemberReference Abstract superclass of MethodReference and FieldReference
MethodReference A class to represent the reference in a class file to a method.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeName We've introduced this class to canonicalize Atoms that represent package names.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.ssa

Class and Description
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.types

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
Descriptor A method descriptor; something like: (Ljava/langString;)Ljava/lang/Class; Descriptors are canonical
FieldReference A class to represent the reference in a class file to a field.
MemberReference Abstract superclass of MethodReference and FieldReference
MethodReference A class to represent the reference in a class file to a method.
Selector A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class; TODO: Canonicalize these?
TypeName We've introduced this class to canonicalize Atoms that represent package names.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.types.annotations

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
TypeName We've introduced this class to canonicalize Atoms that represent package names.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.types.generics

Class and Description
TypeName We've introduced this class to canonicalize Atoms that represent package names.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.util

Class and Description
TypeName We've introduced this class to canonicalize Atoms that represent package names.

Classes in com.ibm.wala.types used by com.ibm.wala.util.config

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.

Classes in com.ibm.wala.types used by com.ibm.wala.util.shrike

Class and Description
ClassLoaderReference Defines the meta-information that identifies a class loader.
MemberReference Abstract superclass of MethodReference and FieldReference
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.util.ssa

Class and Description
FieldReference A class to represent the reference in a class file to a field.
MethodReference A class to represent the reference in a class file to a method.
TypeName We've introduced this class to canonicalize Atoms that represent package names.
TypeReference A class to represent the reference in a class file to some type (class, primitive or array).

Classes in com.ibm.wala.types used by com.ibm.wala.util.strings

Class and Description
MethodReference A class to represent the reference in a class file to a method.
TypeName We've introduced this class to canonicalize Atoms that represent package names.