Module dev.civl.abc

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

Interface MPIContractAbsentEventNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, MPIContractExpressionNode, SizeableNode

public interface MPIContractAbsentEventNode
extends MPIContractExpressionNode

This ContractNode represents an "mpi event", which represents a set of specific actions that a process performs during runtime.

There are four kinds of "mpi event": SENDTO, SENDFROM, ENTER and EXIT.

The SENDTO(dests, tags) event represents the set of send actions which sends messages to the given set of destinations (dests) with the given set of message tags (tags), performed by the running process.

The SENDFROM(srcs, tags) event represents the set of send actions which sends messages from the given set of source processes (srcs) to the running process with the given message tags (tags).

The ENTER(p) event is associated to a function "f". It represents the action that a process p enters the function "f". If the argument p is absent, it represents the action performed by the running process.

The EXIT(p) event is associated to a function "f". It represents the action that a process p exits the function "f". If the argument p is absent, it * represents the action performed by the running process.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	MPIContractAbsentEventNode.MPIAbsentEventKind	The kinds of the events.

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

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

MPIContractExpressionNode.MPIContractExpressionKind

Method Summary

Modifier and Type	Method	Description
MPIContractAbsentEventNode.MPIAbsentEventKind	absentEventKind()
ExpressionNode[]	arguments()	for the meaning of the arguments, see MPIContractAbsentEventNode

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

getArgument, MPIContractExpressionKind, numArguments

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

getType

Method Details

absentEventKind

MPIContractAbsentEventNode.MPIAbsentEventKind absentEventKind()

Returns:

the MPIContractAbsentEventNode.MPIAbsentEventKind of this event.

arguments

ExpressionNode[] arguments()

for the meaning of the arguments, see MPIContractAbsentEventNode

Returns:

the arguments of this event.

for
• SENDTO or SENDFROM kind, there must be two arguments: dests (or srcs) and tags
• ENTER kind, there is one or zero argument
• EXIT kind, there is one or zero argument