clang  8.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)=default
 
void cloneTo (void *Dest) const override
 
- Protected Member Functions inherited from clang::CXXInstanceCall
 CXXInstanceCall (const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXInstanceCall (const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXInstanceCall (const CXXInstanceCall &Other)=default
 
void getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override
 

Friends

class CallEventManager
 

Detailed Description

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

Example: obj.fun()

Definition at line 706 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 710 of file CallEvent.h.

◆ CXXMemberCall() [2/2]

clang::CXXMemberCall::CXXMemberCall ( const CXXMemberCall Other)
protecteddefault

Member Function Documentation

◆ classof()

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

Definition at line 738 of file CallEvent.h.

References clang::ento::CE_CXXMember.

◆ cloneTo()

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

Definition at line 715 of file CallEvent.h.

◆ getArgExpr()

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

Definition at line 728 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 805 of file CallEvent.cpp.

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

◆ getKind()

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

Definition at line 736 of file CallEvent.h.

References clang::ento::CE_CXXMember.

◆ getNumArgs()

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

Definition at line 722 of file CallEvent.h.

◆ getOriginExpr()

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

Definition at line 718 of file CallEvent.h.

◆ getRuntimeDefinition()

RuntimeDefinition CXXMemberCall::getRuntimeDefinition ( ) const
override

Friends And Related Function Documentation

◆ CallEventManager

friend class CallEventManager
friend

Definition at line 707 of file CallEvent.h.


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