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

Packages that use AssignStatement

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 AssignStatement in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
AssignStatement	ModelFactory.assignStatement(CIVLSource civlSource, Location source, LHSExpression lhs, Expression rhs, boolean isInitializer)	An assignment statement.