Classes in joeq.Compiler.Analysis.Primitive that implement PrimitiveMethodSummary.HeapObject |
static class |
PrimitiveMethodSummary.ConcreteObjectNode
A ConcreteObjectNode refers to an object that we discovered through reflection. |
static class |
PrimitiveMethodSummary.ConcreteTypeNode
A ConcreteTypeNode refers to an object with a concrete type. |
static class |
PrimitiveMethodSummary.PlaceholderNode
A PlaceholderNode is used to signify an object that is out-of-scope. |
static class |
PrimitiveMethodSummary.UnknownTypeNode
A UnknownTypeNode refers to an object with an unknown type. |