package soot.options;

/*-
 * #%L
 * Soot - a J*va Optimization Framework
 * %%
 * Copyright (C) 2003 Ondrej Lhotak
 * %%
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as
 * published by the Free Software Foundation, either version 2.1 of the
 * License, or (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Lesser Public License for more details.
 * 
 * You should have received a copy of the GNU General Lesser Public
 * License along with this program.  If not, see
 * <http://www.gnu.org/licenses/lgpl-2.1.html>.
 * #L%
 */

/* THIS FILE IS AUTO-GENERATED FROM soot_options.xml. DO NOT MODIFY. */

import java.util.*;

/** Option parser for Call Graph Constructor. */
@javax.annotation.Generated(value = "Saxonica v3.0", comments = "from soot_options.xml")
public class CGOptions {

    private Map<String, String> options;

    public CGOptions(Map<String, String> options) {
        this.options = options;
    }

    /**
     * Enabled
     */
    public boolean enabled() {
        return soot.PhaseOptions.getBoolean(options, "enabled");
    }

    /**
     * Safe forName --
     * Handle Class.forName() calls conservatively.
     *
     * When a program calls Class.forName(), the named class is 
     * resolved, and its static initializer executed. In many cases, it 
     * cannot be determined statically which class will be loaded, and 
     * which static initializer executed. When this option is set to 
     * true, Soot will conservatively assume that any static 
     * initializer could be executed. This may make the call graph very 
     * large. When this option is set to false, any calls to 
     * Class.forName() for which the class cannot be determined 
     * statically are assumed to call no static initializers.
     */
    public boolean safe_forname() {
        return soot.PhaseOptions.getBoolean(options, "safe-forname");
    }

    /**
     * Safe newInstance --
     * Handle Class.newInstance() calls conservatively.
     *
     * When a program calls Class.newInstance(), a new object is 
     * created and its constructor executed. Soot does not determine 
     * statically which type of object will be created, and which 
     * constructor executed. When this option is set to true, Soot will 
     * conservatively assume that any constructor could be executed. 
     * This may make the call graph very large. When this option is set 
     * to false, any calls to Class.newInstance() are assumed not to 
     * call the constructor of the created object.
     */
    public boolean safe_newinstance() {
        return soot.PhaseOptions.getBoolean(options, "safe-newinstance");
    }

    /**
     * Verbose --
     * Print warnings about where the call graph may be incomplete.
     *
     * Due to the effects of native methods and reflection, it may not 
     * always be possible to construct a fully conservative call graph. 
     * Setting this option to true causes Soot to point out the parts 
     * of the call graph that may be incomplete, so that they can be 
     * checked by hand.
     */
    public boolean verbose() {
        return soot.PhaseOptions.getBoolean(options, "verbose");
    }

    /**
     * All Application Class Methods Reachable --
     * Assume all methods of application classes are reachable.
     *
     * When this option is false, the call graph is built starting at a 
     * set of entry points, and only methods reachable from those entry 
     * points are processed. Unreachable methods will not have any call 
     * graph edges generated out of them. Setting this option to true 
     * makes Soot consider all methods of application classes to be 
     * reachable, so call edges are generated for all of them. This 
     * leads to a larger call graph. For program visualization 
     * purposes, it is sometimes desirable to include edges from 
     * unreachable methods; although these methods are unreachable in 
     * the version being analyzed, they may become reachable if the 
     * program is modified.
     */
    public boolean all_reachable() {
        return soot.PhaseOptions.getBoolean(options, "all-reachable");
    }

    /**
     * Implicit Entry Points --
     * Include methods called implicitly by the VM as entry points.
     *
     * When this option is true, methods that are called implicitly by 
     * the VM are considered entry points of the call graph. When it is 
     * false, these methods are not considered entry points, leading to 
     * a possibly incomplete call graph.
     */
    public boolean implicit_entry() {
        return soot.PhaseOptions.getBoolean(options, "implicit-entry");
    }

    /**
     * Trim Static Initializer Edges --
     * Removes redundant static initializer calls.
     *
     * The call graph contains an edge from each statement that could 
     * trigger execution of a static initializer to that static 
     * initializer. However, each static initializer is triggered only 
     * once. When this option is enabled, after the call graph is 
     * built, an intra-procedural analysis is performed to detect 
     * static initializer edges leading to methods that must have 
     * already been executed. Since these static initializers cannot be 
     * executed again, the corresponding call graph edges are removed 
     * from the call graph.
     */
    public boolean trim_clinit() {
        return soot.PhaseOptions.getBoolean(options, "trim-clinit");
    }

    /**
     * Types for invoke --
     * Uses reaching types inferred by the pointer analysis to resolve 
     * reflective calls..
     *
     * For each call to Method.invoke(), use the possible types of the 
     * first receiver argument and the possible types stored in the 
     * second argument array to resolve calls to Method.invoke(). This 
     * strategy makes no attempt to resolve reflectively invoked static 
     * methods. Currently only works for context insensitive pointer 
     * analyses.
     */
    public boolean types_for_invoke() {
        return soot.PhaseOptions.getBoolean(options, "types-for-invoke");
    }

    /**
     * Resolve Abstract Classes with No Children --
     * Causes methods invoked on abstract classes to be resolved even 
     * if there are no non-abstract children of the classes in the 
     * Scene..
     *
     * Normally, if a method is invoked on a class that is abstract and 
     * said class does not have any children in the Scene, the method 
     * invoke will not be resolved to any concrete methods even if the 
     * abstract class or its parent classes contain a concrete 
     * declaration of the method. This is because without any 
     * non-abstract children it is impossible to tell if the resolution 
     * is correct (since any child may override any non-private method 
     * in any of its parent classes). However, sometimes it is 
     * necessary to resolve methods in such situations (e.g. when 
     * analyzing libraries or incomplete code). This forces all methods 
     * invoked on abstract classes to be resolved if there exists a 
     * parent class with a concrete definition of the method even if 
     * there are no non-abstract children of the abstract class.
     */
    public boolean resolve_all_abstract_invokes() {
        return soot.PhaseOptions.getBoolean(options, "resolve-all-abstract-invokes");
    }

    /**
     * JDK version --
     * JDK version for native methods.
     *
     * This option sets the JDK version of the standard library being 
     * analyzed so that Soot can simulate the native methods in the 
     * specific version of the library. The default, 3, refers to Java 
     * 1.3.x.
     */
    public int jdkver() {
        return soot.PhaseOptions.getInt(options, "jdkver");
    }

    /**
     * Reflection Log --
     * Uses a reflection log to resolve reflective calls.
     *
     * Load a reflection log from the given file and use this log to 
     * resolve reflective call sites. Note that when a log is given, 
     * the following other options have no effect: safe-forname, 
     * safe-newinstance.
     */
    public String reflection_log() {
        return soot.PhaseOptions.getString(options, "reflection-log");
    }

    /**
     * Guarding strategy --
     * Describes how to guard the program from unsound assumptions.
     *
     * Using a reflection log is only sound for method executions that 
     * were logged. Executing the program differently may be unsound. 
     * Soot can insert guards at program points for which the 
     * reflection log contains no information. When these points are 
     * reached (because the program is executed differently) then the 
     * follwing will happen, depending on the value of this flag. 
     * ignore: no guard is inserted, the program executes normally but 
     * under unsound assumptions. print: the program prints a stack 
     * trace when reaching a porgram location that was not traced but 
     * continues to run. throw (default): the program throws an Error 
     * instead.
     */
    public String guards() {
        return soot.PhaseOptions.getString(options, "guards");
    }

    public static final int library_disabled = 1;
    public static final int library_any_subtype = 2;
    public static final int library_signature_resolution = 3;

    /**
     * Library mode --
     * Specifies whether the target classes should be treated as an 
     * application or a library..
     *
     * Specifies whether the target classes should be treated as an 
     * application or a library. If library mode is disabled (default), 
     * the call graph construction assumes that the target is an 
     * application and starts the construction from the specified entry 
     * points (main method by default). Under the assumption that the 
     * target is a library, possible call edges might be missing in the 
     * call graph. The two different library modes add theses missing 
     * calls to the call graph and differ only in the view of the class 
     * hierachy (hierachy of target library or possible extended 
     * hierachy). If simulate-natives is also set, the results of 
     * native methods are also set to any sub type of the declared 
     * return type.
     */
    public int library() {
        String s = soot.PhaseOptions.getString(options, "library");
        if (s == null || s.isEmpty())
        	return library_disabled;
	
        if (s.equalsIgnoreCase("disabled"))
            return library_disabled;
        if (s.equalsIgnoreCase("any-subtype"))
            return library_any_subtype;
        if (s.equalsIgnoreCase("signature-resolution"))
            return library_signature_resolution;

        throw new RuntimeException(String.format("Invalid value %s of phase option library", s));
    }

}
