public final class HeapContext extends java.lang.Object implements DeepImmutable
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Checks whether the given heap context is equal to this one.
|
static java.util.Set<ObjectLabel> |
extractTopLevelObjectLabels(HeapContext context)
Utility function for extracting object labels
|
ContextArguments |
getFunctionArguments()
Returns the values for the context arguments of this heap context, or null if none.
|
int |
hashCode() |
static HeapContext |
make(ContextArguments funargs,
java.util.Map<java.lang.String,Value> concreteSemanticValueQualifiers)
Constructs a new heap context object.
|
java.lang.String |
toString()
Produces a string representation of this heap context.
|
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public static java.util.Set<ObjectLabel> extractTopLevelObjectLabels(HeapContext context)
public ContextArguments getFunctionArguments()
public int hashCode()
hashCode
in class java.lang.Object
public static HeapContext make(ContextArguments funargs, java.util.Map<java.lang.String,Value> concreteSemanticValueQualifiers)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University