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