Method getConfig

src/main/java/pascal/taie/config/ConfigManager.java:65–72

Given an analysis id, returns the corresponding AnalysisConfig. @throws ConfigException when the manager does not contain the AnalysisConfig for the given id.

(String id)

     *                         the AnalysisConfig for the given id.
     */
    AnalysisConfig getConfig(String id) {
        AnalysisConfig config = configs.get(id);
        if (config == null) {
            throw new ConfigException("Analysis \"" + id + "\" is not found in " +
                    Configs.getAnalysisConfigURL());
        }
        return config;
    }

    /**
     * Overwrites the AnalysisConfig.options by corresponding PlanConfig.options.