| Copyright | (c) 2008 Benedikt Huber Manuel M. T. Chakravarty |
|---|---|
| License | BSD-style |
| Maintainer | benedikt.huber@gmail.com |
| Stability | experimental |
| Portability | ghc |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Language.C.Data.Error
Description
Base type for errors occurring in parsing, analysing and pretty-printing. With ideas from Simon Marlow's "An extensible dynamically-typed hierarchy of execeptions [2006]"
Synopsis
- data ErrorLevel
- isHardError :: Error ex => ex -> Bool
- class (Typeable e, Show e) => Error e where
- errorInfo :: e -> ErrorInfo
- toError :: e -> CError
- fromError :: CError -> Maybe e
- changeErrorLevel :: e -> ErrorLevel -> e
- errorPos :: Error e => e -> Position
- errorLevel :: Error e => e -> ErrorLevel
- errorMsgs :: Error e => e -> [String]
- data CError = forall err.Error err => CError err
- data ErrorInfo = ErrorInfo ErrorLevel Position [String]
- showError :: Error e => String -> e -> String
- showErrorInfo :: String -> ErrorInfo -> String
- mkErrorInfo :: ErrorLevel -> String -> NodeInfo -> ErrorInfo
- data UnsupportedFeature
- unsupportedFeature :: Pos a => String -> a -> UnsupportedFeature
- unsupportedFeature_ :: String -> UnsupportedFeature
- data UserError
- userErr :: String -> UserError
- internalErr :: String -> a
Severity Level
data ErrorLevel Source #
Error levels (severity)
Constructors
| LevelWarn | |
| LevelError | |
| LevelFatal |
Instances
| Show ErrorLevel Source # | |
Defined in Language.C.Data.Error Methods showsPrec :: Int -> ErrorLevel -> ShowS # show :: ErrorLevel -> String # showList :: [ErrorLevel] -> ShowS # | |
| Eq ErrorLevel Source # | |
Defined in Language.C.Data.Error | |
| Ord ErrorLevel Source # | |
Defined in Language.C.Data.Error Methods compare :: ErrorLevel -> ErrorLevel -> Ordering # (<) :: ErrorLevel -> ErrorLevel -> Bool # (<=) :: ErrorLevel -> ErrorLevel -> Bool # (>) :: ErrorLevel -> ErrorLevel -> Bool # (>=) :: ErrorLevel -> ErrorLevel -> Bool # max :: ErrorLevel -> ErrorLevel -> ErrorLevel # min :: ErrorLevel -> ErrorLevel -> ErrorLevel # | |
isHardError :: Error ex => ex -> Bool Source #
return True when the given error makes it impossible to continue
analysis or compilation.
Error class
class (Typeable e, Show e) => Error e where Source #
errors in Language.C are instance of Error
Minimal complete definition
Methods
errorInfo :: e -> ErrorInfo Source #
obtain source location etc. of an error
toError :: e -> CError Source #
wrap error in CError
fromError :: CError -> Maybe e Source #
try to cast a generic CError to the specific error type
changeErrorLevel :: e -> ErrorLevel -> e Source #
modify the error level
Instances
errorLevel :: Error e => e -> ErrorLevel Source #
severity level of an Error
Error supertype
Infos attached to errors
information attached to every error in Language.C
Constructors
| ErrorInfo ErrorLevel Position [String] |
showErrorInfo :: String -> ErrorInfo -> String Source #
converts an error into a string using a fixed format
- either the lines of the long error message or the short message has to be non-empty
- the format is
<fname>:<row>: (column <col>) [<err lvl>]
>>> <line_1>
<line_2>
...
<line_n>mkErrorInfo :: ErrorLevel -> String -> NodeInfo -> ErrorInfo Source #
Default error types
data UnsupportedFeature Source #
error raised if a operation requires an unsupported or not yet implemented feature.
Instances
| Show UnsupportedFeature Source # | |
Defined in Language.C.Data.Error Methods showsPrec :: Int -> UnsupportedFeature -> ShowS # show :: UnsupportedFeature -> String # showList :: [UnsupportedFeature] -> ShowS # | |
| Error UnsupportedFeature Source # | |
Defined in Language.C.Data.Error Methods errorInfo :: UnsupportedFeature -> ErrorInfo Source # toError :: UnsupportedFeature -> CError Source # fromError :: CError -> Maybe UnsupportedFeature Source # changeErrorLevel :: UnsupportedFeature -> ErrorLevel -> UnsupportedFeature Source # | |
unsupportedFeature :: Pos a => String -> a -> UnsupportedFeature Source #
unspecified error raised by the user (in case the user does not want to define her own error types).
Raising internal errors
internalErr :: String -> a Source #
raise a fatal internal error; message may have multiple lines