Method addConfig

src/main/java/pascal/taie/config/ConfigManager.java:51–57

(AnalysisConfig config)

    }

    private void addConfig(AnalysisConfig config) {
        if (configs.containsKey(config.getId())) {
            throw new ConfigException("There are multiple analyses for the same id " +
                    config.getId() + " in " + Configs.getAnalysisConfigURL());
        }
        configs.put(config.getId(), config);
    }

    /**
     * Given an analysis id, returns the corresponding AnalysisConfig.