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

Packages that use MemoryUnitExpression

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.location	Submodule model.location defines a location in the control flow graph of CIVL.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

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

Modifier and Type	Method	Description
MemoryUnitExpression	ModelFactory.memoryUnitExpression(CIVLSource source, Variable variable, CIVLType objetType, MemoryUnitReference reference, boolean writable, boolean hasPinterRef)	creates a memory unit expression.

Uses of MemoryUnitExpression in dev.civl.mc.model.IF.location

Methods in dev.civl.mc.model.IF.location that return types with arguments of type MemoryUnitExpression

Modifier and Type	Method	Description
Set<MemoryUnitExpression>	Location.impactMemUnits()	Returns the impact memory unit expressions of this location.
Set<MemoryUnitExpression>	Location.reachableMemUnitsWoPointer()
Set<MemoryUnitExpression>	Location.reachableMemUnitsWtPointer()

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

Modifier and Type	Method	Description
void	Location.setImpactMemoryUnit(Set<MemoryUnitExpression> impacts)
void	Location.setReachableMemUnitsWoPointer(Set<MemoryUnitExpression> reachable)
void	Location.setReachableMemUnitsWtPointer(Set<MemoryUnitExpression> reachable)

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

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

Modifier and Type	Method	Description
MemoryUnitSet	MemoryUnitExpressionEvaluator.evaluates(State state, int pid, MemoryUnitExpression memUnit, MemoryUnitSet muSet)	evaluates the static impact memory unit expression which is the result of static analysis