public class StmtConstructorCall extends StmtProcedureCall
StmtProcedureCall.ExceptionHandlerPointsToGraphNode
callSiteNode
origin
Constructor and Description |
---|
StmtConstructorCall(ReferenceVariable receiver,
CallSiteNode callSiteNode,
polyglot.types.ConstructorInstance ci,
java.util.List<ReferenceVariable> actuals,
java.util.List<StmtRegistrar.ExceptionHandlerReferenceVariable> exceptionHandlers,
java.util.Map<polyglot.types.Type,ReferenceVariable> procedureThrows,
polyglot.util.Position origin,
polyglot.types.CodeInstance code) |
Modifier and Type | Method and Description |
---|---|
boolean |
process(CContext callerContext,
PointsToGraph g,
StmtRegistrar registrar,
HeapAbstractionFactory af,
PointsToEngine.StmtAndContext sac)
Add appropriate edges to the graph g given the context for the LocalNodes and
ThisNode.
|
java.lang.String |
toString() |
addEdgesForCall, convert, convert, convert2
equals, hashCode
public StmtConstructorCall(ReferenceVariable receiver, CallSiteNode callSiteNode, polyglot.types.ConstructorInstance ci, java.util.List<ReferenceVariable> actuals, java.util.List<StmtRegistrar.ExceptionHandlerReferenceVariable> exceptionHandlers, java.util.Map<polyglot.types.Type,ReferenceVariable> procedureThrows, polyglot.util.Position origin, polyglot.types.CodeInstance code)
public java.lang.String toString()
toString
in class PointsToStmt
public boolean process(CContext callerContext, PointsToGraph g, StmtRegistrar registrar, HeapAbstractionFactory af, PointsToEngine.StmtAndContext sac)
PointsToStmt
process
in class PointsToStmt