Class GetFieldPointerPrototype

A prototype for instructions that compute the address of a field from a base address.

Inheritance

object

InstructionPrototype

GetFieldPointerPrototype

Inherited Members

InstructionPrototype.Members

InstructionPrototype.Instantiate(IReadOnlyList<ValueTag>)

InstructionPrototype.IsPrototypeOf(Instruction)

InstructionPrototype.AssertIsPrototypeOf(Instruction, string)

InstructionPrototype.AssertIsPrototypeOf(Instruction)

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Instructions

Assembly: Flame.Compiler.dll

Syntax

public sealed class GetFieldPointerPrototype : InstructionPrototype

Properties

Field

Gets the field whose address is taken.

Declaration

public IField Field { get; }

Property Value

Type	Description
IField	The field whose address is taken.

ParameterCount

Gets the number of arguments this instruction takes when instantiated.

Declaration

public override int ParameterCount { get; }

Property Value

Type	Description
int	The number of arguments this instruction takes.

Overrides

InstructionPrototype.ParameterCount

ResultType

Gets the type of value produced instantiations of this prototype.

Declaration

public override IType ResultType { get; }

Property Value

Type	Description
IType	A type of value.

Overrides

InstructionPrototype.ResultType

Methods

CheckConformance(Instruction, MethodBody)

Checks if a particular instance of this prototype conforms to the rules for this instruction prototype.

Declaration

public override IReadOnlyList<string> CheckConformance(Instruction instance, MethodBody body)

Parameters

Type	Name	Description
Instruction	instance	An instance of this prototype.
MethodBody	body	The method body that defines the instruction.

Returns

Type	Description
IReadOnlyList<string>	A list of conformance errors in the instruction.

Overrides

InstructionPrototype.CheckConformance(Instruction, MethodBody)

Create(IField)

Gets or creates a get-field-pointer instruction prototype that computes the address of a particular field.

Declaration

public static GetFieldPointerPrototype Create(IField field)

Parameters

Type	Name	Description
IField	field	The field whose address is to be computed.

Returns

Type	Description
GetFieldPointerPrototype	A get-field-pointer instruction prototype.

GetBasePointer(Instruction)

Gets a pointer to the value of which a field's address is computed by an instance of this prototype.

Declaration

public ValueTag GetBasePointer(Instruction instance)

Parameters

Type	Name	Description
Instruction	instance	An instance of this prototype.

Returns

Type	Description
ValueTag	A pointer to the value that includes the field.

Instantiate(ValueTag)

Creates an instance of this get-field-pointer prototype.

Declaration

public Instruction Instantiate(ValueTag basePointer)

Parameters

Type	Name	Description
ValueTag	basePointer	A pointer to a value that includes the field referred to by the get-field-pointer prototype.

Returns

Type	Description
Instruction	A get-field-pointer instruction.

Map(MemberMapping)

Applies a member mapping to this instruction prototype.

Declaration

public override InstructionPrototype Map(MemberMapping mapping)

Parameters

Type	Name	Description
MemberMapping	mapping	A member mapping.

Returns

Type	Description
InstructionPrototype	A transformed instruction prototype.

Overrides

InstructionPrototype.Map(MemberMapping)