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

Packages that use NoopStatement

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.statement	Submodule model.statement defines a statement of a CIVL-C program.

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

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

Modifier and Type	Method	Description
NoopStatement	ModelFactory.gotoBranchStatement(CIVLSource civlSource, Location source, String label)	A goto branch statement is of the form goto label; .
NoopStatement	ModelFactory.ifElseBranchStatement(CIVLSource civlSource, Location source, Expression guard, boolean isIf)	An if-else branch statement is introduced to translate if-else statement.
NoopStatement	ModelFactory.loopBranchStatement(CIVLSource civlSource, Location source, Expression guard, boolean isTrue, LoopContract loopContract)	An loop branch statement is introduced when translating a loop.
NoopStatement	ModelFactory.noopStatement(CIVLSource civlSource, Location source, Expression expression)	A noop statement with the default guard of true.
NoopStatement	ModelFactory.noopStatementForVariableDeclaration(CIVLSource civlSource, Location source)	A temporary noop statement with the true guard
NoopStatement	ModelFactory.noopStatementTemporary(CIVLSource civlSource, Location source)	A temporary noop statement with the true guard
NoopStatement	ModelFactory.noopStatementWtGuard(CIVLSource civlSource, Location source, Expression guard)	A noop statement with an explicit guard expression.
NoopStatement	ModelFactory.switchBranchStatement(CIVLSource civlSource, Location source, Expression guard)	Creates a switch branch statement for the default case, which is a subclass of no-op statement.
NoopStatement	ModelFactory.switchBranchStatement(CIVLSource civlSource, Location source, Expression guard, Expression label)	Creates a switch branch statement for a labeled case.

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

Subinterfaces of NoopStatement in dev.civl.mc.model.IF.statement

Modifier and Type	Interface	Description
interface	LoopBranchStatement