Package pascal.taie

Interface WorldBuilder

All Known Implementing Classes:
AbstractWorldBuilder, CachedWorldBuilder, SootWorldBuilder
public interface WorldBuilder
Interface for World builder.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    build(Options options, List<AnalysisConfig> analyses)
    Builds a new instance of World and make it globally accessible through static methods of World.

  • Method Details

    • build

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