Modulelanguage-c-0.10.2Haskell2010

Language.C.Data.Ident

This module provides the notion of identifiers in C, speed up using hashing. Identifiers are associated optionally associated with a NodeInfo, i.e. with a unique Name and a source location (Position). The ordering relation on identifiers is based on the hash and does not follow the lexical order.

2 types
9 values

Packagelanguage-c-0.10.2
Exports11
LanguageHaskell2010
LicenceBSD-3-Clause
SourceIdent.hs

datadata Ident

C identifiers

Constructors

Ident String !Int NodeInfo

Instances10Eq, Data, Ord, Show, Generic, NFData, …

Eq IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
Data IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
Ord IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
Show IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
Generic IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
NFData IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
CNode IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
Pos IdentDefined in language-c-0.10.2 · Language.C.Data.Ident
Pretty IdentDefined in language-c-0.10.2 · Language.C.Analysis.Debug · orphan
type Rep Ident = D1 ('MetaData "Ident" "Language.C.Data.Ident" "language-c-0.10.2-Br1UbuSfGKb24D3JdeV67m" 'False) (C1 ('MetaCons "Ident" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeInfo))))Defined in language-c-0.10.2 · Language.C.Data.Ident

datadata SUERef

References uniquely determining a struct, union or enum type. Those are either identified by an string identifier, or by a unique name (anonymous types).

Constructors

AnonymousRef Name
NamedRef Ident

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq SUERefDefined in language-c-0.10.2 · Language.C.Data.Ident
Data SUERefDefined in language-c-0.10.2 · Language.C.Data.Ident
Ord SUERefDefined in language-c-0.10.2 · Language.C.Data.Ident
Show SUERefDefined in language-c-0.10.2 · Language.C.Data.Ident
Generic SUERefDefined in language-c-0.10.2 · Language.C.Data.Ident
NFData SUERefDefined in language-c-0.10.2 · Language.C.Data.Ident
Pretty SUERefDefined in language-c-0.10.2 · Language.C.Analysis.Debug · orphan
type Rep SUERef = D1 ('MetaData "SUERef" "Language.C.Data.Ident" "language-c-0.10.2-Br1UbuSfGKb24D3JdeV67m" 'False) (C1 ('MetaCons "AnonymousRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "NamedRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)))Defined in language-c-0.10.2 · Language.C.Data.Ident

valueisAnonymousRef :: SUERef -> Bool

Return true if the struct/union/enum reference is anonymous.

valuemkIdent :: Position -> String -> Name -> Ident

build an identifier from a string.

only minimal error checking, e.g., the characters of the identifier are not checked for being alphanumerical only; the correct lexis of the identifier should be ensured by the caller, e.g., the scanner.
for reasons of simplicity the complete lexeme is hashed.

valuebuiltinIdent :: String -> Ident

returns a builtin identifier (has builtin position and no unique name)

valueinternalIdent :: String -> Ident

returns an internal identifier (has internal position and no unique name)

valueinternalIdentAt :: Position -> String -> Ident

return an internal identifier with position info

valueisInternalIdent :: Ident -> Bool

return True if the given identifier is internal

valueidentToString :: Ident -> String

string of an identifier

valuesueRefToString :: SUERef -> String

string of a SUE ref (empty if anonymous)

valuedumpIdent :: Ident -> String

dump the identifier string and its positions for debugging purposes