Module dev.civl.abc

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

Interface FunctionTypeNode

All Superinterfaces:

ASTNode, SizeableNode, TypeNode

public interface FunctionTypeNode
extends TypeNode

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.type.TypeNode

TypeNode.TypeNodeKind

Method Summary

Modifier and Type	Method	Description
FunctionTypeNode	copy()	Returns a deep copy of this AST node.
SequenceNode<VariableDeclarationNode>	getParameters()	The sequence of formal parameter declarations for this function type.
TypeNode	getReturnType()	The return type of this function.
boolean	hasIdentifierList()
boolean	hasVariableArgs()	A function that takes a variable number of arguments will have an ellipsis occur at the end of its argument list.
void	setParameters(SequenceNode<VariableDeclarationNode> parameters)
void	setReturnType(TypeNode type)
void	setVariableArgs(boolean value)

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.type.TypeNode

getType, isAtomicQualified, isConstQualified, isInputQualified, isOutputQualified, isRestrictQualified, isVolatileQualified, kind, setAtomicQualified, setConstQualified, setInputQualified, setOutputQualified, setRestrictQualified, setType, setVolatileQualified

Method Details

hasIdentifierList

boolean hasIdentifierList()

getReturnType

TypeNode getReturnType()

The return type of this function. Non-null.

Returns:

the return type

setReturnType

void setReturnType(TypeNode type)

hasVariableArgs

boolean hasVariableArgs()

A function that takes a variable number of arguments will have an ellipsis occur at the end of its argument list.

Returns:

true iff this function takes a variable number of arguments

setVariableArgs

void setVariableArgs(boolean value)

getParameters

SequenceNode<VariableDeclarationNode> getParameters()

The sequence of formal parameter declarations for this function type. An identifier list is represented by a sequence of declarations in which all components other than the identifiers are null.

Returns:

sequence of parameter declarations

setParameters

void setParameters(SequenceNode<VariableDeclarationNode> parameters)

copy

FunctionTypeNode 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 SizeableNode

Specified by:

copy in interface TypeNode

Returns:

deep copy of this node