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 java.lang.Object

DEFINIING LOCAL PAIR CLASS

Constructor Summary

Constructors

Constructor and Description
LocalPair(Local left, Local right)

Method Summary

Modifier and Type	Method and Description
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(java.lang.Object other)
Local	getLeftLocal()
Local	getRightLocal()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalPair

public LocalPair(Local left,
                 Local right)

Method Detail

getLeftLocal

public Local getLeftLocal()

getRightLocal

public Local getRightLocal()

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object