@@ -0,0 +1,1939 @@
+%0A/* Soot - a J*va Optimization Framework%0A * Copyright (C) 2003 Ondrej Lhotak%0A *%0A * This library is free software; you can redistribute it and/or%0A * modify it under the terms of the GNU Lesser General Public%0A * License as published by the Free Software Foundation; either%0A * version 2.1 of the License, or (at your option) any later version.%0A *%0A * This library is distributed in the hope that it will be useful,%0A * but WITHOUT ANY WARRANTY; without even the implied warranty of%0A * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU%0A * Lesser General Public License for more details.%0A *%0A * You should have received a copy of the GNU Lesser General Public%0A * License along with this library; if not, write to the%0A * Free Software Foundation, Inc., 59 Temple Place - Suite 330,%0A * Boston, MA 02111-1307, USA.%0A */%0A%0A/* THIS FILE IS AUTO-GENERATED FROM soot_options.xml. DO NOT MODIFY. */%0A%0Apackage soot.options;%0Aimport java.util.*;%0A%0A/** Option parser for Purity Analysis %5BAM%5D. */%0Apublic class PurityOptions%0A%7B%0A    private Map options;%0A%0A    public PurityOptions( Map options ) %7B%0A        this.options = options;%0A    %7D%0A    %0A    /** Enabled --%0A    %0A     * .%0A    %0A     * %0A     */%0A    public boolean enabled() %7B%0A        return soot.PhaseOptions.getBoolean( options, %22enabled%22 );%0A    %7D%0A    %0A    /** Dump one .dot files for each method summary --%0A    %0A     * .%0A    %0A     * %0A     */%0A    public boolean dump_summaries() %7B%0A        return soot.PhaseOptions.getBoolean( options, %22dump-summaries%22 );%0A    %7D%0A    %0A    /** Dump .dot call-graph annotated with method summaries --%0A    %0A     * .%0A    %0A     * %0A     */%0A    public boolean dump_cg() %7B%0A        return soot.PhaseOptions.getBoolean( options, %22dump-cg%22 );%0A    %7D%0A    %0A    /** Dump one .dot for each intra-procedural method analysis --%0A    %0A     * .%0A    %0A     * %0A     */%0A    public boolean dump_intra() %7B%0A        return soot.PhaseOptions.getBoolean( options, %22dump-intra%22 );%0A    %7D%0A    %0A%7D%0A        

add automatically generated purity analysis option file -annot-purity