ogma-language-c-1.7.0: Ogma: Runtime Monitor translator: C Language Frontend
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.C.AbsC

Description

The abstract syntax of language C.

Documentation

data ExternalDeclaration Source #

Instances

Instances details
Read ExternalDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Show ExternalDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Eq ExternalDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Ord ExternalDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Print ExternalDeclaration Source # 
Instance details

Defined in Language.C.PrintC

Print [ExternalDeclaration] Source # 
Instance details

Defined in Language.C.PrintC

data FunctionDefinition Source #

data DeclarationSpecifiers Source #

Instances

Instances details
Read DeclarationSpecifiers Source # 
Instance details

Defined in Language.C.AbsC

Show DeclarationSpecifiers Source # 
Instance details

Defined in Language.C.AbsC

Eq DeclarationSpecifiers Source # 
Instance details

Defined in Language.C.AbsC

Ord DeclarationSpecifiers Source # 
Instance details

Defined in Language.C.AbsC

Print DeclarationSpecifiers Source # 
Instance details

Defined in Language.C.PrintC

data DeclarationSpecifier Source #

Instances

Instances details
Read DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Show DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Eq DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Ord DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Print DeclarationSpecifier Source # 
Instance details

Defined in Language.C.PrintC

Print [DeclarationSpecifier] Source # 
Instance details

Defined in Language.C.PrintC

data StorageClassSpecifier Source #

Instances

Instances details
Read StorageClassSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Show StorageClassSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Eq StorageClassSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Ord StorageClassSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Print StorageClassSpecifier Source # 
Instance details

Defined in Language.C.PrintC

data TypeSpecifier Source #

data StructOrUnionSpecifier Source #

Instances

Instances details
Read StructOrUnionSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Show StructOrUnionSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Eq StructOrUnionSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Ord StructOrUnionSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Print StructOrUnionSpecifier Source # 
Instance details

Defined in Language.C.PrintC

data InitDeclarationListOpt Source #

Instances

Instances details
Read InitDeclarationListOpt Source # 
Instance details

Defined in Language.C.AbsC

Show InitDeclarationListOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq InitDeclarationListOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord InitDeclarationListOpt Source # 
Instance details

Defined in Language.C.AbsC

Print InitDeclarationListOpt Source # 
Instance details

Defined in Language.C.PrintC

data InitDeclarator Source #

data StructDeclaration Source #

Instances

Instances details
Read StructDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Show StructDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Eq StructDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Ord StructDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Print StructDeclaration Source # 
Instance details

Defined in Language.C.PrintC

Print [StructDeclaration] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [StructDeclaration] -> Doc Source #

data SpecifierQualifier Source #

Instances

Instances details
Read SpecifierQualifier Source # 
Instance details

Defined in Language.C.AbsC

Show SpecifierQualifier Source # 
Instance details

Defined in Language.C.AbsC

Eq SpecifierQualifier Source # 
Instance details

Defined in Language.C.AbsC

Ord SpecifierQualifier Source # 
Instance details

Defined in Language.C.AbsC

Print SpecifierQualifier Source # 
Instance details

Defined in Language.C.PrintC

Print [SpecifierQualifier] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [SpecifierQualifier] -> Doc Source #

data StructDeclarator Source #

Instances

Instances details
Read StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Show StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Eq StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Ord StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Print StructDeclarator Source # 
Instance details

Defined in Language.C.PrintC

Print [StructDeclarator] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [StructDeclarator] -> Doc Source #

data DirectDeclarator Source #

data TypeQualifierListOpt Source #

Instances

Instances details
Read TypeQualifierListOpt Source # 
Instance details

Defined in Language.C.AbsC

Show TypeQualifierListOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq TypeQualifierListOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord TypeQualifierListOpt Source # 
Instance details

Defined in Language.C.AbsC

Print TypeQualifierListOpt Source # 
Instance details

Defined in Language.C.PrintC

data TypeQualifierList Source #

data ParameterTypeList Source #

data ParameterDeclaration Source #

Instances

Instances details
Read ParameterDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Show ParameterDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Eq ParameterDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Ord ParameterDeclaration Source # 
Instance details

Defined in Language.C.AbsC

Print ParameterDeclaration Source # 
Instance details

Defined in Language.C.PrintC

data IdentifierListOpt Source #

data AbstractDeclaratorOpt Source #

Instances

Instances details
Read AbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Show AbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq AbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord AbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Print AbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.PrintC

data AbstractDeclarator Source #

data DirectAbstractDeclaratorOpt Source #

Instances

Instances details
Read DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Show DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Print DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.PrintC

data DirectAbstractDeclarator Source #

Instances

Instances details
Read DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Show DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Eq DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Ord DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Print DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.PrintC

data Statement Source #

data LabeledStatement Source #

data ExpressionStatement Source #

Instances

Instances details
Read ExpressionStatement Source # 
Instance details

Defined in Language.C.AbsC

Show ExpressionStatement Source # 
Instance details

Defined in Language.C.AbsC

Eq ExpressionStatement Source # 
Instance details

Defined in Language.C.AbsC

Ord ExpressionStatement Source # 
Instance details

Defined in Language.C.AbsC

Print ExpressionStatement Source # 
Instance details

Defined in Language.C.PrintC

data CompoundStatement Source #

data SelectionStatement Source #

data IterationStatement Source #

data Expression Source #

data AssignmentOperator Source #

data ConstantExpressionOpt Source #

Instances

Instances details
Read ConstantExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Show ConstantExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq ConstantExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord ConstantExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Print ConstantExpressionOpt Source # 
Instance details

Defined in Language.C.PrintC

data ConstantExpression Source #

data EqOp Source #

Constructors

EqOpEq 
EqOpNeq 

Instances

Instances details
Read EqOp Source # 
Instance details

Defined in Language.C.AbsC

Show EqOp Source # 
Instance details

Defined in Language.C.AbsC

Eq EqOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: EqOp -> EqOp -> Bool Source #

(/=) :: EqOp -> EqOp -> Bool Source #

Ord EqOp Source # 
Instance details

Defined in Language.C.AbsC

Print EqOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> EqOp -> Doc Source #

data RelOp Source #

Constructors

RelOpLT 
RelOpGT 
RelOpLE 
RelOpGE 

Instances

Instances details
Read RelOp Source # 
Instance details

Defined in Language.C.AbsC

Show RelOp Source # 
Instance details

Defined in Language.C.AbsC

Eq RelOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: RelOp -> RelOp -> Bool Source #

(/=) :: RelOp -> RelOp -> Bool Source #

Ord RelOp Source # 
Instance details

Defined in Language.C.AbsC

Print RelOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> RelOp -> Doc Source #

data ShiftOp Source #

Constructors

ShiftOpLeft 
ShiftOpRight 

Instances

Instances details
Read ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Show ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Eq ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Ord ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Print ShiftOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> ShiftOp -> Doc Source #

data AddOp Source #

Constructors

AddOpPlus 
AddOpMinus 

Instances

Instances details
Read AddOp Source # 
Instance details

Defined in Language.C.AbsC

Show AddOp Source # 
Instance details

Defined in Language.C.AbsC

Eq AddOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: AddOp -> AddOp -> Bool Source #

(/=) :: AddOp -> AddOp -> Bool Source #

Ord AddOp Source # 
Instance details

Defined in Language.C.AbsC

Print AddOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> AddOp -> Doc Source #

data MultOp Source #

Instances

Instances details
Read MultOp Source # 
Instance details

Defined in Language.C.AbsC

Show MultOp Source # 
Instance details

Defined in Language.C.AbsC

Eq MultOp Source # 
Instance details

Defined in Language.C.AbsC

Ord MultOp Source # 
Instance details

Defined in Language.C.AbsC

Print MultOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> MultOp -> Doc Source #

data UnaryExpression Source #

data PostfixExpression Source #

data PrimaryExpression Source #

data ArgumentExpressionListOpt Source #

Instances

Instances details
Read ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Show ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Print ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.PrintC

data CharacterConstant Source #

newtype IntegerConstant Source #

Constructors

IntegerConstant String 

Instances

Instances details
IsString IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Read IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Show IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Eq IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Ord IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Print IntegerConstant Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> IntegerConstant -> Doc Source #