Class BoxPrototype

A prototype for instructions that box value types.

Inheritance
System.Object
InstructionPrototype
BoxPrototype
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Namespace: Flame.Compiler.Instructions
Assembly: Flame.Compiler.dll
Syntax
public sealed class BoxPrototype : InstructionPrototype

Properties

| Improve this Doc View Source

ElementType

Gets the type of value that is boxed by instances of this prototype.

Declaration
public IType ElementType { get; }
Property Value
Type Description
IType
| Improve this Doc View Source

ParameterCount

Gets the number of arguments this instruction takes when instantiated.

Declaration
public override int ParameterCount { get; }
Property Value
Type Description
System.Int32

The number of arguments this instruction takes.
Overrides
| Improve this Doc View Source

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

Methods

| Improve this Doc View Source

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
System.Collections.Generic.IReadOnlyList<System.String>

A list of conformance errors in the instruction.
Overrides
| Improve this Doc View Source

Create(IType)

Gets the box instruction prototype for a particular result type.

Declaration
public static BoxPrototype Create(IType elementType)
Parameters
Type Name Description
IType elementType

The type of value to box.
Returns
Type Description
BoxPrototype

A box instruction prototype.
| Improve this Doc View Source

GetBoxedValue(Instruction)

Gets the value boxed by an instance of this prototype.

Declaration
public ValueTag GetBoxedValue(Instruction instruction)
Parameters
Type Name Description
Instruction instruction

An instruction that conforms to this prototype.
Returns
Type Description
ValueTag

The boxed value.
| Improve this Doc View Source

Instantiate(ValueTag)

Instantiates this box instruction prototype.

Declaration
public Instruction Instantiate(ValueTag value)
Parameters
Type Name Description
ValueTag value

The value to box.
Returns
Type Description
Instruction

A box instruction.
| Improve this Doc View Source

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