tokstyle
Safe HaskellNone
LanguageHaskell2010

Tokstyle.C.Analysis.Types

Description

The types of expressions, and the names the program knows fields and functions by.

Synopsis

Documentation

type FieldKey = (String, String) Source #

A field of a struct: the struct's tag and the field's name.

exprType :: MonadTrav m => CExpr -> m (Maybe Type) Source #

structTag :: Type -> Maybe String Source #

fieldKey :: MonadTrav m => CExpr -> m (Maybe FieldKey) Source #

The field a member access reads or writes.

funType :: Type -> Maybe FunType Source #

Type of a function, or of what a function pointer points to. canonicalType turns function types into function pointers.

funKey :: MonadTrav m => FilePath -> Ident -> m (Maybe String) Source #

The name the program knows a function by, which for a static function includes its translation unit.