envgen.analysis.stat
Class ValueSetPair

java.lang.Object
  |
  +--envgen.analysis.stat.ValueSetPair

public class ValueSetPair

extends java.lang.Object

Representation of data flow information as a single entry in the data flow set. Represents a mapping from an expression to a set of symbolic locations it might refer to in alias analysis, and a mapping from a symbolic location to a set of values it might hold in side-effects analysis.

Field Summary

(package private) soot.Value	left Left hand side of the mapping.
(package private) MultiSet	right Right hand side of the mapping.

Constructor Summary

(package private)

ValueSetPair(soot.Value left, MultiSet right)

Method Summary

(package private) soot.Value	getLeft() Returns the left hand side of the mapping.
(package private) MultiSet	getRight() Returns the right hand side of the mapping.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

left

soot.Value left

Left hand side of the mapping.

right

MultiSet right

Right hand side of the mapping.

Constructor Detail

ValueSetPair

ValueSetPair(soot.Value left,
             MultiSet right)

Method Detail

getLeft

soot.Value getLeft()

Returns the left hand side of the mapping.

getRight

MultiSet getRight()

Returns the right hand side of the mapping.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object