Uses of Interface
dev.civl.abc.ast.node.IF.declaration.VariableDeclarationNode

Packages that use VariableDeclarationNode

Package	Description
dev.civl.abc.ast.entity.IF	Submodule ast.entity defines entities (objects of type Entity), the abstract things such as types, structures, unions, enumerations, objects (variables), functions, and so on, which can be named by identifiers in a program.
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.expression	The ast.node.expression submodule defines AST nodes for representing expressions 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 VariableDeclarationNode in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return VariableDeclarationNode

Modifier and Type	Method	Description
VariableDeclarationNode	Variable.getDeclaration(int index)
VariableDeclarationNode	Variable.getDefinition()

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

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

Modifier and Type	Method	Description
VariableDeclarationNode	NodeFactory.newVariableDeclarationNode(Source source, IdentifierNode name, TypeNode type)	Creates a new declaration of an "object" variable with no initializer.
VariableDeclarationNode	NodeFactory.newVariableDeclarationNode(Source source, IdentifierNode name, TypeNode type, InitializerNode initializer)	Creates a new declaration for an "object" variable with an initializer.

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

Modifier and Type	Method	Description
LambdaNode	NodeFactory.newLambdaNode(Source source, VariableDeclarationNode boundVariableDeclaration, ExpressionNode expression)	Constructs a new lambda expression with a free (no restriction on the bound variable) variable.
LambdaNode	NodeFactory.newLambdaNode(Source source, VariableDeclarationNode boundVariableDeclaration, ExpressionNode restriction, ExpressionNode expression)	Constructs a new lambda expression with restriction on the bound variable.

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

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.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, List<VariableDeclarationNode> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
DeclarationListNode	NodeFactory.newForLoopInitializerNode(Source source, List<VariableDeclarationNode> declarations)	Construcs a new declaration list node, which is comprised of a sequence of variable declarations.
FunctionTypeNode	NodeFactory.newFunctionTypeNode(Source source, TypeNode returnType, SequenceNode<VariableDeclarationNode> formals, boolean hasIdentifierList)	Constructs and returns a new function type 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.

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

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

Modifier and Type	Method	Description
SequenceNode<VariableDeclarationNode>	PredicateNode.getParameters()	The parameters of the predicate

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

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

Modifier and Type	Method	Description
VariableDeclarationNode	VariableDeclarationNode.copy()

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

Modifier and Type	Method	Description
SequenceNode<VariableDeclarationNode>	ScopeParameterizedDeclarationNode.parameters()	Returns the scope parameters.

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

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

Modifier and Type	Method	Description
VariableDeclarationNode	LambdaNode.freeVariable()

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

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.

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

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

Modifier and Type	Method	Description
SequenceNode<VariableDeclarationNode>	FunctionTypeNode.getParameters()	The sequence of formal parameter declarations for this function type.

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

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