Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.type

package dev.civl.abc.ast.node.IF.type

The ast.node.type submodule defines AST nodes for representing type constructs in a program.

Related Packages

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.

Class	Description
ArrayTypeNode	Represents an array type.
AtomicTypeNode	An atomic type, specified by "_Atomic ( type-name )".
BasicTypeNode
DomainTypeNode	Represents use of the CIVL-C domain type, either "$domain" alone, or one of the sub-types "$domain(n)" for some positive integer constant n.
EnumerationTypeNode	An enumeration type.
FunctionTypeNode
LambdaTypeNode	A TypeNode representing a $lambda(free-var-type:func-type) type
PointerTypeNode
StructureOrUnionTypeNode
TypedefNameNode
TypeNode
TypeNode.TypeNodeKind	The different kinds of type nodes.
TypeofNode	GNU C language reference 6.6 Referring to a Type with typeof Another way to refer to the type of an expression is with typeof.