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

Packages that use LHSExpression

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.contract
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.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

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

Modifier and Type	Method	Description
AddressOfExpression	ModelFactory.addressOfExpression(CIVLSource source, LHSExpression operand)	Returns a new address-of expression (invalid input: '&e') with given operand.
AssignStatement	ModelFactory.assignStatement(CIVLSource civlSource, Location source, LHSExpression lhs, Expression rhs, boolean isInitializer)	An assignment statement.
MallocStatement	ModelFactory.mallocStatement(CIVLSource civlSource, Location source, LHSExpression lhs, CIVLType staticElementType, Expression scopeExpression, Expression sizeExpression, int mallocId, Expression guard)	Create a new malloc statement
ScopeofExpression	ModelFactory.scopeofExpression(CIVLSource source, LHSExpression argument)	Creates a new $scopeof expression using the given argument.
SubscriptExpression	ModelFactory.subscriptExpression(CIVLSource source, LHSExpression array, Expression index)	An expression for an array index operation.

Method parameters in dev.civl.mc.model.IF with type arguments of type LHSExpression

Modifier and Type	Method	Description
ParallelAssignStatement	ModelFactory.parallelAssignStatement(CIVLSource source, List<Pair<LHSExpression,Expression>> assignPairs)

Uses of LHSExpression in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return LHSExpression

Modifier and Type	Method	Description
LHSExpression[]	LoopContract.loopAssigns()	Returns an array of loop assigns specified for this loop.

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

Subinterfaces of LHSExpression in dev.civl.mc.model.IF.expression

Modifier and Type	Interface	Description
interface	DereferenceExpression
interface	DotExpression	A dot expression is a reference to a field in a struct or union.
interface	SubscriptExpression	a[i], where "a" is an array and "i" is an expression evaluating to an integer.
interface	VariableExpression	A use of a variable in an expression.

Methods in dev.civl.mc.model.IF.expression that return LHSExpression

Modifier and Type	Method	Description
LHSExpression	ScopeofExpression.argument()
LHSExpression	SubscriptExpression.array()
LHSExpression	AddressOfExpression.operand()

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

Modifier and Type	Method	Description
void	SubscriptExpression.setArray(LHSExpression array)

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

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

Modifier and Type	Method	Description
LHSExpression	AssignStatement.getLhs()
LHSExpression	MallocStatement.getLHS()	Returns the expression on the left-hand side of the assignment.
LHSExpression	CallOrSpawnStatement.lhs()

Methods in dev.civl.mc.model.IF.statement that return types with arguments of type LHSExpression

Modifier and Type	Method	Description
List<Pair<LHSExpression,Expression>>	ParallelAssignStatement.assignments()

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

Modifier and Type	Method	Description
void	CallOrSpawnStatement.setLhs(LHSExpression lhs)

Uses of LHSExpression in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF with parameters of type LHSExpression

Modifier and Type	Method	Description
State	Executor.assign(State state, int pid, String process, LHSExpression lhs, dev.civl.sarl.IF.expr.SymbolicExpression value, boolean isInitializer)	Assigns a value to the memory location specified by the given left-hand-side expression.
Evaluation	Evaluator.reference(State state, int pid, LHSExpression operand)	Creates a pointer value by evaluating a left-hand-side expression in the given state.