Uses of Interface
pascal.taie.WorldBuilder
Packages that use WorldBuilder
Package
Description
This package provides functionality for processing options and configurations.
-
Uses of WorldBuilder in pascal.taie
Classes in pascal.taie that implement WorldBuilder -
Uses of WorldBuilder in pascal.taie.config
Methods in pascal.taie.config that return types with arguments of type WorldBuilder -
Uses of WorldBuilder in pascal.taie.frontend.cache
Classes in pascal.taie.frontend.cache that implement WorldBuilderModifier and TypeClassDescriptionclass
AWorldBuilder
that loads the cached world if it exists, or delegates to the underlyingWorldBuilder
otherwise.Constructors in pascal.taie.frontend.cache with parameters of type WorldBuilder -
Uses of WorldBuilder in pascal.taie.frontend.soot
Classes in pascal.taie.frontend.soot that implement WorldBuilder