Assertion: parameter | /r/HasProperty | modified inside the procedure
Facets:
Source sentences:
text: When an OUT or IN OUT parameter is modified inside the procedure the procedure actually only modifies a copy of the parameter value.