Predicate getter
Holds if f
is a getter member function for v
, in class c
.
See StructLikeClass.getAGetter
.
Import path
import cpp
predicate
getter
(
MemberVariable
v
,
MemberFunction
f
,
Class
c
)