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

Packages that use InitializerNode

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.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.

Uses of InitializerNode in dev.civl.abc.ast.entity.IF

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

Modifier and Type	Method	Description
InitializerNode	Variable.getInitializer()	Gets the (optional) initializer for the object being declared.

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

Modifier and Type	Method	Description
void	Variable.setInitializer(InitializerNode initializer)	Sets the initializer for this variable.

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

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

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

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

Modifier and Type	Method	Description
CompoundInitializerNode	NodeFactory.newCompoundInitializerNode(Source source, List<PairNode<DesignationNode,InitializerNode>> initList)	Constructs new compound initializer node.

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

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

Modifier and Type	Interface	Description
interface	ExtendedQuantifiedExpressionNode	This represents an ACSL extended quantification expression.
interface	NothingNode	Constant $nothing, argument of $assigns / $reads contract clauses.
interface	ObjectOrRegionOfNode	This represents a $object_of of $region_of expression.

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

Subinterfaces of InitializerNode 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.

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

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

Modifier and Type	Method	Description
InitializerNode	InitializerNode.copy()
InitializerNode	VariableDeclarationNode.getInitializer()	Gets the (optional) initializer for the object being declared.

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

Modifier and Type	Method	Description
void	VariableDeclarationNode.setInitializer(InitializerNode initializer)	Sets the value that will be returned by VariableDeclarationNode.getInitializer().

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

Subinterfaces of InitializerNode in dev.civl.abc.ast.node.IF.expression

Modifier and Type	Interface	Description
interface	AlignOfNode	The _Alignof(typename) operator.
interface	ArrayLambdaNode	A CIVL-C array lambda expression, including three components, bound variable declaration list, (optional) restriction and expression.
interface	ArrowNode	An expression in which the operator is the C -> (arrow) operator.
interface	CastNode	A C cast expression has the form (typeName)expr.
interface	CharacterConstantNode	An instance of this interface represents a single Unicode character occurring as a literal element in a C program.
interface	CompoundLiteralNode	Compound literals are used to represent literal array, structure, and union values.
interface	ConstantNode	A "constant" in the sense of the C11 Standard.
interface	DerivativeExpressionNode	A CIVL-C derivative expression is a function call to the partial derivative of an abstract function.
interface	DotNode	A C expression in which the operator is the . (dot) operator, used to specify a member of a structure or union.
interface	EnumerationConstantNode	An enumeration constant node represents a use of an enumeration constant as an expression.
interface	ExpressionNode	A node representing any kind of C expression.
interface	FloatingConstantNode	A floating constant node represents an occurrence of a literal floating point number in a program.
interface	FunctionCallNode	Node representing a function call.
interface	GenericSelectionNode	Represents a C11 generic selection construct; see C11 Section 6.5.1.1.
interface	HereOrRootNode	A node representing one of the two CIVL-C constant expressions of type $scope: $here (the dynamic scope in which the expression is evaluated), or $root (representing the root dynamic scope).
interface	IdentifierExpressionNode	Represents the use of an identifier as an expression.
interface	IntegerConstantNode	An integer constant node represents the occurrence of a literal integer constant in a program.
interface	LambdaNode	A lambda function, including two/three components, a bound variable declaration (optional) and the lambda term.
interface	OperatorNode	A node that represents an expression built using an operator.
interface	ProcnullNode	Represents the CIVL-C null process constant $proc_null, which is a constant of type $proc.
interface	QuantifiedExpressionNode	A CIVL-C quantified expression, including three components, bound variable declaration list, (optional) restriction and expression.
interface	RegularRangeNode	Represents a CIVL-C regular range expression, which has the form lo ..
interface	RemoteOnExpressionNode	A CIVL-C remote expression is used to reference a variable in another process.
interface	ResultNode	Represents the CIVL-C built-in variable $result, which represents the value returned by a function.
interface	ScopeOfNode	Represents a CIVL-C scope-of expression, which has the form $scopeof(lhs), where lhs is a left-hand-side expression.
interface	SelfNode	Represents the CIVL-C built-in variable $self, which has type $scope and evaluates to the dynamic scope in which the variable is being evaluated.
interface	SizeofNode	Represents a C sizeof(...) expression.
interface	SpawnNode	Represents a CIVL-C $spawn expression, which has the form $spawn f(e1,...,en).
interface	StatementExpressionNode	This represents a GNU C statement expression.
interface	StatenullNode	Represents the CIVL-C null state constant $state_null, which is a constant of type $state.
interface	StringLiteralNode	Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes.
interface	WildcardNode