Inference/src/TypeSystem/Operations/AssignmentOperation.cs
/// <summary>
/// Performs an assigment operation between an boolean type and the typeExpression stored in this.rightOperand.
/// The type to asign to the array must be promotable to an BoolType, and the only allowable operator is AssignmentOperator
/// </summary>
/// <param name="leftOperand">A BoolType to use as leftOperand in an assignment operation</param>
/// <returns>The typeExpression resulting of have been doing the operation. Or an error if there is.</returns>
Performs an assigment operation between an boolean type and the typeExpression stored in this.rightOperand.
The type to asign to the array must be promotable to an BoolType, and the only allowable operator is AssignmentOperator
Performs an assigment operation between an boolean type and the typeExpression stored in this . rightOperand . The type to asign to the array must be promotable to an BoolType and the only allowable operator is AssignmentOperator
public override object Exec(BoolType leftOperand, object arg) {
            return this.op == AssignmentOperator.Assign 
                ? rightOperand.AcceptOperation(PromotionOperation.Create(leftOperand, this.op, this.methodAnalyzed, this.location), arg)
                : ReportError(leftOperand);
        }
public override object Exec ( BoolType leftOperand , object arg ) { return this . op == AssignmentOperator . Assign ? rightOperand . AcceptOperation ( PromotionOperation . Create ( leftOperand , this . op , this . methodAnalyzed , this . location ) , arg ) : ReportError ( leftOperand ) ; }
Performs an assigment operation between an boolean type and the typeExpression stored in this.rightOperand.
Performs an assigment operation between an boolean type and the typeExpression stored in this . rightOperand .
// * if the operator is not assing raise and error, in other case, check if the second operand can be promotable to a BoolType
The typeExpression resulting of have been doing the operation. Or an error if there is.
The typeExpression resulting of have been doing the operation . Or an error if there is .
leftOperand
BoolType
A BoolType to use as leftOperand in an assignment operation
A BoolType to use as leftOperand in an assignment operation
arg
object