Member predicate Field :: isReadOnly
Holds if this field is readonly
.
predicate
isReadOnly
(
)