fabil.visit

Class ReadWriteChecker.DataFlowItem

java.lang.Object

DataFlow.Item

fabil.visit.ReadWriteChecker.DataFlowItem

Enclosing class:

ReadWriteChecker

protected static class ReadWriteChecker.DataFlowItem
extends DataFlow.Item

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
DataFlowItem(ReadWriteChecker.DataFlowItem i)

Method Summary

Modifier and Type	Method and Description
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

DataFlowItem

public 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()