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

Packages that use CIVLHeapType

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

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

Modifier and Type	Method	Description
CIVLHeapType	CIVLTypeFactory.heapType()	Returns the CIVL heap type, which is unique for a given CIVL model.
CIVLHeapType	CIVLTypeFactory.heapType(String name)	Returns a new, incomplete heap type.

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

Modifier and Type	Method	Description
void	CIVLTypeFactory.completeHeapType(CIVLHeapType heapType, Collection<MallocStatement> mallocs)	Completes the heap type.