Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
 /* Soot - a J*va Optimization Framework
  * Copyright (C) 2003 John Jorgensen
  *
  * This library is free software; you can redistribute it and/or
  * modify it under the terms of the GNU Library General Public
  * License as published by the Free Software Foundation; either
  * version 2 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
 * Library General Public License for more details.
 *
 * You should have received a copy of the GNU Library 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.toolkits.exceptions;
import soot.Unit;
import soot.G;
A ThrowAnalysis that says that every unit can throw every possible exception type. Strictly speaking, this is correct, since the deprecated java.lang.Thread.stop(java.lang.Throwable) method allows one thread to cause any java.lang.Throwable it wants to be thrown in another thread, meaning that all java.lang.Throwables may arrive asynchronously from the perspective of the victim thread.
public class PedanticThrowAnalysis extends AbstractThrowAnalysis {

    
Constructs a PedanticThrowAnalysis for inclusion in Soot's global variable manager, soot.G.

Parameters:
g guarantees that the constructor may only be called from soot.Singletons.
    public PedanticThrowAnalysis(Singletons.Global g) {}

    
Returns the single instance of PedanticThrowAnalysis.

Returns:
Soot's PedanticThrowAnalysis.
    public static PedanticThrowAnalysis v() { 
    }


    
Returns the set of all Throwables as the set of types that the specified unit might throw, regardless of the unit's identity.

Parameters:
u soot.Unit whose exceptions are to be returned.
Returns:
the set of all Throwables.
    public ThrowableSet mightThrow(Unit u) {
	return ThrowableSet.Manager.v().;
    }




    
Returns the set of all Throwables as the set of types that a throw statement may throw implicitly, that is, the possible types of errors which might arise in the course of executing the throw statement, rather than the type of the throw's operand.

Parameters:
t the soot.jimple.ThrowStmt whose exceptions are to be returned.
Returns:
the set of all Throwables.
	return ThrowableSet.Manager.v().;
    }
New to GrepCode? Check out our FAQ X