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 70402 2014-10-23 00:52:20Z cxh $

Author:

Steve Neuendorffer

Accepted Rating:

Red (cxh)

Proposed Rating:

Red (cxh)

Method Summary

Modifier and Type	Method and Description
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.