Module dev.civl.abc

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

Interface MPIContractExpressionNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

All Known Subinterfaces:

MPIContractAbsentEventNode, MPIContractAbsentNode

public interface MPIContractExpressionNode
extends ExpressionNode

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	MPIContractExpressionNode.MPIContractExpressionKind

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.expression.ExpressionNode

ExpressionNode.ExpressionKind

Method Summary

Modifier and Type	Method	Description
ExpressionNode	getArgument(int index)	Returns the index-th argument
MPIContractExpressionNode.MPIContractExpressionKind	MPIContractExpressionKind()
int	numArguments()	Return the number of arguments of this MPI expression

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.expression.ExpressionNode

addConversion, copy, expressionKind, getConversion, getConvertedType, getInitialType, getNumConversions, isConstantExpression, isLvalue, removeConversions, setInitialType

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

isSideEffectFree

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.SizeableNode

getType

Method Details

MPIContractExpressionKind

MPIContractExpressionNode.MPIContractExpressionKind MPIContractExpressionKind()

numArguments

int numArguments()

Return the number of arguments of this MPI expression

Returns:

getArgument

ExpressionNode getArgument(int index)

Returns the index-th argument

Parameters:

index -

Returns: