public static class PointsToLibrarySigs.AllocatorOrReceiver extends LibraryPointsToSignature
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
allocatedType |
protected java.util.concurrent.atomic.AtomicReference<AllocSiteNode> |
allocSite |
protected boolean |
isPreciseType |
protected boolean |
mayReturnReceiver |
Constructor and Description |
---|
PointsToLibrarySigs.AllocatorOrReceiver(java.lang.String allocatedType,
boolean mayReturnReceiver) |
PointsToLibrarySigs.AllocatorOrReceiver(java.lang.String allocatedType,
boolean mayReturnReceiver,
boolean isPreciseType) |
Modifier and Type | Method and Description |
---|---|
protected AllocSiteNode |
allocSiteNode(polyglot.types.TypeSystem ts,
polyglot.types.ClassType container,
polyglot.util.Position pos) |
boolean |
process(polyglot.types.CodeInstance caller,
CContext callerContext,
CallSiteNode callSiteNode,
polyglot.types.ProcedureInstance mi,
java.util.List<ReferenceVariableReplica> args,
HContext receiver,
ReferenceVariableReplica result,
java.util.List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode> handlers,
java.util.Map<polyglot.types.Type,ReferenceVariableReplica> procThrows,
StmtRegistrar stmtRegistrar,
PointsToGraph g,
polyglot.util.Position origin,
HeapAbstractionFactory af,
PointsToEngine.StmtAndContext sac) |
protected static polyglot.types.Type |
typeForName(polyglot.types.TypeSystem ts,
java.lang.String s) |
protected final java.lang.String allocatedType
protected final boolean mayReturnReceiver
protected final boolean isPreciseType
protected java.util.concurrent.atomic.AtomicReference<AllocSiteNode> allocSite
public PointsToLibrarySigs.AllocatorOrReceiver(java.lang.String allocatedType, boolean mayReturnReceiver)
public PointsToLibrarySigs.AllocatorOrReceiver(java.lang.String allocatedType, boolean mayReturnReceiver, boolean isPreciseType)
protected static polyglot.types.Type typeForName(polyglot.types.TypeSystem ts, java.lang.String s) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected AllocSiteNode allocSiteNode(polyglot.types.TypeSystem ts, polyglot.types.ClassType container, polyglot.util.Position pos)
public boolean process(polyglot.types.CodeInstance caller, CContext callerContext, CallSiteNode callSiteNode, polyglot.types.ProcedureInstance mi, java.util.List<ReferenceVariableReplica> args, HContext receiver, ReferenceVariableReplica result, java.util.List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode> handlers, java.util.Map<polyglot.types.Type,ReferenceVariableReplica> procThrows, StmtRegistrar stmtRegistrar, PointsToGraph g, polyglot.util.Position origin, HeapAbstractionFactory af, PointsToEngine.StmtAndContext sac) throws polyglot.types.SemanticException
process
in class LibraryPointsToSignature
polyglot.types.SemanticException