|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectDataFlow.Item
fabil.visit.ReadWriteChecker.DataFlowItem
protected static class ReadWriteChecker.DataFlowItem
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 |
---|
public static final ReadWriteChecker.DataFlowItem BOTTOM
public static final ReadWriteChecker.DataFlowItem BOTTOM_C
public final java.util.Set<LocalInstance> read
public final java.util.Set<LocalInstance> written
Constructor Detail |
---|
public ReadWriteChecker.DataFlowItem(ReadWriteChecker.DataFlowItem i)
Method Detail |
---|
public ReadWriteChecker.DataFlowItem meet(ReadWriteChecker.DataFlowItem i)
public ReadWriteChecker.DataFlowItem reside(LocalInstance l)
public ReadWriteChecker.DataFlowItem read(LocalInstance l)
public ReadWriteChecker.DataFlowItem write(LocalInstance l)
public ReadWriteChecker.DataFlowItem alloc(LocalInstance l)
public ReadWriteChecker.DataFlowItem all(LocalInstance l)
public ReadWriteChecker.DataFlowItem copy(LocalInstance to, LocalInstance from, ReadWriteChecker.DataFlowItem in)
public ReadWriteChecker.DataFlowItem kill(LocalInstance l)
public ReadWriteChecker.DataFlowItem atomic()
public ReadWriteChecker.State state(LocalInstance l)
public boolean equals(java.lang.Object i)
public int hashCode()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |