Interface WorldBuilder

src/main/java/pascal/taie/WorldBuilder.java:33–44

Interface for World builder.

 * Interface for {@link World} builder.
 */
public interface WorldBuilder {

    /**
     * Builds a new instance of {@link World} and make it globally accessible
     * through static methods of {@link World}.
     * TODO: remove {@code analyses}.
     *
     * @param options  the options
     * @param analyses the analyses to be executed
     */
    void build(Options options, List<AnalysisConfig> analyses);
}