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
 * 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.
package soot.options;
import java.util.*;

Option parser for Shimple Control.
public class ShimpleOptions
    private Map options;
    public ShimpleOptionsMap options ) {
        this. = options;
Enabled -- .
    public boolean enabled() {
        return soot.PhaseOptions.getBoolean"enabled" );
Shimple Node Elimination Optimizations -- Node elimination optimizations. Perform some optimizations, such as dead code elimination and local aggregation, before/after eliminating nodes.
    public boolean node_elim_opt() {
        return soot.PhaseOptions.getBoolean"node-elim-opt" );
Local Name Standardization -- Uses naming scheme of the Local Name Standardizer.. If enabled, the Local Name Standardizer is applied whenever Shimple creates new locals. Normally, Shimple will retain the original local names as far as possible and use an underscore notation to denote SSA subscripts. This transformation does not otherwise affect Shimple behaviour.
    public boolean standard_local_names() {
        return soot.PhaseOptions.getBoolean"standard-local-names" );
Extended SSA (SSI) -- Compute extended SSA (SSI) form.. If enabled, Shimple will created extended SSA (SSI) form.
    public boolean extended() {
        return soot.PhaseOptions.getBoolean"extended" );
Debugging Output -- Enables debugging output, if any.. If enabled, Soot may print out warnings and messages useful for debugging the Shimple module. Automatically enabled by the global debug switch.
    public boolean debug() {
        return soot.PhaseOptions.getBoolean"debug" );
New to GrepCode? Check out our FAQ X