Uses of Interface
dev.civl.mc.model.IF.statement.WithStatement

Packages that use WithStatement

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.

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

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

Modifier and Type	Method	Description
WithStatement	ModelFactory.withStatement(CIVLSource source, Location srcLoc, Expression colStateExpr, CIVLFunction function)	creates a new instance of $with statement.
WithStatement	ModelFactory.withStatement(CIVLSource source, Location srcLoc, LHSExpression colStateExpr, boolean isEnter)	creates a new instance of $with statement.