Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
   
   /* Soot - a J*va Optimization Framework
    * Copyright (C) 2003 Ondrej Lhotak
    *
    * This library 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 library 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
   * Lesser General Public License for more details.
   *
   * You should have received a copy of the GNU Lesser General Public
   * License along with this library; if not, write to the
   * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
   * Boston, MA 02111-1307, USA.
   */
  
  /* THIS FILE IS AUTO-GENERATED FROM soot_options.xml. DO NOT MODIFY. */
  
  package soot.options;
  import soot.*;
  import java.util.*;
  import soot.PackManager;

Soot command-line options parser.

Author(s):
Ondrej Lhotak
  
  
  public class Options extends OptionsBase {
      public Options(Singletons.Global g) { }
      public static Options v() { return G.v().soot_options_Options(); }
  
  
      public static final int src_prec_c = 1;
      public static final int src_prec_class = 1;
      public static final int src_prec_only_class = 2;
      public static final int src_prec_J = 3;
      public static final int src_prec_jimple = 3;
      public static final int src_prec_java = 4;
      public static final int output_format_J = 1;
      public static final int output_format_jimple = 1;
      public static final int output_format_j = 2;
      public static final int output_format_jimp = 2;
      public static final int output_format_S = 3;
      public static final int output_format_shimple = 3;
      public static final int output_format_s = 4;
      public static final int output_format_shimp = 4;
      public static final int output_format_B = 5;
      public static final int output_format_baf = 5;
      public static final int output_format_b = 6;
      public static final int output_format_G = 7;
      public static final int output_format_grimple = 7;
      public static final int output_format_g = 8;
      public static final int output_format_grimp = 8;
      public static final int output_format_X = 9;
      public static final int output_format_xml = 9;
      public static final int output_format_n = 10;
      public static final int output_format_none = 10;
      public static final int output_format_jasmin = 11;
      public static final int output_format_c = 12;
      public static final int output_format_class = 12;
      public static final int output_format_d = 13;
      public static final int output_format_dava = 13;
      public static final int output_format_t = 14;
      public static final int output_format_template = 14;
      public static final int throw_analysis_pedantic = 1;
      public static final int throw_analysis_unit = 2;
  
      public boolean parseString[] argv ) {
          LinkedList phaseOptions = new LinkedList();
  
          forint i = argv.lengthi > 0; i-- ) {
              pushOptionsargv[i-1] );
          }
          whilehasMoreOptions() ) {
              String option = nextOption();
              ifoption.charAt(0) != '-' ) {
                  .addoption );
                  continue;
              }
              whileoption.charAt(0) == '-' ) {
                  option = option.substring(1);
              }
              iffalse );
  
              else iffalse 
              || option.equals"h" )
              || option.equals"help" )
              )
                   = true;
    
              else iffalse 
              || option.equals"pl" )
              || option.equals"phase-list" )
              )
                   = true;
   
             else iffalse
             || option.equals"ph" )
             || option.equals"phase-help" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse 
             || option.equals"version" )
             )
                  = true;
   
             else iffalse 
             || option.equals"v" )
             || option.equals"verbose" )
             )
                  = true;
   
             else iffalse 
             || option.equals"interactive-mode" )
             )
                  = true;
   
             else iffalse 
             || option.equals"unfriendly-mode" )
             )
                  = true;
   
             else iffalse 
             || option.equals"app" )
             )
                  = true;
   
             else iffalse 
             || option.equals"w" )
             || option.equals"whole-program" )
             )
                  = true;
   
             else iffalse 
             || option.equals"ws" )
             || option.equals"whole-shimple" )
             )
                  = true;
   
             else iffalse 
             || option.equals"validate" )
             )
                  = true;
   
             else iffalse 
             || option.equals"debug" )
             )
                  = true;
   
             else iffalse 
             || option.equals"debug-resolver" )
             )
                  = true;
   
             else iffalse
             || option.equals"cp" )
             || option.equals"soot-class-path" )
             || option.equals"soot-classpath" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if.length() == 0 )
                      = value;
                 else {
                     G.v()..println"Duplicate values "++" and "+value+" for option -"+option );
                     return false;
                 }
             }
   
             else iffalse 
             || option.equals"pp" )
             || option.equals"prepend-classpath" )
             )
                  = true;
   
             else iffalse
             || option.equals"process-path" )
             || option.equals"process-dir" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse 
             || option.equals"ast-metrics" )
             )
                  = true;
   
             else iffalse
             || option.equals"src-prec" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 iffalse );
     
                 else iffalse
                 || value.equals"c" )
                 || value.equals"class" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"only-class" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"J" )
                 || value.equals"jimple" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"java" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else {
                     G.v()..println"Invalid value "+value+" given for option -"+option );
                     return false;
                 }
            }
   
             else iffalse 
             || option.equals"full-resolver" )
             )
                  = true;
   
             else iffalse 
             || option.equals"allow-phantom-refs" )
             )
                  = true;
   
             else iffalse 
             || option.equals"no-bodies-for-excluded" )
             )
                  = true;
   
             else iffalse 
             || option.equals"j2me" )
             )
                  = true;
   
             else iffalse
             || option.equals"main-class" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if.length() == 0 )
                      = value;
                 else {
                     G.v()..println"Duplicate values "++" and "+value+" for option -"+option );
                     return false;
                 }
             }
   
             else iffalse 
             || option.equals"polyglot" )
             )
                  = true;
   
             else iffalse
             || option.equals"d" )
             || option.equals"output-dir" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if.length() == 0 )
                      = value;
                 else {
                     G.v()..println"Duplicate values "++" and "+value+" for option -"+option );
                     return false;
                 }
             }
   
             else iffalse
             || option.equals"f" )
             || option.equals"output-format" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 iffalse );
     
                 else iffalse
                 || value.equals"J" )
                 || value.equals"jimple" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"j" )
                 || value.equals"jimp" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"S" )
                 || value.equals"shimple" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"s" )
                 || value.equals"shimp" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"B" )
                 || value.equals"baf" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"b" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"G" )
                 || value.equals"grimple" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"g" )
                 || value.equals"grimp" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"X" )
                 || value.equals"xml" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"n" )
                 || value.equals"none" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"jasmin" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"c" )
                 || value.equals"class" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"d" )
                 || value.equals"dava" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"t" )
                 || value.equals"template" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else {
                     G.v()..println"Invalid value "+value+" given for option -"+option );
                     return false;
                 }
            }
   
             else iffalse 
             || option.equals"outjar" )
             || option.equals"output-jar" )
             )
                  = true;
   
             else iffalse 
             || option.equals"xml-attributes" )
             )
                  = true;
   
             else iffalse 
             || option.equals"print-tags" )
             || option.equals"print-tags-in-output" )
             )
                  = true;
   
             else iffalse 
             || option.equals"no-output-source-file-attribute" )
             )
                  = true;
   
             else iffalse 
             || option.equals"no-output-inner-classes-attribute" )
             )
                  = true;
   
             else iffalse
             || option.equals"dump-body" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse
             || option.equals"dump-cfg" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse 
             || option.equals"show-exception-dests" )
             )
                  = true;
   
             else iffalse 
             || option.equals"gzip" )
             )
                  = true;
   
             else iffalse
             || option.equals"p" )
             || option.equals"phase-option" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No phase name given for option -"+option );
                     return false;
                 }
                 String phaseName = nextOption();
                 if( !hasMoreOptions() ) {
                     G.v()..println"No phase option given for option -"+option+" "+phaseName );
                     return false;
                 }
                 String phaseOption = nextOption();
     
                 phaseOptions.addphaseName );
                 phaseOptions.addphaseOption );
             }
   
             else iffalse
             || option.equals"O" )
             || option.equals"optimize" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"sop" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"jop" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"gop" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"bop" );
                 pushOptions"-p" );
                 pushOptions"only-stack-locals:false" );
                 pushOptions"gb.a2" );
                 pushOptions"-p" );
                 pushOptions"only-stack-locals:false" );
                 pushOptions"gb.a1" );
                 pushOptions"-p" );
             }
   
             else iffalse
             || option.equals"W" )
             || option.equals"whole-optimize" )
             ) {
                 
                 pushOptions"-O" );
                 pushOptions"-w" );
                 pushOptions"enabled:true" );
                 pushOptions"wsop" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"wjop" );
                 pushOptions"-p" );
             }
   
             else iffalse 
             || option.equals"via-grimp" )
             )
                  = true;
   
             else iffalse 
             || option.equals"via-shimple" )
             )
                  = true;
   
             else iffalse
             || option.equals"throw-analysis" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 iffalse );
     
                 else iffalse
                 || value.equals"pedantic" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else iffalse
                 || value.equals"unit" )
                 ) {
                     if != 0
                     &&  !=  ) {
                         G.v()..println"Multiple values given for option "+option );
                         return false;
                     }
                      = ;
                 }
     
                 else {
                     G.v()..println"Invalid value "+value+" given for option -"+option );
                     return false;
                 }
            }
   
             else iffalse 
             || option.equals"omit-excepting-unit-edges" )
             )
                  = true;
   
             else iffalse
             || option.equals"trim-cfgs" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"jb.tt" );
                 pushOptions"-p" );
                 pushOptions"-omit-excepting-unit-edges" );
                 pushOptions"unit" );
                 pushOptions"-throw-analysis" );
             }
   
             else iffalse
             || option.equals"i" )
             || option.equals"include" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse
             || option.equals"x" )
             || option.equals"exclude" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse 
             || option.equals"include-all" )
             )
                  = true;
   
             else iffalse
             || option.equals"dynamic-class" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse
             || option.equals"dynamic-dir" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse
             || option.equals"dynamic-package" )
             ) {
                 if( !hasMoreOptions() ) {
                     G.v()..println"No value given for option -"+option );
                     return false;
                 }
                 String value = nextOption();
     
                 if == null )
                      = new LinkedList();
 
                 .addvalue );
             }
   
             else iffalse 
             || option.equals"keep-line-number" )
             )
                  = true;
   
             else iffalse 
             || option.equals"keep-bytecode-offset" )
             || option.equals"keep-offset" )
             )
                  = true;
   
             else iffalse
             || option.equals"annot-purity" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"wjap.purity" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"cg.spark" );
                 pushOptions"-p" );
                 pushOptions"-w" );
             }
   
             else iffalse
             || option.equals"annot-nullpointer" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"tag.an" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"jap.npc" );
                 pushOptions"-p" );
             }
   
             else iffalse
             || option.equals"annot-arraybounds" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"tag.an" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"jap.abc" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"wjap.ra" );
                 pushOptions"-p" );
             }
   
             else iffalse
             || option.equals"annot-side-effect" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"tag.dep" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"jap.sea" );
                 pushOptions"-p" );
                 pushOptions"-w" );
             }
   
             else iffalse
             || option.equals"annot-fieldrw" )
             ) {
                 
                 pushOptions"enabled:true" );
                 pushOptions"tag.fieldrw" );
                 pushOptions"-p" );
                 pushOptions"enabled:true" );
                 pushOptions"jap.fieldrw" );
                 pushOptions"-p" );
                 pushOptions"-w" );
             }
   
             else iffalse 
             || option.equals"time" )
             )
                  = true;
   
             else iffalse 
             || option.equals"subtract-gc" )
             )
                  = true;
   
             else {
                 G.v()..println"Invalid option -"+option );
                 return false;
             }
         }
 
         Iterator it = phaseOptions.iterator();
         whileit.hasNext() ) {
             String phaseName = (Stringit.next();
             String phaseOption = (Stringit.next();
             if( !setPhaseOptionphaseName"enabled:true" ) ) return false;
         }
 
         it = phaseOptions.iterator();
         whileit.hasNext() ) {
             String phaseName = (Stringit.next();
             String phaseOption = (Stringit.next();
             if( !setPhaseOptionphaseNamephaseOption ) ) return false;
         }
 
         return true;
     }
 
 
     public boolean help() { return ; }
     private boolean help = false;
     public void set_helpboolean setting ) {  = setting; }
   
     public boolean phase_list() { return ; }
     private boolean phase_list = false;
     public void set_phase_listboolean setting ) {  = setting; }
   
     public List phase_help() { 
         if == null )
             return ...;
         else
             return ;
     }
     public void set_phase_helpList setting ) {  = setting; }
     private List phase_help = null;
     public boolean version() { return ; }
     private boolean version = false;
     public void set_versionboolean setting ) {  = setting; }
   
     public boolean verbose() { return ; }
     private boolean verbose = false;
     public void set_verboseboolean setting ) {  = setting; }
   
     public boolean interactive_mode() { return ; }
     private boolean interactive_mode = false;
     public void set_interactive_modeboolean setting ) {  = setting; }
   
     public boolean unfriendly_mode() { return ; }
     private boolean unfriendly_mode = false;
     public void set_unfriendly_modeboolean setting ) {  = setting; }
   
     public boolean app() { return ; }
     private boolean app = false;
     public void set_appboolean setting ) {  = setting; }
   
     public boolean whole_program() { return ; }
     private boolean whole_program = false;
     public void set_whole_programboolean setting ) {  = setting; }
   
     public boolean whole_shimple() { return ; }
     private boolean whole_shimple = false;
     public void set_whole_shimpleboolean setting ) {  = setting; }
   
     public boolean validate() { return ; }
     private boolean validate = false;
     public void set_validateboolean setting ) {  = setting; }
   
     public boolean debug() { return ; }
     private boolean debug = false;
     public void set_debugboolean setting ) {  = setting; }
   
     public boolean debug_resolver() { return ; }
     private boolean debug_resolver = false;
     public void set_debug_resolverboolean setting ) {  = setting; }
   
     public String soot_classpath() { return ; }
     public void set_soot_classpathString setting ) {  = setting; }
     private String soot_classpath = "";
     public boolean prepend_classpath() { return ; }
     private boolean prepend_classpath = false;
     public void set_prepend_classpathboolean setting ) {  = setting; }
   
     public List process_dir() { 
         if == null )
             return ...;
         else
             return ;
     }
     public void set_process_dirList setting ) {  = setting; }
     private List process_dir = null;
     public boolean ast_metrics() { return ; }
     private boolean ast_metrics = false;
     public void set_ast_metricsboolean setting ) {  = setting; }
   
     public int src_prec() {
         if == 0 ) return ;
         return 
     }
     public void set_src_precint setting ) {  = setting; }
     private int src_prec = 0;
     public boolean full_resolver() { return ; }
     private boolean full_resolver = false;
     public void set_full_resolverboolean setting ) {  = setting; }
   
     public boolean allow_phantom_refs() { return ; }
     private boolean allow_phantom_refs = false;
     public void set_allow_phantom_refsboolean setting ) {  = setting; }
   
     public boolean no_bodies_for_excluded() { return ; }
     private boolean no_bodies_for_excluded = false;
     public void set_no_bodies_for_excludedboolean setting ) {  = setting; }
  
    public boolean j2me() { return ; }
    private boolean j2me = false;
    public void set_j2meboolean setting ) {  = setting; }
  
    public String main_class() { return ; }
    public void set_main_classString setting ) {  = setting; }
    private String main_class = "";
    public boolean polyglot() { return ; }
    private boolean polyglot = false;
    public void set_polyglotboolean setting ) {  = setting; }
  
    public String output_dir() { return ; }
    public void set_output_dirString setting ) {  = setting; }
    private String output_dir = "";
    public int output_format() {
        if == 0 ) return ;
        return 
    }
    public void set_output_formatint setting ) {  = setting; }
    private int output_format = 0;
    public boolean output_jar() { return ; }
    private boolean output_jar = false;
    public void set_output_jarboolean setting ) {  = setting; }
  
    public boolean xml_attributes() { return ; }
    private boolean xml_attributes = false;
    public void set_xml_attributesboolean setting ) {  = setting; }
  
    public boolean print_tags_in_output() { return ; }
    private boolean print_tags_in_output = false;
    public void set_print_tags_in_outputboolean setting ) {  = setting; }
  
    public boolean no_output_source_file_attribute() { return ; }
    private boolean no_output_source_file_attribute = false;
    public void set_no_output_source_file_attributeboolean setting ) {  = setting; }
  
    private boolean no_output_inner_classes_attribute = false;
    public void set_no_output_inner_classes_attributeboolean setting ) {  = setting; }
  
    public List dump_body() { 
        if == null )
            return ...;
        else
            return ;
    }
    public void set_dump_bodyList setting ) {  = setting; }
    private List dump_body = null;
    public List dump_cfg() { 
        if == null )
            return ...;
        else
            return ;
    }
    public void set_dump_cfgList setting ) {  = setting; }
    private List dump_cfg = null;
    public boolean show_exception_dests() { return ; }
    private boolean show_exception_dests = false;
    public void set_show_exception_destsboolean setting ) {  = setting; }
  
    public boolean gzip() { return ; }
    private boolean gzip = false;
    public void set_gzipboolean setting ) {  = setting; }
  
    public boolean via_grimp() { return ; }
    private boolean via_grimp = false;
    public void set_via_grimpboolean setting ) {  = setting; }
  
    public boolean via_shimple() { return ; }
    private boolean via_shimple = false;
    public void set_via_shimpleboolean setting ) {  = setting; }
  
    public int throw_analysis() {
        if == 0 ) return ;
        return 
    }
    public void set_throw_analy