Module dev.civl.mc

Package dev.civl.mc.model.IF.type

Interface StructOrUnionField

public interface StructOrUnionField

A field in a struct has a name and a type.

Method Summary

Modifier and Type	Method	Description
StructOrUnionField	copyAs(CIVLPrimitiveType type, dev.civl.sarl.IF.SymbolicUniverse universe)
CIVLStructOrUnionType	enclosingType()
int	index()
boolean	isAnonymous()
Identifier	name()
CIVLType	type()

Method Details

name

Identifier name()

type

CIVLType type()

index

int index()

copyAs

StructOrUnionField copyAs(CIVLPrimitiveType type,
 dev.civl.sarl.IF.SymbolicUniverse universe)

isAnonymous

boolean isAnonymous()

enclosingType

CIVLStructOrUnionType enclosingType()