public class ReadWriteSet extends java.lang.Object implements Ordered<ReadWriteSet>
Modifier and Type | Field and Description |
---|---|
static ReadWriteSet |
EMPTY
Empty read and write sets
|
Constructor and Description |
---|
ReadWriteSet(java.util.Set<AbstractLocation> readSet,
java.util.Set<AbstractLocation> writeSet)
Construct from the raw sets
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
leq(ReadWriteSet o)
Is the given object less than or equal to this one
|
java.util.Set<AbstractLocation> |
readSet()
get the set of read locations
|
java.lang.String |
toString() |
ReadWriteSet |
upperBound(ReadWriteSet o)
Compute the upper bound of
this and o |
ReadWriteSet |
widen(ReadWriteSet o)
Compute the widening operator on
this and o . |
java.util.Set<AbstractLocation> |
writeSet()
Get the set of written locations
|
public static final ReadWriteSet EMPTY
public ReadWriteSet(java.util.Set<AbstractLocation> readSet, java.util.Set<AbstractLocation> writeSet)
readSet
- Set of locations that were readwriteSet
- Set of locations that were writtenpublic boolean leq(ReadWriteSet o)
Ordered
leq
in interface Ordered<ReadWriteSet>
o
- object to compare to this
o
public ReadWriteSet upperBound(ReadWriteSet o)
Ordered
this
and o
upperBound
in interface Ordered<ReadWriteSet>
o
- object to upper bound with thisthis
with o
public ReadWriteSet widen(ReadWriteSet o)
Ordered
this
and o
. A
widening operator is an upper bound where all ascending chains eventually
stabilize.widen
in interface Ordered<ReadWriteSet>
o
- object to widen with this
this
and o
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.util.Set<AbstractLocation> readSet()
public java.util.Set<AbstractLocation> writeSet()
public java.lang.String toString()
toString
in class java.lang.Object