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

Packages that use CIVLBundleType

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

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

Modifier and Type	Method	Description
CIVLBundleType	CIVLTypeFactory.bundleType()	Gets the CIVL bundle type, which is unique for a given CIVL model.
CIVLBundleType	Model.bundleType()
CIVLBundleType	CIVLTypeFactory.initBundleType()	Initializes the bundle type of the model and return the result.

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

Modifier and Type	Method	Description
void	CIVLTypeFactory.completeBundleType(CIVLBundleType bundleType, List<CIVLType> eleTypes, Collection<dev.civl.sarl.IF.type.SymbolicType> types)	Completes the bundle type by specifying the list of all dynamic types which can occur as bundle elements.
void	Model.setBundleType(CIVLBundleType type)	updates the bundle type of the model