qtil
advanced-security/qtil-csharp 0.0.3
Search

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