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 java.util.*;

Option parser for Purity Analysis [AM].
 
 public class PurityOptions
 {
     private Map options;
 
     public PurityOptionsMap options ) {
         this. = options;
     }
    
    
Enabled -- .
 
     public boolean enabled() {
         return soot.PhaseOptions.getBoolean"enabled" );
     }
    
    
Dump one .dot files for each method summary -- .
 
     public boolean dump_summaries() {
         return soot.PhaseOptions.getBoolean"dump-summaries" );
     }
    
    
Dump .dot call-graph annotated with method summaries (huge) -- .
 
     public boolean dump_cg() {
         return soot.PhaseOptions.getBoolean"dump-cg" );
     }
    
    
Dump one .dot for each intra-procedural method analysis (long) -- .
 
     public boolean dump_intra() {
         return soot.PhaseOptions.getBoolean"dump-intra" );
     }
    
    
Print analysis results -- .
 
     public boolean print() {
         return soot.PhaseOptions.getBoolean"print" );
     }
    
    
Annotate class files -- Marks pure methods with a purity bytecode attribute.
 
     public boolean annotate() {
         return soot.PhaseOptions.getBoolean"annotate" );
     }
    
    
Be (quite) verbose -- .
    public boolean verbose() {
        return soot.PhaseOptions.getBoolean"verbose" );
    }
    
}
        
New to GrepCode? Check out our FAQ X