ptolemy.copernicus.kernel
Class SideEffectFreeInvocationRemover

java.lang.Object
  soot.Transformer
      soot.SceneTransformer
          ptolemy.copernicus.kernel.SideEffectFreeInvocationRemover

public class SideEffectFreeInvocationRemover
extends soot.SceneTransformer

Since:

Ptolemy II 4.0

Version:

$Id: SideEffectFreeInvocationRemover.java,v 1.39 2006/10/25 01:37:01 cxh Exp $

Author:

Steve Neuendorffer

Accepted Rating:

Red (cxh)

Proposed Rating:

Red (cxh)

Method Summary

static void	_removeSideEffectFreeMethodCalls(soot.SootMethod method, soot.jimple.toolkits.callgraph.CallGraph callGraph, SideEffectAnalysis analysis) Remove any calls to other methods from the given method that have no side effects and whose return value is dead.
java.lang.String	getDeclaredOptions()
java.lang.String	getDefaultOptions()
protected void	internalTransform(java.lang.String phaseName, java.util.Map options)
static SideEffectFreeInvocationRemover	v()

Methods inherited from class soot.SceneTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

v

public static SideEffectFreeInvocationRemover v()

getDefaultOptions

public java.lang.String getDefaultOptions()

getDeclaredOptions

public java.lang.String getDeclaredOptions()

internalTransform

protected void internalTransform(java.lang.String phaseName,
                                 java.util.Map options)

Specified by:

internalTransform in class soot.SceneTransformer

_removeSideEffectFreeMethodCalls

public static void _removeSideEffectFreeMethodCalls(soot.SootMethod method,
                                                    soot.jimple.toolkits.callgraph.CallGraph callGraph,
                                                    SideEffectAnalysis analysis)

Remove any calls to other methods from the given method that have no side effects and whose return value is dead. A method has no side effects if it does not assign the value to any fields.