Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.declaration

Interface AbstractFunctionDefinitionNode

All Superinterfaces:

ASTNode, BlockItemNode, DeclarationNode, FunctionDeclarationNode, OrdinaryDeclarationNode

public interface AbstractFunctionDefinitionNode
extends FunctionDeclarationNode

An abstract function definition contains the information for an abstract function (i.e. a function in the mathematical sense, treated as uninterpreted in the code).

An abstract function has an identifier, return type, parameters, and an integer specifying the number of partial derivatives that may be taken.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.statement.BlockItemNode

BlockItemNode.BlockItemKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.declaration.OrdinaryDeclarationNode

OrdinaryDeclarationNode.OrdinaryDeclarationKind

Method Summary

Modifier and Type	Method	Description
int	continuity()	Returns the number of partial derivatives that exist and are continuous.
AbstractFunctionDefinitionNode	copy()	Returns a deep copy of this AST node.
StringLiteralNode	getAttribute()
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	getIntervals()	Returns the sequence of interval whose Cartesian product defines the domain on which the function is differentiable.

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.statement.BlockItemNode

blockItemKind

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.DeclarationNode

getIdentifier, getName, isDefinition, setEntity, setIdentifier, setIsDefinition

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.FunctionDeclarationNode

getContract, getEntity, getSystemLibrary, hasAtomicFunctionSpecifier, hasDeviceFunctionSpecifier, hasGlobalFunctionSpecifier, hasInlineFunctionSpecifier, hasNoreturnFunctionSpecifier, hasPureFunctionSpecifier, hasStatefFunctionSpecifier, hasSystemFunctionSpecifier, isLogicFunction, setAtomicFunctionSpecifier, setContract, setDeviceFunctionSpecifier, setGlobalFunctionSpecifier, setInlineFunctionSpecifier, setIsLogicFunction, setNoreturnFunctionSpecifier, setPureFunctionSpecifier, setStatefFunctionSpecifier, setSystemFunctionSpecifier, setSystemLibrary

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.OrdinaryDeclarationNode

getTypeNode, hasExternStorage, hasStaticStorage, ordinaryDeclarationKind, setExternStorage, setStaticStorage, setTypeNode

Method Details

continuity

int continuity()

Returns the number of partial derivatives that exist and are continuous.

Returns:

The total number of partial derivatives (of any parameter) that may be taken.

getIntervals

SequenceNode<PairNode<ExpressionNode,ExpressionNode>> getIntervals()

Returns the sequence of interval whose Cartesian product defines the domain on which the function is differentiable.

Returns:

the interval sequence or null if absent

copy

AbstractFunctionDefinitionNode copy()

Description copied from interface: ASTNode

Returns a deep copy of this AST node. The node and all of its descendants will be cloned. The cloning does not copy analysis or attribute information.

Specified by:

copy in interface ASTNode

Specified by:

copy in interface BlockItemNode

Specified by:

copy in interface DeclarationNode

Specified by:

copy in interface FunctionDeclarationNode

Specified by:

copy in interface OrdinaryDeclarationNode

Returns:

deep copy of this node

getAttribute

StringLiteralNode getAttribute()

Returns:

the StringLiteralNode representing an optional attribute attached to the abstract function, if there is an attribute. null, otherwise.