Module dev.civl.mc

Package dev.civl.mc.model.IF.statement

Interface CivlParForSpawnStatement

All Superinterfaces:

Sourceable, Statement

public interface CivlParForSpawnStatement
extends Statement

This represents the first part of a $parfor construct, i.e., spawning processes according the specified domain.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.statement.Statement

Statement.StatementKind

Method Summary

Modifier and Type	Method	Description
int	dimension()	returns the dimension of the domain
Expression	domain()	returns the domain according to which processes will be spawned.
VariableExpression	domSizeVar()	returns the variable that represents the size of the domain, i.e., how many elements are contained in the domain.
CIVLFunction	parProcFunction()	returns the function to be executed by the spawned processes, which is equivalent to the body of the $parfor.
VariableExpression	parProcsVar()	returns the variable that represents the array of process references of processes spawned by this CivlParForSpawnStatement.
void	setParProcFunction(CIVLFunction function)	updates the function which will be executed by spawned processes.

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

getSource

Methods inherited from interface dev.civl.mc.model.IF.statement.Statement

calculateConstantValue, calculateDerefs, containsHere, freeVariables, guard, hasDerefs, isPurelyLocal, locationStepString, lowestScope, model, purelyLocalAnalysisOfVariables, reachable, reached, replaceWith, replaceWith, setCIVLSource, setGuard, setModel, setSource, setSourceTemp, setTarget, setTargetTemp, source, statementKind, statementScope, summaryOfSource, target, toStepString, variableAddressedOf, variableAddressedOf

Method Details

parProcFunction

CIVLFunction parProcFunction()

returns the function to be executed by the spawned processes, which is equivalent to the body of the $parfor.

Returns:

the function to be executed by the spawned processes, which is equivalent to the body of the $parfor.

domain

Expression domain()

returns the domain according to which processes will be spawned.

Returns:

the domain according to which processes will be spawned.

dimension

int dimension()

returns the dimension of the domain

Returns:

the dimension of the domain

domSizeVar

VariableExpression domSizeVar()

returns the variable that represents the size of the domain, i.e., how many elements are contained in the domain. The actual value of this variable is to be updated during the execution of this CivlParForSpawnStatement.

Returns:

the variable that represents the size of the domain

parProcsVar

VariableExpression parProcsVar()

returns the variable that represents the array of process references of processes spawned by this CivlParForSpawnStatement.

Returns:

the variable that represents the array of references of the spawned processes.

setParProcFunction

void setParProcFunction(CIVLFunction function)

updates the function which will be executed by spawned processes.

Parameters:

function - the function equivalent to the body of the $parfor