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

Packages that use DereferenceExpression

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

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

Modifier and Type	Method	Description
DereferenceExpression	ModelFactory.dereferenceExpression(CIVLSource source, Expression pointer)	Returns a new dereference expression (*p) with operand pointer.