Module dev.civl.mc

Package dev.civl.mc.model.IF.expression

Interface MPIContractExpression

All Superinterfaces:

Expression, Sourceable

public interface MPIContractExpression
extends Expression

This class represents a set of MPI contract expressions:

1. \mpi_empty_in: expresses that a receiving buffer is empty.
2. \mpi_empty_out: expresses that a sending buffer is empty.
3. \mpi_agree: expresses that an variable is same at the beginning for all processes.
4. \mpi_equals: expresses that two pointers are pointing to the equal obejects.
5. \mpi_region: represents an memory object in an MPI program.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.Expression

Expression.ExpressionKind

Method Summary

Modifier and Type	Method	Description
Expression[]	arguments()	Returns an array of arguments of an MPI contract expression.
MPICollectiveBehavior.MPICommunicationPattern	getMpiCommunicationPattern()	Summary Returns the MPI communication pattern.
MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND	mpiContractKind()	Returns MPI_CONTRACT_EXPRESSION_KIND which denotes the exact kind of a general MPI contract expression.

Methods inherited from interface dev.civl.mc.model.IF.expression.Expression

calculateConstantValue, calculateDerefs, constantValue, containsHere, expressionKind, expressionScope, freeVariables, getExpressionType, hasConstantValue, hasDerefs, isErrorFree, isPurelyLocal, lowestScope, purelyLocalAnalysis, purelyLocalAnalysisOfVariables, replaceWith, replaceWith, setErrorFree, variableAddressedOf, variableAddressedOf

Methods inherited from interface dev.civl.mc.model.IF.Sourceable

getSource, setCIVLSource

Method Details

mpiContractKind

MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND mpiContractKind()

Returns MPI_CONTRACT_EXPRESSION_KIND which denotes the exact kind of a general MPI contract expression.

Returns:

arguments

Expression[] arguments()

Returns an array of arguments of an MPI contract expression.

Returns:

getMpiCommunicationPattern

MPICollectiveBehavior.MPICommunicationPattern getMpiCommunicationPattern()

Summary Returns the MPI communication pattern. Currently it's either P2P (point-2-point) or COL (collective)

Returns: