de.rwth.i2.attestor.semantics.util

Class DeadVariableEliminator

java.lang.Object

de.rwth.i2.attestor.semantics.util.DeadVariableEliminator

public class DeadVariableEliminator
extends Object

An auxiliary class to remove dead variables from a given executable.

Constructor Summary

Constructors

Constructor and Description
DeadVariableEliminator()

Method Summary

Modifier and Type	Method and Description
static void	removeDeadVariables(SceneObject sceneObject, String name, ProgramState programState, Set<String> liveVariables) Removes all dead variables from a given expression.

Methods inherited from class java.lang.Object

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

Constructor Detail

DeadVariableEliminator

public DeadVariableEliminator()

Method Detail

removeDeadVariables

public static void removeDeadVariables(SceneObject sceneObject,
                                       String name,
                                       ProgramState programState,
                                       Set<String> liveVariables)

Removes all dead variables from a given expression.

Parameters:

sceneObject - Object in the current scene.

name - A string encoding of the expression whose dead variables should be removed.

programState - The programState in which dead variables should be removed.

liveVariables - A list of live variables for the expression encoded by name.