Safe Haskell	None
Language	Haskell2010

Tokstyle.C.Env

Documentation

Constructors

Instances details

Show DiagnosticLevel
Instance details Defined in Language.Cimple.Diagnostics Methods showsPrec :: Int -> DiagnosticLevel -> ShowS # show :: DiagnosticLevel -> String # showList :: [DiagnosticLevel] -> ShowS #
Eq DiagnosticLevel
Instance details Defined in Language.Cimple.Diagnostics Methods (==) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (/=) :: DiagnosticLevel -> DiagnosticLevel -> Bool #
Ord DiagnosticLevel
Instance details Defined in Language.Cimple.Diagnostics Methods compare :: DiagnosticLevel -> DiagnosticLevel -> Ordering # (<) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (<=) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (>) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (>=) :: DiagnosticLevel -> DiagnosticLevel -> Bool # max :: DiagnosticLevel -> DiagnosticLevel -> DiagnosticLevel # min :: DiagnosticLevel -> DiagnosticLevel -> DiagnosticLevel #

Constructors

DiagnosticSpan
Fields spanPos :: pos spanLen :: Int spanLabels :: [Doc AnsiStyle]

Constructors

CPosition
Fields unCPosition :: Position

Instances details

Show CPosition Source #
Instance details Defined in Tokstyle.C.Env Methods showsPrec :: Int -> CPosition -> ShowS # show :: CPosition -> String # showList :: [CPosition] -> ShowS #
IsPosition CPosition Source #
Instance details Defined in Tokstyle.C.Env Methods posFile :: CPosition -> FilePath # posLine :: CPosition -> Int # posColumn :: CPosition -> Int # isRealPos :: CPosition -> Bool #
Eq CPosition Source #
Instance details Defined in Tokstyle.C.Env Methods (==) :: CPosition -> CPosition -> Bool # (/=) :: CPosition -> CPosition -> Bool #

Constructors

Fields

ctx :: [String]
retTy :: Maybe Type
params :: [Ident]
inferredTypes :: Map Ident Type
mainTypedefs :: Map SUERef Ident
globalDecls :: Maybe GlobalDecls
linterErrors :: [LinterError]
currentFlag :: Maybe Text
program :: Program
What is known about the program the translation unit is part of.
localsOf :: Map String [IdentDecl]
The locals each function declares.
pendingLocals :: [IdentDecl]
The locals of the function being analysed, in reverse.
analysed :: [Analysed]
The functions of the translation unit the interval linters look at, analysed knowing nothing about the rest of the program.