Would you like to copy the permanent link to your clipboard?
Permanent link:
https://jazz.net/forum/questions/256946/read-only-attributes-type-and-state-precondition-working/256949