public abstract class LibraryPointsToSignature
extends java.lang.Object
Constructor and Description |
---|
LibraryPointsToSignature() |
Modifier and Type | Method and Description |
---|---|
abstract 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 abstract 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
polyglot.types.SemanticException