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

Packages that use BlockItemNode

Package	Description
dev.civl.abc.ast.IF	Module ast defines an Abstract Syntax Tree representation of a program, the AST.
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl
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.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.

Uses of BlockItemNode in dev.civl.abc.ast.IF

Methods in dev.civl.abc.ast.IF that return types with arguments of type BlockItemNode

Modifier and Type	Method	Description
SequenceNode<BlockItemNode>	AST.getRootNode()	Returns the root node of the abstract syntax tree.

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

Modifier and Type	Method	Description
AST	ASTFactory.newAST(SequenceNode<BlockItemNode> root, Collection<SourceFile> sourceFiles, boolean isWholeprogram)	Creates a new AST with the given root node.

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

Subinterfaces of BlockItemNode 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.
interface	StaticAssertionNode	A static assertion has syntax _Static_assert ( constant-expression , string-literal ).

Methods in dev.civl.abc.ast.node.IF that return types with arguments of type BlockItemNode

Modifier and Type	Method	Description
SequenceNode<BlockItemNode>	NodeFactory.newProgramNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire program.
SequenceNode<BlockItemNode>	NodeFactory.newTranslationUnitNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire translation unit.

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

Modifier and Type	Method	Description
CompoundStatementNode	NodeFactory.newCompoundStatementNode(Source source, List<BlockItemNode> items)	Constructs a new compound statement node.
InsertTransformNode	NodeFactory.newInsertTransformNode(Source source, List<BlockItemNode> nodesToInsert, boolean insertAfter)
SequenceNode<BlockItemNode>	NodeFactory.newProgramNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire program.
SequenceNode<BlockItemNode>	NodeFactory.newTranslationUnitNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire translation unit.

Uses of BlockItemNode in dev.civl.abc.ast.node.IF.acsl

Subinterfaces of BlockItemNode in dev.civl.abc.ast.node.IF.acsl

Modifier and Type	Interface	Description
interface	PredicateNode	The ACSL predicate node, which in the view of ABC, is just a function with a boolean return type.

Methods in dev.civl.abc.ast.node.IF.acsl that return types with arguments of type BlockItemNode

Modifier and Type	Method	Description
List<BlockItemNode>	TransformNode.transform(List<BlockItemNode> items)	Apply the transformation this node is representing to some ast.

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

Modifier and Type	Method	Description
List<BlockItemNode>	TransformNode.transform(List<BlockItemNode> items)	Apply the transformation this node is representing to some ast.

Uses of BlockItemNode in dev.civl.abc.ast.node.IF.declaration

Subinterfaces of BlockItemNode in dev.civl.abc.ast.node.IF.declaration

Modifier and Type	Interface	Description
interface	AbstractFunctionDefinitionNode	An abstract function definition contains the information for an abstract function (i.e.
interface	FunctionDeclarationNode	A node representing a function declaration.
interface	FunctionDefinitionNode	Represents a function definition, i.e., a function declaration which includes the function body.
interface	OrdinaryDeclarationNode	A declaration of a variable or function via a C "declarator".
interface	ScopeParameterizedDeclarationNode	A CIVL-C scope-parameterized declaration node.
interface	TypedefDeclarationNode	A node representing a typedef declaration.
interface	VariableDeclarationNode	A declaration of a variable ("object").

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

Subinterfaces of BlockItemNode 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	OmpDeclarativeNode	This represents an OpenMP declarative directive, which can only be placed in a declarative context.
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.

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

Subinterfaces of BlockItemNode 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	StatementNode
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 BlockItemNode

Modifier and Type	Method	Description
BlockItemNode	BlockItemNode.copy()

Uses of BlockItemNode in dev.civl.abc.ast.node.IF.type

Subinterfaces of BlockItemNode in dev.civl.abc.ast.node.IF.type

Modifier and Type	Interface	Description
interface	EnumerationTypeNode	An enumeration type.
interface	StructureOrUnionTypeNode