The lock of the data-type of the return value is set as specified. A \b true value indicates that future analysis will not change the presence of or the data-type of the return value. A \e void return value can be locked. \param val is \b true to indicate a lock, \b false for unlocked
source not stored for this graph (policy: none)
no test coverage detected