Member predicate MemoryLocation0::isReadOnly
Holds if the location cannot be overwritten except by definition of a MemoryLocation for
which def.canDefineReadOnly() holds.
predicate isReadOnly()Holds if the location cannot be overwritten except by definition of a MemoryLocation for
which def.canDefineReadOnly() holds.
predicate isReadOnly()