public static class PointsToLibrarySigs.Singleton extends LibraryPointsToSignature
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
id
The identifier for the singleton.
|
protected boolean |
isPreciseType |
protected static java.util.Map<java.lang.String,AllocSiteNode> |
singletons |
protected polyglot.types.Type |
type |
protected java.lang.String |
typeName
The type of the abstract object.
|
Constructor and Description |
---|
PointsToLibrarySigs.Singleton(java.lang.String id,
java.lang.String typeName,
boolean isPreciseType) |
PointsToLibrarySigs.Singleton(java.lang.String id,
polyglot.types.Type type,
boolean isPreciseType) |
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) |
protected static java.util.Map<java.lang.String,AllocSiteNode> singletons
protected final java.lang.String id
protected java.lang.String typeName
protected polyglot.types.Type type
protected boolean isPreciseType
public PointsToLibrarySigs.Singleton(java.lang.String id, polyglot.types.Type type, boolean isPreciseType)
public PointsToLibrarySigs.Singleton(java.lang.String id, java.lang.String typeName, boolean isPreciseType)
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