fabil.visit
Class ReadWriteChecker.DataFlowItem

java.lang.Object
  extended by DataFlow.Item
      extended by fabil.visit.ReadWriteChecker.DataFlowItem
Enclosing class:
ReadWriteChecker

protected static class ReadWriteChecker.DataFlowItem
extends DataFlow.Item


Field Summary
static ReadWriteChecker.DataFlowItem BOTTOM
          Bottom item.
static ReadWriteChecker.DataFlowItem BOTTOM_C
          Initial item for constructors.
 java.util.Set<LocalInstance> read
           
 java.util.Set<LocalInstance> written
           
 
Constructor Summary
ReadWriteChecker.DataFlowItem(ReadWriteChecker.DataFlowItem i)
           
 
Method Summary
 ReadWriteChecker.DataFlowItem all(LocalInstance l)
          Destructive add of local instance to resident, read, and written.
 ReadWriteChecker.DataFlowItem alloc(LocalInstance l)
          Destructive update of local instance that is assigned a new object.
 ReadWriteChecker.DataFlowItem atomic()
          Destructive update on entering an atomic block.
 ReadWriteChecker.DataFlowItem copy(LocalInstance to, LocalInstance from, ReadWriteChecker.DataFlowItem in)
          Destructive update for a copy operation.
 boolean equals(java.lang.Object i)
           
 int hashCode()
           
 ReadWriteChecker.DataFlowItem kill(LocalInstance l)
          Destructive kill of local instance l.
 ReadWriteChecker.DataFlowItem meet(ReadWriteChecker.DataFlowItem i)
          Destructive meet of this item with another.
 ReadWriteChecker.DataFlowItem read(LocalInstance l)
          Destructive add of a local instance to read.
 ReadWriteChecker.DataFlowItem reside(LocalInstance l)
          Destructive add of a local instance to resident.
 ReadWriteChecker.State state(LocalInstance l)
          Returns a state object describing local instance l.
 ReadWriteChecker.DataFlowItem write(LocalInstance l)
          Destructive add of a local instance to written.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BOTTOM

public static final ReadWriteChecker.DataFlowItem BOTTOM
Bottom item. No reads or writes, only 'this' resident.


BOTTOM_C

public static final ReadWriteChecker.DataFlowItem BOTTOM_C
Initial item for constructors. 'this' resident, read, and written.


read

public final java.util.Set<LocalInstance> read

written

public final java.util.Set<LocalInstance> written
Constructor Detail

ReadWriteChecker.DataFlowItem

public ReadWriteChecker.DataFlowItem(ReadWriteChecker.DataFlowItem i)
Method Detail

meet

public ReadWriteChecker.DataFlowItem meet(ReadWriteChecker.DataFlowItem i)
Destructive meet of this item with another.


reside

public ReadWriteChecker.DataFlowItem reside(LocalInstance l)
Destructive add of a local instance to resident.


read

public ReadWriteChecker.DataFlowItem read(LocalInstance l)
Destructive add of a local instance to read.


write

public ReadWriteChecker.DataFlowItem write(LocalInstance l)
Destructive add of a local instance to written.


alloc

public ReadWriteChecker.DataFlowItem alloc(LocalInstance l)
Destructive update of local instance that is assigned a new object.


all

public ReadWriteChecker.DataFlowItem all(LocalInstance l)
Destructive add of local instance to resident, read, and written.


copy

public ReadWriteChecker.DataFlowItem copy(LocalInstance to,
                                          LocalInstance from,
                                          ReadWriteChecker.DataFlowItem in)
Destructive update for a copy operation. For the statement to = from, we use information about from to set the state of to.


kill

public ReadWriteChecker.DataFlowItem kill(LocalInstance l)
Destructive kill of local instance l.


atomic

public ReadWriteChecker.DataFlowItem atomic()
Destructive update on entering an atomic block. Removes all writes.


state

public ReadWriteChecker.State state(LocalInstance l)
Returns a state object describing local instance l.


equals

public boolean equals(java.lang.Object i)

hashCode

public int hashCode()