Module dev.civl.abc

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

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

The ast.node.statement submodule defines AST nodes for representing statements 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
AtomicNode	An atomic node represents a CIVL-C $atomic statement.
BlockItemNode	An item that can appear in a "block".
BlockItemNode.BlockItemKind
ChooseStatementNode	A "choose" statement has the form "choose { s1 ...
CivlForNode	Represents a CIVL $for or $parfor statement.
CompoundStatementNode	A compound statement is a sequence of statements and declarations within curly braces: "{ ...
DeclarationListNode	A list of variable declarations, such as might occur as an initializer in a for loop.
ExpressionStatementNode
ForLoopInitializerNode	A marker interface indicating this construct can be used as the first clause in a for loop.
ForLoopNode	A for loop, in addition to the expression and body that all loops possess, has an initializer and incrementer.
GotoNode	Represents a C "goto labelName;" statement.
IfNode
JumpNode
JumpNode.JumpKind
LabeledStatementNode
LoopNode	Root of type hierarchy for every kind of loop statement.
LoopNode.LoopKind
NullStatementNode	A null statement: ";".
ReturnNode
RunNode	Represents a CIVL-C $run expression, which has the form $run statement.The statement s can be any single StatementNode or a CompoundStatementNode which is wrapped by a pair of curly braces.
StatementNode
StatementNode.StatementKind
SwitchNode	Represents a C switch statement.
UpdateNode	This node represents an expression $update($collator c) f().
WhenNode	Represents a CIVL-C guarded command.