//// <summary>
/// Returns an int value encapsulated in an object item that indicates a promotion level.
/// </summary>
/// <param name="firstOperand">An array to promote.</param>
/// <returns>Returns a promotion value.</returns>
public override object Exec(ArrayType firstOperand, object arg)
{
// * Array and bounded type variable
ArrayType array = TypeExpression.As <ArrayType>(this.secondOperand);
if (array != null)
{
return(firstOperand.ArrayTypeExpression.Equals(array.ArrayTypeExpression) ? 0 : -1);
}
// * A free variable is a complete promotion
TypeVariable typeVariable = this.secondOperand as TypeVariable;
if (typeVariable != null && typeVariable.Substitution == null)
{
return(0);
}
// * Union type and bounded type variable
UnionType unionType = TypeExpression.As <UnionType>(this.secondOperand);
if (unionType != null)
{
return(unionType.SuperType(firstOperand));
}
// * Field type and bounded type variable
FieldType fieldType = TypeExpression.As <FieldType>(this.secondOperand);
if (fieldType != null)
{
return(firstOperand.AcceptOperation(new PromotionLevelOperation(fieldType.FieldTypeExpression), arg));
}
// * Use the BCL object oriented approach
return(firstOperand.AsClassType().AcceptOperation(this, arg));
}
public override object Exec(ArrayType d, object arg)
{
return(d.AsClassType().AcceptOperation(new UnconstrainedDotOperation(this.memberName, this.previousDot), arg));
}
/// <summary>
/// Delegate its behaviour to the BCLClassType, chaining its message to the later.
/// </summary>
/// <param name="d">An array WriteType to pass the message member</param>
/// <returns>A typeExpression result of the operation</returns>
public override object Exec(ArrayType d, object arg)
{
return(d.AsClassType().AcceptOperation(this, arg));
}