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

Packages that use DeclarationNode

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.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.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.type	The ast.node.type submodule defines AST nodes for representing type constructs in a program.

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

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

Modifier and Type	Method	Description
DeclarationNode	CommonEntity.getDeclaration(int index)
DeclarationNode	ProgramEntity.getDeclaration(int index)	Returns the index-th declaration of this entity.
DeclarationNode	CommonEntity.getDefinition()
DeclarationNode	ProgramEntity.getDefinition()	Gets the definition, i.e., the defining declaration of this entity.
DeclarationNode	CommonEntity.getFirstDeclaration()
DeclarationNode	ProgramEntity.getFirstDeclaration()	Gets one of the declarations of this entity.

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

Modifier and Type	Method	Description
Iterable<DeclarationNode>	CommonEntity.getDeclarations()
Iterable<DeclarationNode>	ProgramEntity.getDeclarations()	Returns an iterator over all the known declarations of this entity.

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

Modifier and Type	Method	Description
void	CommonEntity.addDeclaration(DeclarationNode declaration)
void	ProgramEntity.addDeclaration(DeclarationNode declaration)	Adds a declaration to this entity.
void	CommonEntity.setDefinition(DeclarationNode declaration)
void	ProgramEntity.setDefinition(DeclarationNode declaration)	Sets the definition for this entity.

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

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

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

Subinterfaces of DeclarationNode 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	EnumeratorDeclarationNode	The declaration of an enumerator (enumeration constant) within an enumeration type definition.
interface	FieldDeclarationNode	Represents a declaration of a field (member) in a struct or union type.
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").

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

Modifier and Type	Method	Description
DeclarationNode	ScopeParameterizedDeclarationNode.baseDeclaration()	Returns the base declaration, the "body" of this parameterized declaration.
DeclarationNode	DeclarationNode.copy()

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

Subinterfaces of DeclarationNode in dev.civl.abc.ast.node.IF.label

Modifier and Type	Interface	Description
interface	OrdinaryLabelNode	Represents an ordinary label (i.e., a label which is not a case or default label).

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

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

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