Uses of Interface
dev.civl.abc.ast.type.IF.Field

Packages that use Field

Package	Description
dev.civl.abc.analysis.pointsTo.IF
dev.civl.abc.ast.node.IF.compound	The ast.node.compound submodule defines nodes and related classes for representing compound initializers.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of Field in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return Field

Modifier and Type	Method	Description
Field	AssignFieldExprIF.field()

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type Field

Modifier and Type	Method	Description
AssignFieldExprIF	InsensitiveFlowFactory.assignFieldExpr(AssignExprIF struct, Field field)	creates an abstract object representing a struct/union field of another abstract object

Method parameters in dev.civl.abc.analysis.pointsTo.IF with type arguments of type Field

Modifier and Type	Method	Description
Iterable<AssignExprIF>	PointsToGraph.mayPointsTo(Variable root, List<Field> fields)

Uses of Field in dev.civl.abc.ast.node.IF.compound

Methods in dev.civl.abc.ast.node.IF.compound that return Field

Modifier and Type	Method	Description
Field[]	FieldDesignatorNode.getNavigationSequence()

Methods in dev.civl.abc.ast.node.IF.compound with parameters of type Field

Modifier and Type	Method	Description
void	FieldDesignatorNode.setNavigationSequence(Field[] sequence)

Uses of Field in dev.civl.abc.ast.node.IF.declaration

Methods in dev.civl.abc.ast.node.IF.declaration that return Field

Modifier and Type	Method	Description
Field	FieldDeclarationNode.getEntity()

Uses of Field in dev.civl.abc.ast.node.IF.expression

Methods in dev.civl.abc.ast.node.IF.expression that return Field

Modifier and Type	Method	Description
Field[]	ArrowNode.getNavigationSequence()	Returns the sequence of nested fields navigates from an outer structure or union member to an inner member through anonymous structure or union members.
Field[]	DotNode.getNavigationSequence()	Returns the sequence of nested fields navigates from an outer structure or union member to an inner member through anonymous structure or union members.

Methods in dev.civl.abc.ast.node.IF.expression with parameters of type Field

Modifier and Type	Method	Description
void	ArrowNode.setNavigationSequence(Field[] sequence)
void	DotNode.setNavigationSequence(Field[] sequence)

Uses of Field in dev.civl.abc.ast.type.IF

Methods in dev.civl.abc.ast.type.IF that return Field

Modifier and Type	Method	Description
Field[]	StructureOrUnionType.findDeepField(String fieldName)	Finds the field with the given name by looking not only in the immediate scope but also recursively through anonymous structure and union members.
Field	StructureOrUnionType.getField(int index)	Returns the index-th field in this structure or union type.
Field	StructureOrUnionType.getField(String fieldName)
Field	TypeFactory.newField(FieldDeclarationNode declaration, ObjectType type, Value bitWidth)	Creates a new field entity.

Methods in dev.civl.abc.ast.type.IF that return types with arguments of type Field

Modifier and Type	Method	Description
Iterable<Field>	StructureOrUnionType.findFieldCycle()	Attempts to find a cyclic type dependence in the fields of this struct/union type.
Iterable<Field>	StructureOrUnionType.getFields()	Returns an iterator over the fields in this type, or null if this type is not yet complete.

Method parameters in dev.civl.abc.ast.type.IF with type arguments of type Field

Modifier and Type	Method	Description
void	StructureOrUnionType.complete(Iterable<Field> fields)	Completes this structure of union type by specifying its contents, i.e., the list of fields.

Uses of Field in dev.civl.abc.ast.value.IF

Methods in dev.civl.abc.ast.value.IF that return Field

Modifier and Type	Method	Description
Field	MemberReference.getField()
Field	UnionValue.getField()	Returns the field of the union to which this value belongs, since a union can only hold the value of one of its fieldsl

Methods in dev.civl.abc.ast.value.IF with parameters of type Field

Modifier and Type	Method	Description
Value	StructureValue.getMember(Field field)
UnionValue	ValueFactory.newUnionValue(StructureOrUnionType unionType, Field field, Value memberValue)
void	StructureValue.setMember(Field field, Value memberValue)