Portability	ghc
Stability	alpha
Maintainer	jwlato@gmail.com
Safe Haskell	None

Language.ObjC.Analysis.DeclAnalysis

Contents

Translating types
Dissecting type specs
Helpers

Description

This module performs the analysis of declarations and the translation of type specifications in the AST.

Synopsis

Translating types

analyseTypeDecl :: MonadTrav m => CDecl -> m Type Source

get the type of a type declaration

A type declaration T may appear in thre forms:

```
typeof(T)
```
as abstract declarator in a function prototype, as in f(int)
in a declaration without declarators, as in struct x { int a } ;

Currently, analyseTypeDecl is exlusively used for analysing types for GNU's typeof(T).

We move attributes to the type, as they have no meaning for the abstract declarator

tType :: MonadTrav m => Bool -> NodeInfo -> [CTypeQual] -> TypeSpecAnalysis -> [CDerivedDeclr] -> [CDecl] -> m Type Source

translate a type

tDirectType :: MonadTrav m => Bool -> NodeInfo -> [CTypeQual] -> TypeSpecAnalysis -> m Type Source

translate a type without (syntactic) indirections Due to the GNU typeof extension and typeDefs, this can be an arbitrary type

tNumType :: MonadCError m => NumTypeSpec -> m (Either (FloatType, Bool) IntType)Source

Mapping from num type specs to C types (C99 6.7.2-2), ignoring the complex qualifier.

tArraySize :: MonadTrav m => CArrSize -> m ArraySize Source

tTypeQuals :: MonadTrav m => [CTypeQual] -> m (TypeQuals, Attributes)Source

mergeOldStyle :: MonadCError m => NodeInfo -> [CDecl] -> [CDerivedDeclr] -> m [CDerivedDeclr]Source

convert old style parameters

This requires matching parameter names and declarations, as in the following example:

 int f(d,c,a,b)
 char a,*b;
 int c;
 { }

is converted to

 int f(int d, int c, char a, char* b)

TODO: This could be moved to syntax, as it operates on the AST only

Dissecting type specs

canonicalTypeSpec :: MonadTrav m => [CTypeSpec] -> m TypeSpecAnalysis Source

data NumBaseType Source

Constructors

NoBaseType
BaseChar
BaseInt
BaseFloat
BaseDouble

Instances

Eq NumBaseType
Ord NumBaseType

data SignSpec Source

Constructors

NoSignSpec
Signed
Unsigned

Instances

Eq SignSpec
Ord SignSpec

data SizeMod Source

Constructors

NoSizeMod
ShortMod
LongMod
LongLongMod

Instances

Eq SizeMod
Ord SizeMod

data NumTypeSpec Source

Constructors

NumTypeSpec
Fields base :: NumBaseType signSpec :: SignSpec sizeMod :: SizeMod isComplex :: Bool

data TypeSpecAnalysis Source

Constructors

TSNone
TSVoid
TSBool
TSNum NumTypeSpec
TSTypeDef TypeDefRef
TSType Type
TSNonBasic CTypeSpec

canonicalStorageSpec :: MonadCError m => [CStorageSpec] -> m StorageSpec Source

data StorageSpec Source

Constructors

NoStorageSpec
AutoSpec
RegSpec
ThreadSpec
StaticSpec Bool
ExternSpec Bool

Instances

Eq StorageSpec
Ord StorageSpec
Read StorageSpec
Show StorageSpec

hasThreadLocalSpec :: StorageSpec -> Bool Source

isTypeDef :: [CDeclSpec] -> Bool Source

Helpers

data VarDeclInfo Source

Constructors

VarDeclInfo VarName Bool StorageSpec Attributes Type NodeInfo

tAttr :: (MonadCError m, MonadSymtab m) => CAttr -> m Attr Source

translate __attribute__ annotations TODO: This is a unwrap and wrap stub

mkVarName :: (MonadCError m, MonadSymtab m) => NodeInfo -> Maybe Ident -> Maybe AsmName -> m VarName Source

construct a name for a variable TODO: more or less bogus

getOnlyDeclr :: MonadCError m => CDecl -> m CDeclr Source

nameOfDecl :: MonadCError m => CDecl -> m Ident Source

analyseVarDecl Source

Arguments

:: MonadTrav m
=> Bool
-> [CStorageSpec]
-> [CAttr]
-> [CTypeQual]
-> TypeSpecAnalysis
-> Bool
-> CDeclr
-> [CDecl]
-> Maybe CInit	currently unused
-> m VarDeclInfo

analyse declarators

analyseVarDecl' :: MonadTrav m => Bool -> [CDeclSpec] -> CDeclr -> [CDecl] -> Maybe CInit -> m VarDeclInfo Source