public static class PointsToLibrarySigs.AssignsArgToField extends LibraryPointsToSignature
Constructor and Description |
---|
PointsToLibrarySigs.AssignsArgToField(java.lang.String fieldname,
java.lang.String fieldTypeName,
int argIndex) |
Modifier and Type | Method and Description |
---|---|
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) |
public PointsToLibrarySigs.AssignsArgToField(java.lang.String fieldname, java.lang.String fieldTypeName, int argIndex)
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