Module dev.civl.abc

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

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

Submodule ast.node defines every kind of node in an AST.

The interface ASTNode is the root of the AST node type hierarchy. All AST nodes implement that interface.

Other miscellaneous interfaces dealing with nodes are included in this package. This includes the NodeFactory, which specifies a factory for producing every kind of AST node and related objects.

Any AST node can have any number of "attributes" associated to it. This is a flexible mechanism for allowing clients to "hang" any kind of information on to AST nodes. To do this one first creates an AttributeKey using the appropriate method in the NodeFactory. That key can then be used to associate a value to a node.

Related Packages

Package	Description
dev.civl.abc.ast.node.IF.acsl
dev.civl.abc.ast.node.IF.compound	The ast.node.compound submodule defines nodes and related classes for representing compound initializers.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.node.IF.label	The ast.node.label submodule defines AST nodes for representing labels in a program, including ordinary labels, and the case and default labels used in switch statements.
dev.civl.abc.ast.node.IF.omp	The ast.node.omp submodule defines AST nodes for representing OpenMP constructs, which are specified in omp pragmas.
dev.civl.abc.ast.node.IF.statement	The ast.node.statement submodule defines AST nodes for representing statements in a program.
dev.civl.abc.ast.node.IF.type	The ast.node.type submodule defines AST nodes for representing type constructs in a program.

Class	Description
ASTNode	Root of the AST node type hierarchy.
ASTNode.NodeKind	The different kind of AST nodes.
AttributeKey	A key to be used as a key-attribute pair.
GenericAssociationNode	Represents the association between a type and an expression for use in a generic selection expression.
IdentifierNode	An identifier can denote: (1) an object, (2) a function, (3) a tag of a structure, union, or enumeration, (4) a member of a structure, union, or enumeration, (5) a typedef name, or (6) a label name.
NodeFactory	The factory used to construct the nodes of Abstract Syntax Trees.
NodePredicate	A predicate on AST nodes, i.e., a function which given an ASTNode, returns either true or false.
Nodes	A factory class providing a static method to produce a new NodeFactory.
PairNode<S extends ASTNode,T extends ASTNode>	A node with two children, the first of type S and the second of type T.
PragmaNode	A pragma may be included in the AST wherever a statement or an external definition may occur.
SequenceNode<T extends ASTNode>	A node in which all children have type T.
StaticAssertionNode	A static assertion has syntax _Static_assert ( constant-expression , string-literal ).