class ObjReadsWrites
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ObjReadsWrites.R_Status
Read status of a property in the abstract object.
|
static class |
ObjReadsWrites.W_Status
Write status of a property in the abstract object.
|
Constructor and Description |
---|
ObjReadsWrites()
Creates a new empty read/write information object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Set<AbstractNode> |
getDefaultWriteLocations()
Returns the set of nodes where an unknown write may have occurred.
|
java.util.Set<AbstractNode> |
getDefiniteWriteLocations(PKey prop)
Returns the set of locations where the given property is definitely written.
|
java.util.Set<PKey> |
getProperties()
Get all properties that are read or written (definitely/maybe),
ignoring unknown reads/writes.
|
ObjReadsWrites.R_Status |
getReadStatus(PKey prop)
Returns the read status of the given property.
|
ObjReadsWrites.W_Status |
getWriteStatus(PKey prop)
Returns the write status of the given property.
|
int |
hashCode() |
boolean |
isSomePropertyRead()
Checks whether some property is maybe read.
|
boolean |
isUnknownWritten()
Checks whether an unknown property has been written.
|
void |
readDefinite(PKey prop)
Indicates that the given property has definitely been read.
|
void |
readMaybe(PKey prop)
Indicate that the given property has maybe been read.
|
void |
readUnknown()
Indicates that some unknown property maybe has been read.
|
java.lang.String |
toString() |
void |
writeDefinite(PKey prop,
AbstractNode write_node)
Indicates that the given property has definitely been read.
|
void |
writeMaybe(PKey prop)
Indicates that the given property has maybe been read.
|
void |
writeUnknown(AbstractNode write_node)
Indicates that some unknown property has been written at the given node.
|
public ObjReadsWrites()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.util.Set<AbstractNode> getDefaultWriteLocations()
public java.util.Set<AbstractNode> getDefiniteWriteLocations(PKey prop)
public java.util.Set<PKey> getProperties()
public ObjReadsWrites.R_Status getReadStatus(PKey prop)
public ObjReadsWrites.W_Status getWriteStatus(PKey prop)
public int hashCode()
hashCode
in class java.lang.Object
public boolean isSomePropertyRead()
public boolean isUnknownWritten()
public void readDefinite(PKey prop)
public void readMaybe(PKey prop)
public void readUnknown()
public java.lang.String toString()
toString
in class java.lang.Object
public void writeDefinite(PKey prop, AbstractNode write_node)
public void writeMaybe(PKey prop)
public void writeUnknown(AbstractNode write_node)
Copyright © 2009-2019 Aarhus University