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

Packages that use OrdinaryDeclarationNode

Package	Description
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 OrdinaryDeclarationNode in dev.civl.abc.ast.node.IF.acsl

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

Subinterfaces of OrdinaryDeclarationNode 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	FunctionDeclarationNode	A node representing a function declaration.
interface	FunctionDefinitionNode	Represents a function definition, i.e., a function declaration which includes the function body.
interface	VariableDeclarationNode	A declaration of a variable ("object").

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

Modifier and Type	Method	Description
OrdinaryDeclarationNode	OrdinaryDeclarationNode.copy()