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