Inference/src/TypeSystem/Operations/ConstrainedDot.cs
/// <summary>
/// It check if it's possible the operation accessing BCLClassType and a member, if is not possible
/// it raises and error
/// </summary>
/// <param name="d">A BCLCClassType to pass the message member</param>
/// <returns>The resulting type expression, if no operation is possible it raises and error.
/// </returns>
It check if it's possible the operation accessing BCLClassType and a member, if is not possible
it raises and error
It check if it ' s possible the operation accessing BCLClassType and a member if is not possible it raises and error
public override object Exec(BCLClassType d, object arg) {
            TypeExpression member = (TypeExpression)d.AcceptOperation(new UnconstrainedDotOperation(this.memberName, this.previousDot), arg);
            if (member == null)
                ErrorManager.Instance.NotifyError(new UnknownMemberError(this.memberName, this.location));
            return member;
        }
public override object Exec ( BCLClassType d , object arg ) { TypeExpression member = ( TypeExpression ) d . AcceptOperation ( new UnconstrainedDotOperation ( this . memberName , this . previousDot ) , arg ) ; if ( member == null ) ErrorManager . Instance . NotifyError ( new UnknownMemberError ( this . memberName , this . location ) ) ; return member ; }
It check if it's possible the operation accessing BCLClassType and a member, if is not possible
it raises and error
It check if it ' s possible the operation accessing BCLClassType and a member if is not possible it raises and error
The resulting type expression, if no operation is possible it raises and error.
The resulting type expression if no operation is possible it raises and error .
d
BCLClassType
A BCLCClassType to pass the message member
A BCLCClassType to pass the message member
arg
object