The lock on the data-type of input parameters is set as specified. A \b true value indicates that future analysis will not change the number of input parameters or their data-type. Zero parameters or \e void 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