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

Packages that use FunctionDeclarationNode

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

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

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

Modifier and Type	Method	Description
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").

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

Subinterfaces of FunctionDeclarationNode 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 FunctionDeclarationNode in dev.civl.abc.ast.node.IF.declaration

Subinterfaces of FunctionDeclarationNode 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	FunctionDefinitionNode	Represents a function definition, i.e., a function declaration which includes the function body.

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

Modifier and Type	Method	Description
FunctionDeclarationNode	FunctionDeclarationNode.copy()