Module dev.civl.abc

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

Interface MPIContractAbsentNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, MPIContractExpressionNode, SizeableNode

public interface MPIContractAbsentNode
extends MPIContractExpressionNode

This MPIContractExpressionNode denotes an MPI absent expression, which states a path predicate for an MPI collective-style function.

An MPI absent expressions is parameterized by three events, each of which is an instance of MPIContractAbsentEventNode. The three events are called respectively the "absentEvent", "fromEvent" and "untilEvent". They encode the meaning that no "absentEvent" can happen since "fromEvent" until "untilEvent".

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.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	absentEvent()
MPIContractAbsentEventNode	fromEvent()
MPIContractAbsentEventNode	untilEvent()

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

absentEvent

MPIContractAbsentEventNode absentEvent()

Returns:

the "absentEvent". For the meaning of "absentEvent", see MPIContractAbsentNode

fromEvent

MPIContractAbsentEventNode fromEvent()

Returns:

the "fromEvent". For the meaning of "fromEvent", see MPIContractAbsentNode

untilEvent

MPIContractAbsentEventNode untilEvent()

Returns:

the "untilEvent". For the meaning of "untilEvent", see MPIContractAbsentNode