soot.dava.toolkits.base.AST.structuredAnalysis
Class ReachingCopies.LocalPair

java.lang.Object
  soot.dava.toolkits.base.AST.structuredAnalysis.ReachingCopies.LocalPair

Enclosing class:

ReachingCopies

public class ReachingCopies.LocalPair
extends Object

DEFINIING LOCAL PAIR CLASS

Constructor Summary

ReachingCopies.LocalPair(Local left, Local right)

Method Summary

boolean	contains(Local local) Method checks whether local occurs in the left or right side of the localpair different semantics than the usual contains method which checks something in a list
boolean	equals(Object other)
Local	getLeftLocal()
Local	getRightLocal()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachingCopies.LocalPair

public ReachingCopies.LocalPair(Local left,
                                Local right)

Method Detail

getLeftLocal

public Local getLeftLocal()

getRightLocal

public Local getRightLocal()

equals

public boolean equals(Object other)

Overrides:

equals in class Object

contains

public boolean contains(Local local)

Method checks whether local occurs in the left or right side of the localpair different semantics than the usual contains method which checks something in a list

toString

public String toString()

Overrides:

toString in class Object