Class ConstrainedCallPrototype

An instruction prototype for constrained call instructions: instructions that call a method using virtual lookup in a way that is suitable for both reference and value types.

Inheritance
System.Object
InstructionPrototype
ConstrainedCallPrototype
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 ConstrainedCallPrototype : InstructionPrototype

Properties

| Improve this Doc View Source

Callee

Gets the method to call.

Declaration
public IMethod Callee { get; }
Property Value
Type Description
IMethod

The callee.
| 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(IMethod)

Gets the constrained call instruction prototype for a particular callee.

Declaration
public static ConstrainedCallPrototype Create(IMethod callee)
Parameters
Type Name Description
IMethod callee

The method to call.
Returns
Type Description
ConstrainedCallPrototype

A constrained call instruction prototype.
| Improve this Doc View Source

GetArgumentList(Instruction)

Gets the argument list in an instruction that conforms to this prototype.

Declaration
public ReadOnlySlice<ValueTag> GetArgumentList(Instruction instruction)
Parameters
Type Name Description
Instruction instruction

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

The formal argument list.
| Improve this Doc View Source

GetThisArgument(Instruction)

Gets the 'this' argument in an instruction that conforms to this prototype.

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

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

The 'this' argument.
| Improve this Doc View Source

Instantiate(ValueTag, IReadOnlyList<ValueTag>)

Instantiates this constrained call instruction prototype.

Declaration
public Instruction Instantiate(ValueTag thisArgument, IReadOnlyList<ValueTag> arguments)
Parameters
Type Name Description
ValueTag thisArgument

The 'this' argument for the call.
System.Collections.Generic.IReadOnlyList<ValueTag> arguments

The argument list for the call.
Returns
Type Description
Instruction

A constrained call 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