public abstract class StmtProcedureCall extends PointsToStmt
Modifier and Type | Class and Description |
---|---|
static class |
StmtProcedureCall.ExceptionHandlerPointsToGraphNode |
Modifier and Type | Field and Description |
---|---|
protected CallSiteNode |
callSiteNode |
origin
Constructor and Description |
---|
StmtProcedureCall(polyglot.util.Position origin,
polyglot.types.CodeInstance code,
CallSiteNode callSiteNode) |
Modifier and Type | Method and Description |
---|---|
protected static boolean |
addEdgesForCall(polyglot.types.CodeInstance caller,
CContext callerContext,
CallSiteNode callSiteNode,
StmtRegistrar registrar,
PointsToGraph g,
StmtRegistrar.CodeInfo calleeProcInfo,
HContext receiver,
java.util.List<ReferenceVariableReplica> args,
ReferenceVariableReplica l,
java.util.List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode> handlers,
java.util.Map<polyglot.types.Type,ReferenceVariableReplica> procThrows,
polyglot.util.Position origin,
HeapAbstractionFactory af,
PointsToEngine.StmtAndContext sac) |
protected static java.util.List<ReferenceVariableReplica> |
convert(CContext callerContext,
java.util.List<ReferenceVariable> l,
HeapAbstractionFactory af) |
protected static java.util.Map<polyglot.types.Type,ReferenceVariableReplica> |
convert(CContext callerContext,
java.util.Map<polyglot.types.Type,ReferenceVariable> m,
HeapAbstractionFactory af) |
protected static java.util.List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode> |
convert2(CContext callerContext,
java.util.List<StmtRegistrar.ExceptionHandlerReferenceVariable> l,
HeapAbstractionFactory af) |
equals, hashCode, process, toString
protected final CallSiteNode callSiteNode
public StmtProcedureCall(polyglot.util.Position origin, polyglot.types.CodeInstance code, CallSiteNode callSiteNode)
protected static boolean addEdgesForCall(polyglot.types.CodeInstance caller, CContext callerContext, CallSiteNode callSiteNode, StmtRegistrar registrar, PointsToGraph g, StmtRegistrar.CodeInfo calleeProcInfo, HContext receiver, java.util.List<ReferenceVariableReplica> args, ReferenceVariableReplica l, java.util.List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode> handlers, java.util.Map<polyglot.types.Type,ReferenceVariableReplica> procThrows, polyglot.util.Position origin, HeapAbstractionFactory af, PointsToEngine.StmtAndContext sac)
protected static java.util.List<ReferenceVariableReplica> convert(CContext callerContext, java.util.List<ReferenceVariable> l, HeapAbstractionFactory af)
protected static java.util.List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode> convert2(CContext callerContext, java.util.List<StmtRegistrar.ExceptionHandlerReferenceVariable> l, HeapAbstractionFactory af)
protected static java.util.Map<polyglot.types.Type,ReferenceVariableReplica> convert(CContext callerContext, java.util.Map<polyglot.types.Type,ReferenceVariable> m, HeapAbstractionFactory af)