Module dev.civl.abc

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

Interface MPICollectiveBlockNode

All Superinterfaces:

ASTNode, ContractNode

public interface MPICollectiveBlockNode
extends ContractNode

An contract block introduced by the mpi_collective(MPI_Comm, Kind): contract constructor.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	MPICollectiveBlockNode.MPICommunicatorMode

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.acsl.ContractNode

ContractNode.ContractKind

Method Summary

Modifier and Type	Method	Description
MPICollectiveBlockNode	copy()	Returns a deep copy of this AST node.
SequenceNode<ContractNode>	getBody()	Get the body of a MPI collective block
MPICollectiveBlockNode.MPICommunicatorMode	getCollectiveKind()	Returns the node corresponding to the specific MPI collective kind
ExpressionNode	getMPIComm()	Returns the node corresponding to the specific MPI_Comm

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.acsl.ContractNode

contractKind

Method Details

getMPIComm

ExpressionNode getMPIComm()

Returns the node corresponding to the specific MPI_Comm

Returns:

getCollectiveKind

MPICollectiveBlockNode.MPICommunicatorMode getCollectiveKind()

Returns the node corresponding to the specific MPI collective kind

Returns:

getBody

SequenceNode<ContractNode> getBody()

Get the body of a MPI collective block

Returns:

copy

MPICollectiveBlockNode 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 ContractNode

Returns:

deep copy of this node