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)
Holds if f
is a getter member function for v
, in class c
.
See StructLikeClass.getAGetter
.
import cpp
predicate getter(MemberVariable v, MemberFunction f, Class c)