accrue.analysis.pointer

Class PointsToLibrarySigs.ReturnsField

java.lang.Object

accrue.analysis.pointer.LibraryPointsToSignature

accrue.analysis.pointer.PointsToLibrarySigs.ReturnsField

Enclosing class:

PointsToLibrarySigs

public static class PointsToLibrarySigs.ReturnsField
extends LibraryPointsToSignature

Constructor Summary

Constructors

Constructor and Description
PointsToLibrarySigs.ReturnsField(java.lang.String fieldname, java.lang.String fieldTypeName)

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointsToLibrarySigs.ReturnsField

public PointsToLibrarySigs.ReturnsField(java.lang.String fieldname,
                                java.lang.String fieldTypeName)

Method Detail

process

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

Specified by:

process in class LibraryPointsToSignature

Throws:

polyglot.types.SemanticException