clang  6.0.0svn
Public Member Functions | Static Public Member Functions | Protected Member Functions | Friends | List of all members
clang::CXXMemberCall Class Reference

Represents a non-static C++ member function call. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"

Inheritance diagram for clang::CXXMemberCall:
Inheritance graph
[legend]
Collaboration diagram for clang::CXXMemberCall:
Collaboration graph
[legend]

Public Member Functions

virtual const CXXMemberCallExprgetOriginExpr () const
 
unsigned getNumArgs () const override
 
const ExprgetArgExpr (unsigned Index) const override
 
const ExprgetCXXThisExpr () const override
 Returns the expression representing the implicit 'this' object. More...
 
RuntimeDefinition getRuntimeDefinition () const override
 
Kind getKind () const override
 
- Public Member Functions inherited from clang::CXXInstanceCall
virtual SVal getCXXThisVal () const
 Returns the value of the implicit 'this' object. More...
 
const FunctionDeclgetDecl () const override
 
RuntimeDefinition getRuntimeDefinition () const override
 
void getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override
 

Static Public Member Functions

static bool classof (const CallEvent *CA)
 
- Static Public Member Functions inherited from clang::CXXInstanceCall
static bool classof (const CallEvent *CA)
 

Protected Member Functions

 CXXMemberCall (const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXMemberCall (const CXXMemberCall &Other)
 
void cloneTo (void *Dest) const override
 
- Protected Member Functions inherited from clang::CXXInstanceCall
void getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override
 
 CXXInstanceCall (const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXInstanceCall (const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXInstanceCall (const CXXInstanceCall &Other)
 

Friends

class CallEventManager
 

Detailed Description

Represents a non-static C++ member function call.

Example: obj.fun()

Definition at line 637 of file CallEvent.h.

Constructor & Destructor Documentation

◆ CXXMemberCall() [1/2]

clang::CXXMemberCall::CXXMemberCall ( const CXXMemberCallExpr CE,
ProgramStateRef  St,
const LocationContext LCtx 
)
inlineprotected

Definition at line 641 of file CallEvent.h.

◆ CXXMemberCall() [2/2]

clang::CXXMemberCall::CXXMemberCall ( const CXXMemberCall Other)
inlineprotected

Definition at line 645 of file CallEvent.h.

Member Function Documentation

◆ classof()

static bool clang::CXXMemberCall::classof ( const CallEvent CA)
inlinestatic

Definition at line 669 of file CallEvent.h.

References clang::ento::CE_CXXMember.

◆ cloneTo()

void clang::CXXMemberCall::cloneTo ( void *  Dest) const
inlineoverrideprotected

Definition at line 646 of file CallEvent.h.

◆ getArgExpr()

const Expr* clang::CXXMemberCall::getArgExpr ( unsigned  Index) const
inlineoverride

Definition at line 659 of file CallEvent.h.

◆ getCXXThisExpr()

const Expr * CXXMemberCall::getCXXThisExpr ( ) const
overridevirtual

Returns the expression representing the implicit 'this' object.

Reimplemented from clang::CXXInstanceCall.

Definition at line 600 of file CallEvent.cpp.

References clang::ento::CallEvent::getOriginExpr().

◆ getKind()

Kind clang::CXXMemberCall::getKind ( ) const
inlineoverride

Definition at line 667 of file CallEvent.h.

References clang::ento::CE_CXXMember.

◆ getNumArgs()

unsigned clang::CXXMemberCall::getNumArgs ( ) const
inlineoverride

Definition at line 653 of file CallEvent.h.

◆ getOriginExpr()

virtual const CXXMemberCallExpr* clang::CXXMemberCall::getOriginExpr ( ) const
inlinevirtual

Definition at line 649 of file CallEvent.h.

◆ getRuntimeDefinition()

RuntimeDefinition CXXMemberCall::getRuntimeDefinition ( ) const
override

Friends And Related Function Documentation

◆ CallEventManager

friend class CallEventManager
friend

Definition at line 638 of file CallEvent.h.


The documentation for this class was generated from the following files: