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

Packages that use StructOrUnionField

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.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.

Uses of StructOrUnionField in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
StructOrUnionField	CIVLTypeFactory.structField(Identifier name, CIVLType type, int index, boolean isAnonymous, CIVLStructOrUnionType enclosingType)	Returns a new struct field, used to complete a struct type.

Uses of StructOrUnionField in dev.civl.mc.model.IF.type

Methods in dev.civl.mc.model.IF.type that return StructOrUnionField

Modifier and Type	Method	Description
StructOrUnionField	StructOrUnionField.copyAs(CIVLPrimitiveType type, dev.civl.sarl.IF.SymbolicUniverse universe)
StructOrUnionField	CIVLStructOrUnionType.getField(int index)	Returns the index-th field of this struct or union type.

Methods in dev.civl.mc.model.IF.type that return types with arguments of type StructOrUnionField

Modifier and Type	Method	Description
Iterable<StructOrUnionField>	CIVLStructOrUnionType.fields()	Returns an iterable object over all the fields of this struct/union type, in ascending order.

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

Modifier and Type	Method	Description
void	CIVLStructOrUnionType.complete(StructOrUnionField[] fields)	Completes this struct type by specifying the fields as an array.

Method parameters in dev.civl.mc.model.IF.type with type arguments of type StructOrUnionField

Modifier and Type	Method	Description
void	CIVLStructOrUnionType.complete(Collection<StructOrUnionField> fields)	Completes this struct type by specifying the fields as a collection.