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