|
LCS-2016-015a |
|
6 |
|
21-Mar-2017 |
|
Voting |
|
Jim Lewis |
|
Main.JimLewis |
|
ReportCallingPath Current File or Line |
|
history |
|
Current File or Current Line |
package ENV is procedure STOP (STATUS: INTEGER); procedure STOP; procedure FINISH (STATUS: INTEGER); procedure FINISH; function RESOLUTION_LIMIT return DELAY_LENGTH; [... LCS-2016-011 ...] impure function FILE_NAME return LINE ; impure function FILE_NAME return STRING ; impure function FILE_PATH return LINE ; impure function FILE_PATH return STRING ; impure function FILE_LINE return POSITIVE ; impure function FILE_LINE return STRING ; [... LCS-2016-006c ...] end package ENV;