forge.dataflow
Class BranchData<D>

java.lang.Object
  forge.dataflow.BranchData<D>

public final class BranchData<D>
extends java.lang.Object

Output data from a transfer function on a branch stmt in dataflow analysis.

Author:

Greg Dennis (gdennis@mit.edu)

Constructor Summary

BranchData(D data)
Constructs a branch data where the then and else data are the same.

BranchData(D thenData, D elseData)
Constructs a new branch data with the specified then and else data.

Method Summary

D	elseData() Returns the else data.
D	thenData() Returns the then data.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BranchData

public BranchData(D thenData,
                  D elseData)

Constructs a new branch data with the specified then and else data.

BranchData

public BranchData(D data)

Constructs a branch data where the then and else data are the same.

Method Detail

thenData

public D thenData()

Returns the then data.

elseData

public D elseData()

Returns the else data.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object