SSAConversion.CopyPropagationRecord (wala 1.6.5-SNAPSHOT API)

java.lang.Object

com.ibm.wala.cast.ir.ssa.SSAConversion.CopyPropagationRecord

Enclosing class:: SSAConversion

public class SSAConversion.CopyPropagationRecord extends Object

Method Summary

Modifier and Type

Method

Description

boolean

equals(Object o)

Set<SSAConversion.CopyPropagationRecord>

getChildRecords()

int

getInstructionIndex()

Set<Object>

getRenamedUses()

int

getRhs()

int

hashCode()

String

toString()

void

undo()

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details
- getRhs
  
  public int getRhs()
- getInstructionIndex
  
  public int getInstructionIndex()
- getRenamedUses
  
  public Set<Object> getRenamedUses()
- getChildRecords
  
  public Set<SSAConversion.CopyPropagationRecord> getChildRecords()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object
- equals
  
  public boolean equals(Object o)
  
  Overrides:
  
  equals in class Object
- undo
  
  public void undo()