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 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