Inference/src/CodeGeneration/CLRCodeGenerator.cs
/// <summary>
/// Writes the Unbox and ldobj instruction (Unbox.any = Unbox + ldobj)
/// </summary>
/// <param name="indent">Indentation to use.</param>
/// <param name="type">Value type to revert.</param>
Writes the Unbox and ldobj instruction (Unbox.any = Unbox + ldobj)
Writes the Unbox and ldobj instruction ( Unbox . any = Unbox + ldobj )
public override void UnboxAny(int indent, TypeExpression type) {
            if(type is UnionType)
                this.UnboxAny(indent, type as UnionType);
            else if (!(type is TypeVariable))
                this.WriteLNUnaryCommand(indent, "unbox.any", type.ILType());
            else if(((TypeVariable)type).Substitution != null)
                this.WriteLNUnaryCommand(indent, "unbox.any", type.ILType());
        }
public override void UnboxAny ( int indent , TypeExpression type ) { if ( type is UnionType ) this . UnboxAny ( indent , type as UnionType ) ; else if ( ! ( type is TypeVariable ) ) this . WriteLNUnaryCommand ( indent , " " , type . ILType ( ) ) ; else if ( ( ( TypeVariable ) type ) . Substitution != null ) this . WriteLNUnaryCommand ( indent , " " , type . ILType ( ) ) ; }
Writes the Unbox and ldobj instruction (Unbox.any = Unbox + ldobj)
Writes the Unbox and ldobj instruction ( Unbox . any = Unbox + ldobj )
indent
int
Indentation to use.
Indentation to use .
type
TypeExpression
Value type to revert.
Value type to revert .