ogma-language-copilot-1.12.0: Ogma: Runtime Monitor translator: Copilot Language Endpoints
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Copilot.CStruct

Contents

Description

Copilot's representation and conversion of C Structs from C's AST.

Synopsis

CStruct

data CStruct Source #

A C struct is a name and fields with different types.

Constructors

CStruct 

Fields

Instances

Instances details
Show CStruct Source # 
Instance details

Defined in Language.Copilot.CStruct

Methods

showsPrec :: Int -> CStruct -> ShowS

show :: CStruct -> String

showList :: [CStruct] -> ShowS

Eq CStruct Source # 
Instance details

Defined in Language.Copilot.CStruct

Methods

(==) :: CStruct -> CStruct -> Bool

(/=) :: CStruct -> CStruct -> Bool

data CField Source #

A field may have a name and a type, or be an array with a name, type and length. Pointers are not currently supported.

Constructors

CPlain String String 
CArray String String Integer 

Instances

Instances details
Show CField Source # 
Instance details

Defined in Language.Copilot.CStruct

Methods

showsPrec :: Int -> CField -> ShowS

show :: CField -> String

showList :: [CField] -> ShowS

Eq CField Source # 
Instance details

Defined in Language.Copilot.CStruct

Methods

(==) :: CField -> CField -> Bool

(/=) :: CField -> CField -> Bool