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 Lock Allocator.
 
 public class LockAllocator
 {
     private Map options;
 
     public LockAllocatorMap options ) {
         this. = options;
     }
    
    
Enabled -- .
 
     public boolean enabled() {
         return soot.PhaseOptions.getBoolean"enabled" );
     }
    
    
Perform Deadlock Avoidance -- Perform Deadlock Avoidance. Perform Deadlock Avoidance by enforcing a lock ordering where necessary.
 
     public boolean avoid_deadlock() {
         return soot.PhaseOptions.getBoolean"avoid-deadlock" );
     }
    
    
Use Open Nesting -- Use an open nesting model. Use an open nesting model, where inner transactions are allowed to commit independently of any outer transaction.
 
     public boolean open_nesting() {
         return soot.PhaseOptions.getBoolean"open-nesting" );
     }
    
    
Perform May-Happen-in-Parallel Analysis -- Perform a May-Happen-in-Parallel analysis. Perform a May-Happen-in-Parallel analysis to assist in allocating locks.
 
     public boolean do_mhp() {
         return soot.PhaseOptions.getBoolean"do-mhp" );
     }
    
    
Perform Local Objects Analysis -- Perform a Local-Objects analysis. Perform a Local-Objects analysis to assist in allocating locks.
 
     public boolean do_tlo() {
         return soot.PhaseOptions.getBoolean"do-tlo" );
     }
    
    
Print Topological Graph -- Print topological graph of transactions. Print a topological graph of the program's transactions in the format used by the graphviz package.
 
     public boolean print_graph() {
         return soot.PhaseOptions.getBoolean"print-graph" );
     }
    
    
Print Table -- Print table of transactions. Print a table of information about the program's transactions.
    public boolean print_table() {
        return soot.PhaseOptions.getBoolean"print-table" );
    }
    
    
Print Debugging Info -- Print debugging info. Print debugging info, including every statement visited.
    public boolean print_debug() {
        return soot.PhaseOptions.getBoolean"print-debug" );
    }
    
    public static final int locking_scheme_medium_grained = 1;
    public static final int locking_scheme_coarse_grained = 2;
    public static final int locking_scheme_single_static = 3;
    public static final int locking_scheme_leave_original = 4;
    
Locking Scheme -- Selects the granularity of the generated lock allocation. Selects the granularity of the generated lock allocation
    public int locking_scheme() {
        String s = soot.PhaseOptions.getString"locking-scheme" );
        
        ifs.equalsIgnoreCase"medium-grained" ) )
            return ;
        
        ifs.equalsIgnoreCase"coarse-grained" ) )
            return ;
        
        ifs.equalsIgnoreCase"single-static" ) )
            return ;
        
        ifs.equalsIgnoreCase"leave-original" ) )
            return ;
        
        throw new RuntimeException"Invalid value "+s+" of phase option locking-scheme" );
    }
    
}
        
New to GrepCode? Check out our FAQ X