File: except.ads

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (15 lines) | stat: -rw-r--r-- 444 bytes parent folder | download | duplicates (16) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
--  Basic exceptions used throughout SDC

package Except is

   Internal_Error : exception;
   --  Raised when an internal error is detected in one of SDC's modules.

   Exit_SDC       : exception;
   --  Should be raised to have a clean exit from SDC.

   User_Error     : exception;
   --  Generic exception raised upon encountering a user input error.
   --  This exception is handled during lexical analysis in package Tokens.

end Except;