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()