Uses of Interface
dev.civl.abc.ast.node.IF.SequenceNode

Packages that use SequenceNode

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.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.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 SequenceNode in dev.civl.abc.ast.IF

Methods in dev.civl.abc.ast.IF that return SequenceNode

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

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

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 SequenceNode in dev.civl.abc.ast.node.IF

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

Modifier and Type	Method	Description
SequenceNode<T>	SequenceNode.copy()
SequenceNode<BlockItemNode>	NodeFactory.newProgramNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire program.
<T extends ASTNode> SequenceNode<T>	NodeFactory.newSequenceNode(Source source, String name, List<T> nodes)	Creates a new sequence node, i.e., a node which has some finite ordered sequence of children belonging to a particular class.
SequenceNode<BlockItemNode>	NodeFactory.newTranslationUnitNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire translation unit.

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

Modifier and Type	Method	Description
AbstractFunctionDefinitionNode	NodeFactory.newAbstractFunctionDefinitionNode(Source source, IdentifierNode name, TypeNode type, SequenceNode<ContractNode> contract, int continuity, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervals, StringLiteralNode attr)	Creates a new CIVL abstract function definition.
AllocationNode	NodeFactory.newAllocationNode(Source source, boolean isAllocates, SequenceNode<ExpressionNode> memoryList)	Creates a new allocation node, which represents either an allocates or frees clause.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
AssignsOrReadsNode	NodeFactory.newAssignsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL assigns contract clause.
BehaviorNode	NodeFactory.newBehaviorNode(Source source, IdentifierNode name, SequenceNode<ContractNode> body)	creates a behavior node.
CallEventNode	NodeFactory.newCallEventNode(Source source, IdentifierExpressionNode function, SequenceNode<ExpressionNode> args)	Creates a new \call event 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.
CompletenessNode	NodeFactory.newCompletenessNode(Source source, boolean isComplete, SequenceNode<IdentifierNode> idList)	creates a completeness clause node, which could be complete or disjoint
DependsNode	NodeFactory.newDependsNode(Source source, ExpressionNode condition, SequenceNode<DependsEventNode> eventList)	Constructs a new node representing a CIVL-C $depends contract clause.
DerivativeExpressionNode	NodeFactory.newDerivativeExpressionNode(Source source, ExpressionNode function, SequenceNode<PairNode<IdentifierExpressionNode,IntegerConstantNode>> partials, SequenceNode<ExpressionNode> arguments)	Constructs a new CIVL-C derivative expression, used to represent the (partial) derivative of a function with respect to any number of variables, evaluated at a point.
LoopNode	NodeFactory.newDoLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a do...while loop.
EnumerationTypeNode	NodeFactory.newEnumerationTypeNode(Source source, IdentifierNode tag, SequenceNode<EnumeratorDeclarationNode> enumerators)	Constructs and returns a new enumeration type node.
FocusLoopTransformNode	NodeFactory.newFocusLoopNode(Source source, TokenFactory tokenFactory, String focusTag, SequenceNode<ExpressionNode> tagWindow, SequenceNode<ExpressionNode> memoryList)
ForLoopNode	NodeFactory.newForLoopNode(Source source, ForLoopInitializerNode initializer, ExpressionNode condition, ExpressionNode incrementer, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new for loop node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new function call node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> contextArguments, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new kernel function call node.
FunctionDeclarationNode	NodeFactory.newFunctionDeclarationNode(Source source, IdentifierNode name, TypeNode type, SequenceNode<ContractNode> contract)	Creates a new function declaration with no body (so it is not a function "definition").
FunctionDefinitionNode	NodeFactory.newFunctionDefinitionNode(Source source, IdentifierNode name, FunctionTypeNode type, SequenceNode<ContractNode> contract, CompoundStatementNode body)	Constructs a new node representing a function definition, i.e., a function declaration with body.
FunctionTypeNode	NodeFactory.newFunctionTypeNode(Source source, TypeNode returnType, SequenceNode<VariableDeclarationNode> formals, boolean hasIdentifierList)	Constructs and returns a new function type node.
GenericSelectionNode	NodeFactory.newGenericSelectionNode(Source source, ExpressionNode controllingExpression, ExpressionNode defaultExpression, SequenceNode<GenericAssociationNode> genericAssociationList)	Constructs a new generic selection node, used to select an expression to evaluate at compile time based on the type of the controlling expression.
MemoryEventNode	NodeFactory.newMemoryEventNode(Source source, MemoryEventNode.MemoryEventNodeKind kind, SequenceNode<ExpressionNode> memoryList)	creates a new memory event node, which could be either \read , write or reach.
OmpSyncNode	NodeFactory.newOmpFlushNode(Source source, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP flush node, representing #pragma omp flush....
OmpFunctionReductionNode	NodeFactory.newOmpFunctionReductionNode(Source source, IdentifierExpressionNode function, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP reduction node with an identifier operator (i.e., function names).
OmpSymbolReductionNode	NodeFactory.newOmpSymbolReductionNode(Source source, OmpReductionNode.OmpReductionOperator operator, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP reduction node with a standard operator.
OmpDeclarativeNode	NodeFactory.newOmpThreadprivateNode(Source source, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP threadprivate node.
PredicateNode	NodeFactory.newPredicateNode(Source source, IdentifierNode identifier, SequenceNode<VariableDeclarationNode> parameters, ExpressionNode body)	Creates a new PredicateNode for ACSL predicates
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.
AssignsOrReadsNode	NodeFactory.newReadsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL reads contract clause.
StructureOrUnionTypeNode	NodeFactory.newStructOrUnionTypeNode(Source source, boolean isStruct, IdentifierNode tag, SequenceNode<FieldDeclarationNode> structDeclList)	Constructs and returns a new structure or union type node.
TypedefNameNode	NodeFactory.newTypedefNameNode(IdentifierNode name, SequenceNode<ExpressionNode> scopeList)	Returns a new instance of a typedef name node.
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 SequenceNode

Modifier and Type	Method	Description
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.

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

Methods in dev.civl.abc.ast.node.IF.acsl that return SequenceNode

Modifier and Type	Method	Description
SequenceNode<ExpressionNode>	CallEventNode.arguments()	the arguments of the function call
SequenceNode<ContractNode>	BehaviorNode.getBody()	returns the body of this behavior, which is a sequence of contract nodes
SequenceNode<DependsEventNode>	DependsNode.getEventList()	Gets the list of events specified by this depends clause
SequenceNode<ExpressionNode>	FocusLoopTransformNode.getFocusWindow()
SequenceNode<IdentifierNode>	CompletenessNode.getIDList()	The list of behavior IDs associates with this completeness clause.
SequenceNode<ExpressionNode>	AssignsOrReadsNode.getMemoryList()	Gets the list of memory associated with this node.
SequenceNode<ExpressionNode>	FocusLoopTransformNode.getMemoryList()
SequenceNode<ExpressionNode>	MemoryEventNode.getMemoryList()
SequenceNode<VariableDeclarationNode>	PredicateNode.getParameters()	The parameters of the predicate
SequenceNode<ExpressionNode>	AllocationNode.memoryList()	Returns the list of memory units associated with this allocation clause.

Uses of SequenceNode in dev.civl.abc.ast.node.IF.compound

Subinterfaces of SequenceNode in dev.civl.abc.ast.node.IF.compound

Modifier and Type	Interface	Description
interface	CompoundInitializerNode	A compound initializer (written with curly braces in C) is used to initialize an array, struct, or union.
interface	DesignationNode	A designation node specifies a sequence of designators.

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

Methods in dev.civl.abc.ast.node.IF.declaration that return SequenceNode

Modifier and Type	Method	Description
SequenceNode<ExpressionNode>	VariableDeclarationNode.constantAlignmentSpecifiers()	An object declaration may contain any number of alignment specifiers.
SequenceNode<ContractNode>	FunctionDeclarationNode.getContract()	Returns the contract node for this function declaration.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	AbstractFunctionDefinitionNode.getIntervals()	Returns the sequence of interval whose Cartesian product defines the domain on which the function is differentiable.
SequenceNode<VariableDeclarationNode>	ScopeParameterizedDeclarationNode.parameters()	Returns the scope parameters.
SequenceNode<TypeNode>	VariableDeclarationNode.typeAlignmentSpecifiers()	An object declaration may contain any number of alignment specifiers.

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

Modifier and Type	Method	Description
void	VariableDeclarationNode.setConstantAlignmentSpecifiers(SequenceNode<ExpressionNode> specifiers)	Sets the node that will be returned by method VariableDeclarationNode.constantAlignmentSpecifiers().
void	FunctionDeclarationNode.setContract(SequenceNode<ContractNode> contract)	Sets the contract node child of this node to the given node.
void	VariableDeclarationNode.setTypeAlignmentSpecifiers(SequenceNode<TypeNode> specifiers)	Sets the node that will be returned by VariableDeclarationNode.typeAlignmentSpecifiers() .

Uses of SequenceNode in dev.civl.abc.ast.node.IF.expression

Methods in dev.civl.abc.ast.node.IF.expression that return SequenceNode

Modifier and Type	Method	Description
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	ArrayLambdaNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	QuantifiedExpressionNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<ExpressionNode>	FunctionCallNode.getArguments()	Returns the arguments of this function call node, which is a sequence node of expressions.
SequenceNode<GenericAssociationNode>	GenericSelectionNode.getAssociationList()
SequenceNode<ExpressionNode>	FunctionCallNode.getScopeList()	Returns the actual scope parameter names used when instantiating a scope-generic functions, as in finvalid input: '<'s1,s2>(...) This will be deprecated soon.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	QuantifiedExpressionNode.intervalSequence()	The following is an experimental field for the $uniform operator.

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

Modifier and Type	Method	Description
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	ArrayLambdaNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	QuantifiedExpressionNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.

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

Modifier and Type	Method	Description
void	FunctionCallNode.setArguments(SequenceNode<ExpressionNode> arguments)	Updates the actual parameters of the function call node.
void	FunctionCallNode.setContextArguments(SequenceNode<ExpressionNode> arguments)	Updates the actual execution context parameters of the function call node.

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

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

Modifier and Type	Method	Description
SequenceNode<FunctionCallNode>	OmpForNode.assertions()	Returns the assertions to be checked before the entry of this loop construct.
SequenceNode<IdentifierExpressionNode>	OmpExecutableNode.copyinList()	Returns the list of identifier nodes declared by copyin clause.
SequenceNode<IdentifierExpressionNode>	OmpExecutableNode.copyprivateList()	Returns the list of identifier nodes declared by copyprivate clause.
SequenceNode<IdentifierExpressionNode>	OmpExecutableNode.firstprivateList()	Returns the list of identifier nodes declared by firstprivate clause.
SequenceNode<IdentifierExpressionNode>	OmpSyncNode.flushedList()	The list of variables in the flush construct.
SequenceNode<IdentifierExpressionNode>	OmpExecutableNode.lastprivateList()	Returns the list of identifier nodes declared by lastprivate clause.
SequenceNode<IdentifierExpressionNode>	OmpExecutableNode.privateList()	Returns the list of identifier nodes declared by private clause.
SequenceNode<OmpReductionNode>	OmpExecutableNode.reductionList()	Returns the list of identifier nodes declared by reduction clause.
SequenceNode<IdentifierExpressionNode>	OmpExecutableNode.sharedList()	Returns the list of identifier nodes declared by shared clause.
SequenceNode<IdentifierExpressionNode>	OmpDeclarativeNode.variables()	Returns a sequence node of identifier expression nodes: threadprivate(x, y, z, ...): a non-empty sequence node threadprivate(): an empty sequence node
SequenceNode<IdentifierExpressionNode>	OmpReductionNode.variables()	Returns the list of variables associated with this clause.

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

Modifier and Type	Method	Description
void	OmpForNode.setAssertions(SequenceNode<FunctionCallNode> assertions)	Updates the assertions to be checked before the entry of this loop construct.
void	OmpExecutableNode.setCopyinList(SequenceNode<IdentifierExpressionNode> list)	Updates the copyin list of this node.
void	OmpExecutableNode.setCopyprivateList(SequenceNode<IdentifierExpressionNode> list)	Updates the copyprivate list of this node.
void	OmpExecutableNode.setFirstprivateList(SequenceNode<IdentifierExpressionNode> list)	Updates the firstprivate list of this node.
void	OmpSyncNode.setFlushedList(SequenceNode<IdentifierExpressionNode> list)	Updates the flush list of this construct.
void	OmpExecutableNode.setLastprivateList(SequenceNode<IdentifierExpressionNode> list)	Updates the lastprivate list of this node.
void	OmpDeclarativeNode.setList(SequenceNode<IdentifierExpressionNode> list)	Updates the list of variable declared by this directive.
void	OmpExecutableNode.setPrivateList(SequenceNode<IdentifierExpressionNode> list)	Updates the private list of this node.
void	OmpExecutableNode.setReductionList(SequenceNode<OmpReductionNode> list)	Updates the reduction list of this node.
void	OmpExecutableNode.setSharedList(SequenceNode<IdentifierExpressionNode> list)	Updates the shared list of this node.

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

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

Modifier and Type	Interface	Description
interface	ChooseStatementNode	A "choose" statement has the form "choose { s1 ...
interface	CompoundStatementNode	A compound statement is a sequence of statements and declarations within curly braces: "{ ...
interface	DeclarationListNode	A list of variable declarations, such as might occur as an initializer in a for loop.

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

Modifier and Type	Method	Description
SequenceNode<ContractNode>	CivlForNode.loopContracts()	Optional loop contracts node.
SequenceNode<ContractNode>	LoopNode.loopContracts()

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

Methods in dev.civl.abc.ast.node.IF.type that return SequenceNode

Modifier and Type	Method	Description
SequenceNode<EnumeratorDeclarationNode>	EnumerationTypeNode.enumerators()	Returns the sequence of enumerators for this enumerated type.
SequenceNode<VariableDeclarationNode>	FunctionTypeNode.getParameters()	The sequence of formal parameter declarations for this function type.
SequenceNode<ExpressionNode>	TypedefNameNode.getScopeList()	Returns the actual scope parameters used in this instances of a scope-generic typedef.
SequenceNode<FieldDeclarationNode>	StructureOrUnionTypeNode.getStructDeclList()	Returns the sequence node for the list of members (fields) for this struct or union type.

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

Modifier and Type	Method	Description
void	FunctionTypeNode.setParameters(SequenceNode<VariableDeclarationNode> parameters)