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.

Synopsis

data Ident
data SUERef
value isAnonymousRef
value mkIdent
value builtinIdent
value internalIdent
value internalIdentAt
value isInternalIdent
value identToString
value sueRefToString
value dumpIdent

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

datadata Ident

Source#

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-5SKh2MAcfAoqezdkeEOjt" '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

Source#

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-5SKh2MAcfAoqezdkeEOjt" '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

Source#

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

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

Source#

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.