Uses of Interface
dev.civl.mc.model.IF.type.CIVLPointerType

Packages that use CIVLPointerType

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

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

Modifier and Type	Method	Description
CIVLPointerType	CIVLTypeFactory.pointerType(CIVLType baseType)	Get a new pointer type.

Methods in dev.civl.mc.model.IF with parameters of type CIVLPointerType

Modifier and Type	Method	Description
Expression	ModelFactory.nullPointerExpression(CIVLPointerType pointerType, CIVLSource source)	Generate a null pointer expression