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

Packages that use FunctionDefinitionNode

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.

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

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

Modifier and Type	Method	Description
FunctionDefinitionNode	Function.getDefinition()

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

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

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

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

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

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

Modifier and Type	Method	Description
FunctionDefinitionNode	FunctionDefinitionNode.copy()