index 97c6b3e569837bc50cd58638a8484bd0e05fe5e4..4cbeb5034a515d9fd03c2c49645099b87889eea4 100644 (file)
| 301: msg := 'implicit type cast'
| 302: msg := 'guarded variable can be side-effected'
| 303: msg := 'open array (or pointer to array) containing pointers'
- | 900: msg := 'never used'
- | 901: msg := 'never set'
- | 902: msg := 'used before set'
- | 903: msg := 'set but never used'
- | 904: msg := 'used as varpar, possibly not set'
- | 905: msg := 'also declared in outer scope'
- | 906: msg := 'access/assignment to intermediate'
- | 907: msg := 'redefinition'
- | 908: msg := 'new definition'
- | 909: msg := 'statement after RETURN/EXIT'
- | 910: msg := 'for loop variable set'
- | 911: msg := 'implied type guard'
- | 912: msg := 'superfluous type guard'
- | 913: msg := 'call might depend on evaluation sequence of params.'
- | 930: msg := 'superfluous semicolon'
| 401: msg := 'bytecode restriction: no structured assignment'
| 402: msg := 'bytecode restriction: no procedure types'
| 403: msg := 'bytecode restriction: no nested procedures'
| 411: msg := 'no proofable return'
| 412: msg := 'illegal constructor call'
| 413: msg := 'missing constructor call'
+ | 501: msg := 'user defined error'
(* COM-related
| 700: msg := '700'
| 701: msg := '701'
| 777: msg := 'register not released'
| 778: msg := 'float register not released'
| 779: msg := 'float register overallocated'
+ | 900: msg := 'never used'
+ | 901: msg := 'never set'
+ | 902: msg := 'used before set'
+ | 903: msg := 'set but never used'
+ | 904: msg := 'used as varpar, possibly not set'
+ | 905: msg := 'also declared in outer scope'
+ | 906: msg := 'access/assignment to intermediate'
+ | 907: msg := 'redefinition'
+ | 908: msg := 'new definition'
+ | 909: msg := 'statement after RETURN/EXIT'
+ | 910: msg := 'for loop variable set'
+ | 911: msg := 'implied type guard'
+ | 912: msg := 'superfluous type guard'
+ | 913: msg := 'call might depend on evaluation sequence of params.'
+ | 930: msg := 'superfluous semicolon'
ELSE Strings.IntToString(err, msg)
END
END GetErrorMsg;