public class JvmMemoryLocationAbstractState extends java.lang.Object implements LatticeAbstractState<JvmMemoryLocationAbstractState>, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>
AbstractState consists of a memory location with a set of sources contributed into its value.| Modifier and Type | Field and Description |
|---|---|
static JvmMemoryLocationAbstractState |
top |
| Constructor and Description |
|---|
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation)
Create a memory location abstract state.
|
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation,
java.util.Set<JvmMemoryLocation> sourceLocations)
Create a memory location abstract state.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addSourceLocation(JvmMemoryLocation sourceLocation)
Adds a source location to the source set.
|
JvmMemoryLocationAbstractState |
copy()
Creates a copy of itself.
|
boolean |
equals(java.lang.Object obj) |
ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> |
getArgNode() |
JvmMemoryLocation |
getMemoryLocation()
Returns the memory location.
|
JvmCfaNode |
getProgramLocation()
Returns the program location.
|
java.util.Set<JvmMemoryLocation> |
getSourceLocations()
Returns the source set.
|
int |
hashCode() |
boolean |
isLessOrEqual(JvmMemoryLocationAbstractState abstractState)
Compares itself to the
abstractState. |
JvmMemoryLocationAbstractState |
join(JvmMemoryLocationAbstractState abstractState)
Computes a join over itself and the
abstractState. |
void |
setProgramLocation(JvmCfaNode programLocation)
Sets the program location.
|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, waitisLessgetPrecision, getStateByNamepublic static final JvmMemoryLocationAbstractState top
public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation)
memoryLocation - a wrapped memory location pointing at an AbstractState encapsulated by the traced analysispublic JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation, java.util.Set<JvmMemoryLocation> sourceLocations)
memoryLocation - a wrapped memory location pointing at an AbstractState encapsulated by the traced analysissourceLocations - source memory locations at CFA predecessors contributing into the value of the memoryLocation pointeepublic JvmMemoryLocationAbstractState join(JvmMemoryLocationAbstractState abstractState)
LatticeAbstractStateabstractState.join in interface LatticeAbstractState<JvmMemoryLocationAbstractState>public boolean isLessOrEqual(JvmMemoryLocationAbstractState abstractState)
LatticeAbstractStateabstractState.isLessOrEqual in interface LatticeAbstractState<JvmMemoryLocationAbstractState>public JvmCfaNode getProgramLocation()
ProgramLocationDependentgetProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>public void setProgramLocation(JvmCfaNode programLocation)
ProgramLocationDependentsetProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>public ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> getArgNode()
public JvmMemoryLocation getMemoryLocation()
public void addSourceLocation(JvmMemoryLocation sourceLocation)
public java.util.Set<JvmMemoryLocation> getSourceLocations()
public JvmMemoryLocationAbstractState copy()
AbstractStatecopy in interface AbstractStatepublic boolean equals(java.lang.Object obj)
equals in interface AbstractStateequals in class java.lang.Objectpublic int hashCode()
hashCode in interface AbstractStatehashCode in class java.lang.Object