Uses of Interface
dev.civl.abc.ast.node.IF.statement.StatementNode

Packages that use StatementNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
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.

Uses of StatementNode in dev.civl.abc.ast.node.IF

Subinterfaces of StatementNode in dev.civl.abc.ast.node.IF

Modifier and Type	Interface	Description
interface	PragmaNode	A pragma may be included in the AST wherever a statement or an external definition may occur.

Methods in dev.civl.abc.ast.node.IF that return StatementNode

Modifier and Type	Method	Description
StatementNode	NodeFactory.newNullStatementNode(Source source)	Constructs a new node representing a C "null" statement, also known as a "no-op" statement, and written as just a semicolon.

Methods in dev.civl.abc.ast.node.IF with parameters of type StatementNode

Modifier and Type	Method	Description
AtomicNode	NodeFactory.newAtomicStatementNode(Source statementSource, StatementNode body)	Creates a new CIVL-C $atomic statement node.
SwitchLabelNode	NodeFactory.newCaseLabelDeclarationNode(Source source, ExpressionNode constantExpression, StatementNode statement)	Constructs a new case-labeled declaration node.
CivlForNode	NodeFactory.newCivlForNode(Source source, boolean isParallel, DeclarationListNode variables, ExpressionNode domain, StatementNode body, SequenceNode<ContractNode> loopContract)	Creates a new instance of the CIVL $for or $parfor node.
SwitchLabelNode	NodeFactory.newDefaultLabelDeclarationNode(Source source, StatementNode statement)	Constructs a new node representing the occurence of a default : label inside of a switch statement body.
LoopNode	NodeFactory.newDoLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a do...while loop.
ForLoopNode	NodeFactory.newForLoopNode(Source source, ForLoopInitializerNode initializer, ExpressionNode condition, ExpressionNode incrementer, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new for loop node.
IfNode	NodeFactory.newIfNode(Source source, ExpressionNode condition, StatementNode trueBranch)	Creates new if statement node when there is no false ("else") branch.
IfNode	NodeFactory.newIfNode(Source source, ExpressionNode condition, StatementNode trueBranch, StatementNode falseBranch)	Creates a new if statement node.
LabeledStatementNode	NodeFactory.newLabeledStatementNode(Source source, LabelNode label, StatementNode statement)	Constructs new node representing a labeled statement.
OmpSyncNode	NodeFactory.newOmpAtomicNode(Source source, StatementNode statement, OmpAtomicNode.OmpAtomicClause clause, boolean seqConsistent)	Creates a new OpenMP atomic node, representing #pragma omp atomic....
OmpSyncNode	NodeFactory.newOmpCriticalNode(Source source, IdentifierNode name, StatementNode statement)	Creates a new OpenMP critical node, representing #pragma omp critical....
OmpForNode	NodeFactory.newOmpForNode(Source source, StatementNode statement)	Creates a new OpenMP for node, representing #pragma omp for....
OmpSyncNode	NodeFactory.newOmpMasterNode(Source source, StatementNode statement)	Creates a new OpenMP master node, representing #pragma omp master....
OmpSyncNode	NodeFactory.newOmpOrederedNode(Source source, StatementNode statement)	Creates a new OpenMP ordered node, representing #pragma omp ordered....
OmpParallelNode	NodeFactory.newOmpParallelNode(Source source, StatementNode statement)	Creates a new OpenMP parallel node, representing #pragma omp parallel....
OmpWorksharingNode	NodeFactory.newOmpSectionNode(Source source, StatementNode statement)	Creates a new OpenMP section node, representing #pragma omp section....
OmpWorksharingNode	NodeFactory.newOmpSectionsNode(Source source, StatementNode statement)	Creates a new OpenMP sections node, representing #pragma omp sections....
OmpSimdNode	NodeFactory.newOmpSimdNode(Source source, StatementNode statement)	Creates a new OpenMP simd node, representing #pragma omp simd....
OmpWorksharingNode	NodeFactory.newOmpSingleNode(Source source, StatementNode statement)	Creates a new OpenMP single node, representing #pragma omp single....
RunNode	NodeFactory.newRunNode(Source source, StatementNode statement)	Create a new RunNode
OrdinaryLabelNode	NodeFactory.newStandardLabelDeclarationNode(Source source, IdentifierNode name, StatementNode statement)	Creates a new node representing a standard C label.
SwitchNode	NodeFactory.newSwitchNode(Source source, ExpressionNode condition, StatementNode body)	Constructs a new node representing a C switch statement.
WhenNode	NodeFactory.newWhenNode(Source source, ExpressionNode guard, StatementNode body)	Creates a new node representing a CIVL-C $when node, used to represent a guarded command.
LoopNode	NodeFactory.newWhileLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a while loop.

Method parameters in dev.civl.abc.ast.node.IF with type arguments of type StatementNode

Modifier and Type	Method	Description
ChooseStatementNode	NodeFactory.newChooseStatementNode(Source source, List<StatementNode> statements)	Constructs a new node representing a CIVL-C $choose statement.

Uses of StatementNode in dev.civl.abc.ast.node.IF.label

Methods in dev.civl.abc.ast.node.IF.label that return StatementNode

Modifier and Type	Method	Description
StatementNode	LabelNode.getStatement()	The statement which is preceded by a label (but not including the label).

Methods in dev.civl.abc.ast.node.IF.label with parameters of type StatementNode

Modifier and Type	Method	Description
void	LabelNode.setStatement(StatementNode statement)	Sets the value returned by LabelNode.getStatement().

Uses of StatementNode in dev.civl.abc.ast.node.IF.omp

Subinterfaces of StatementNode in dev.civl.abc.ast.node.IF.omp

Modifier and Type	Interface	Description
interface	OmpAtomicNode	This represents an OpenMP atomic construct, which has the syntax:
interface	OmpEndNode
interface	OmpExecutableNode	Represents an OpenMP executable Construct. The children of an OmpExecutableNode are: SequenceNode<IdentifierExpressionNode> "sharedList", the list of identifiers declared by shared SequenceNode<IdentifierExpressionNode> "privateList", the list of identifiers declared by private SequenceNode<IdentifierExpressionNode> "firstprivateList", the list of identifiers declared by firstprivate SequenceNode<IdentifierExpressionNode> "lastprivateList", the list of identifiers declared by lastprivate SequenceNode<IdentifierExpressionNode> "copyinList", the list of identifiers declared by copyin SequenceNode<IdentifierExpressionNode> "copyprivateList", the list of identifiers declared by copyprivate SequenceNode<OmpReductionNode> "reductionList", the list of operators and identifiers declared by reduction StatementNode, the statement node affected by this pragma.
interface	OmpForNode	This interface represents the OpenMP loop construct.
interface	OmpParallelNode	This represents an OpenMP parallel pragma.
interface	OmpSimdNode	A simd directive, which may have the following clauses: if([simd :]scalar-logical-expression) safelen(length) simdlen(length) linear(list[ : linear-step]) aligned(list[ : alignment]) nontemporal(list) private(list) lastprivate([ lastprivate-modifier:] list) reduction([ reduction-modifier,]reduction-identifier : list) collapse(n) order(concurrent)
interface	OmpSyncNode	This interface stands for synchronization constructs of OpenMP, including: master critical barrier flush atomic Currently, taskwait and atomic constructs are not supported.
interface	OmpWorksharingNode	This represents an OpenMP worksharing construct, either a loop, sections/section, or single construct.

Methods in dev.civl.abc.ast.node.IF.omp that return StatementNode

Modifier and Type	Method	Description
StatementNode	OmpExecutableNode.statementNode()	Returns the statement node affected by this OpenMP pragma.

Methods in dev.civl.abc.ast.node.IF.omp with parameters of type StatementNode

Modifier and Type	Method	Description
void	OmpExecutableNode.setStatementNode(StatementNode statementNode)	Updates the statement sub-node.

Uses of StatementNode in dev.civl.abc.ast.node.IF.statement

Subinterfaces of StatementNode in dev.civl.abc.ast.node.IF.statement

Modifier and Type	Interface	Description
interface	AtomicNode	An atomic node represents a CIVL-C $atomic statement.
interface	ChooseStatementNode	A "choose" statement has the form "choose { s1 ...
interface	CivlForNode	Represents a CIVL $for or $parfor statement.
interface	CompoundStatementNode	A compound statement is a sequence of statements and declarations within curly braces: "{ ...
interface	ExpressionStatementNode
interface	ForLoopNode	A for loop, in addition to the expression and body that all loops possess, has an initializer and incrementer.
interface	GotoNode	Represents a C "goto labelName;" statement.
interface	IfNode
interface	JumpNode
interface	LabeledStatementNode
interface	LoopNode	Root of type hierarchy for every kind of loop statement.
interface	NullStatementNode	A null statement: ";".
interface	ReturnNode
interface	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.
interface	SwitchNode	Represents a C switch statement.
interface	UpdateNode	This node represents an expression $update($collator c) f().
interface	WhenNode	Represents a CIVL-C guarded command.

Methods in dev.civl.abc.ast.node.IF.statement that return StatementNode

Modifier and Type	Method	Description
StatementNode	StatementNode.copy()
StatementNode	AtomicNode.getBody()	The body of the $atomic statement.
StatementNode	CivlForNode.getBody()	The loop body.
StatementNode	LoopNode.getBody()	The loop body.
StatementNode	SwitchNode.getBody()	Returns the switch statement body: the switch statement has the form "switch(expression) body".
StatementNode	WhenNode.getBody()	The body of this $when statement.
StatementNode	IfNode.getFalseBranch()	Returns the "else" (aka "false") branch.
StatementNode	LabeledStatementNode.getStatement()
StatementNode	RunNode.getStatement()	Returns the function call node, which is like removing the $spawn.
StatementNode	IfNode.getTrueBranch()	Returns the "true" branch statement--where control moves to if the condition evaluates to true.

Methods in dev.civl.abc.ast.node.IF.statement with parameters of type StatementNode

Modifier and Type	Method	Description
void	AtomicNode.setBody(StatementNode body)	Sets the body of this atomic statement.
void	LoopNode.setBody(StatementNode body)	Sets the loop body.