public interface RTAContextInterpreter extends CHAContextInterpreter
Modifier and Type | Method and Description |
---|---|
Iterator<FieldReference> |
iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
iterateFieldsWritten(CGNode node) |
Iterator<NewSiteReference> |
iterateNewSites(CGNode node) |
boolean |
recordFactoryType(CGNode node,
IClass klass)
record that the "factory" method of a node should be interpreted to allocate a particular class.
|
iterateCallSites, understands
Iterator<NewSiteReference> iterateNewSites(CGNode node)
Iterator<FieldReference> iterateFieldsRead(CGNode node)
Iterator<FieldReference> iterateFieldsWritten(CGNode node)
boolean recordFactoryType(CGNode node, IClass klass)
node
- klass
-