Uses of Interface
dev.civl.mc.model.IF.expression.VariableExpression

Packages that use VariableExpression

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.

Uses of VariableExpression in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return VariableExpression

Modifier and Type	Method	Description
VariableExpression	ModelFactory.atomicLockVariableExpression()	This method is used in Enabler when a process resumes from being blocked and wants to get the atomic lock
VariableExpression	ModelFactory.domSizeVariable(CIVLSource source, Scope scope)
VariableExpression	ModelFactory.parProcsVariable(CIVLSource source, CIVLType type, Scope scope)
VariableExpression	ModelFactory.variableExpression(CIVLSource source, Variable variable)	A variable expression.

Methods in dev.civl.mc.model.IF with parameters of type VariableExpression

Modifier and Type	Method	Description
CivlParForSpawnStatement	ModelFactory.civlParForEnterStatement(CIVLSource source, Location location, Expression domain, VariableExpression domSize, VariableExpression procsVar, CIVLFunction parProcFunc)	creates a $parfor enter statement to start the execution of the $parfor.

Uses of VariableExpression in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression with parameters of type VariableExpression

Modifier and Type	Method	Description
void	Expression.replaceWith(ConditionalExpression oldExpression, VariableExpression newExpression)	Replace a certain conditional expression with a variable expression.

Uses of VariableExpression in dev.civl.mc.model.IF.statement

Methods in dev.civl.mc.model.IF.statement that return VariableExpression

Modifier and Type	Method	Description
VariableExpression	CivlParForSpawnStatement.domSizeVar()	returns the variable that represents the size of the domain, i.e., how many elements are contained in the domain.
VariableExpression	CivlParForSpawnStatement.parProcsVar()	returns the variable that represents the array of process references of processes spawned by this CivlParForSpawnStatement.

Methods in dev.civl.mc.model.IF.statement with parameters of type VariableExpression

Modifier and Type	Method	Description
void	Statement.replaceWith(ConditionalExpression oldExpression, VariableExpression newExpression)	Modify this statement including its guard by replacing a certain conditional expression with a variable expression, used when translating away conditional expression and a temporal variable is introduced. For example, x = a ? b : c will be translated into if(a) v0 = b; else v0 = c; x = v0; Another example, $when(a?b:c) x = k; will be translated into if(a) v0 = b; else v0 = c; $when(v0) x = k;