Uses of Interface
pascal.taie.WorldBuilder

Packages that use WorldBuilder

Package	Description
pascal.taie
pascal.taie.config	This package provides functionality for processing options and configurations.
pascal.taie.frontend.cache
pascal.taie.frontend.soot

Uses of WorldBuilder in pascal.taie

Classes in pascal.taie that implement WorldBuilder

Modifier and Type	Class	Description
class	AbstractWorldBuilder	Common functionality for WorldBuilder implementations.

Uses of WorldBuilder in pascal.taie.config

Methods in pascal.taie.config that return types with arguments of type WorldBuilder

Modifier and Type	Method	Description
Class<? extends WorldBuilder>	Options.getWorldBuilderClass()

Uses of WorldBuilder in pascal.taie.frontend.cache

Classes in pascal.taie.frontend.cache that implement WorldBuilder

Modifier and Type	Class	Description
class	CachedWorldBuilder	A WorldBuilder that loads the cached world if it exists, or delegates to the underlying WorldBuilder otherwise.

Constructors in pascal.taie.frontend.cache with parameters of type WorldBuilder

Modifier	Constructor	Description
	CachedWorldBuilder(WorldBuilder delegate)

Uses of WorldBuilder in pascal.taie.frontend.soot

Classes in pascal.taie.frontend.soot that implement WorldBuilder

Modifier and Type	Class	Description
class	SootWorldBuilder