Uses of Interface
dev.civl.mc.model.IF.type.CIVLStructOrUnionType
Packages that use CIVLStructOrUnionType
Package
Description
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
Submodule model.type defines types in CIVL.
-
Uses of CIVLStructOrUnionType in dev.civl.mc.model.IF
Methods in dev.civl.mc.model.IF that return CIVLStructOrUnionTypeModifier and TypeMethodDescriptionCIVLTypeFactory.structOrUnionType(Identifier name, boolean isStruct) Returns new incomplete struct or union type with given name.Methods in dev.civl.mc.model.IF with parameters of type CIVLStructOrUnionTypeModifier and TypeMethodDescriptionCIVLTypeFactory.structField(Identifier name, CIVLType type, int index, boolean isAnonymous, CIVLStructOrUnionType enclosingType) Returns a new struct field, used to complete a struct type. -
Uses of CIVLStructOrUnionType in dev.civl.mc.model.IF.type
Subinterfaces of CIVLStructOrUnionType in dev.civl.mc.model.IF.typeMethods in dev.civl.mc.model.IF.type that return CIVLStructOrUnionType