language-c-0.4.7: Analysis and generation of C code

Copyright(c) 2008 Benedikt Huber
Safe HaskellNone




Common data types for Language.C: Identifiers, unique names, source code locations, ast node attributes and extensible errors.


Input stream


data 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).

isAnonymousRef :: SUERef -> Bool Source

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

mkIdent :: 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.

identToString :: Ident -> String Source

string of an identifier

internalIdent :: String -> Ident Source

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

isInternalIdent :: Ident -> Bool Source

return True if the given identifier is internal

builtinIdent :: String -> Ident Source

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

Unqiue names

newtype Name Source

Name is a unique identifier




nameId :: Int

newNameSupply :: [Name] Source

return an infinite stream of Names starting with nameId 0

Source code positions

data Position Source

uniform representation of source file positions

class Pos a where Source

class of type which aggregate a source code location


posOf :: a -> Position Source

initPos :: FilePath -> Position Source

initialize a Position to the start of the translation unit starting in the given file

nopos :: Position Source

no position (for unknown position information)

builtinPos :: Position Source

position attached to built-in objects

internalPos :: Position Source

position used for internal errors

isSourcePos :: Position -> Bool Source

returns True if the given position refers to an actual source file

isBuiltinPos :: Position -> Bool Source

returns True if the given position refers to a builtin definition

isInternalPos :: Position -> Bool Source

returns True if the given position is internal

Syntax tree nodes

undefNode :: NodeInfo Source

create a node with neither name nor positional information

mkNodeInfoOnlyPos :: Position -> NodeInfo Source

| Given only a source position, create a new node attribute

mkNodeInfo :: Position -> Name -> NodeInfo Source

Given a source position and a unique name, create a new attribute identifier

internalNode :: NodeInfo Source

Deprecated: use undefNode instead

Extensible errors