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

Packages that use DotExpression

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

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

Modifier and Type	Method	Description
DotExpression	ModelFactory.dotExpression(CIVLSource source, Expression struct, int fieldIndex)	A dot expression is a reference to a struct field.