Package pascal.taie.frontend.cache

Class CachedWorldBuilder

java.lang.Object
pascal.taie.frontend.cache.CachedWorldBuilder
All Implemented Interfaces:
WorldBuilder
public class CachedWorldBuilder extends Object implements WorldBuilder
A WorldBuilder that loads the cached world if it exists, or delegates to the underlying WorldBuilder otherwise.

  • Constructor Details

    • CachedWorldBuilder

      public CachedWorldBuilder(WorldBuilder delegate)

  • Method Details

    • build

      public void build(Options options, List<AnalysisConfig> analyses)
      Description copied from interface: WorldBuilder
      Builds a new instance of World and make it globally accessible through static methods of World. TODO: remove analyses.
      Specified by:
      build in interface WorldBuilder
      Parameters:
      options - the options
      analyses - the analyses to be executed

    • getWorldCacheFile

      public static File getWorldCacheFile(Options options)