Member predicate Parameter::isReadonlyRef
Holds if this parameter if a ref readonly parameter.
For example, p
is a ref readonly parameter in
void M(ref readonly int p) {
...
}
predicate isReadonlyRef()
Holds if this parameter if a ref readonly parameter.
For example, p
is a ref readonly parameter in
void M(ref readonly int p) {
...
}
predicate isReadonlyRef()