Method get

src/main/java/pascal/taie/config/AnalysisOptions.java:97–103

@return value for given option key. @throws ConfigException if this AnalysisOptions do not contain the key.

(String key)

     * @throws ConfigException if this AnalysisOptions do not contain the key.
     */
    public Object get(String key) {
        if (!has(key)) {
            throw new ConfigException("Cannot find option '" + key + "'," +
                    " please check your configuration and option key");
        }
        return options.get(key);
    }

    public String getString(String key) {
        return (String) get(key);