Implication.cs

using System;
using System.Runtime.ExceptionServices;
using Waher.Script.Abstraction.Elements;
using Waher.Script.Model;
using Waher.Script.Objects;
 
namespace Waher.Script.Operators.Logical
{
    public class Implication : BinaryBooleanOperator
    {
        public Implication(ScriptNode Left, ScriptNode Right, int Start, int Length, Expression Expression)
            : base(Left, Right, Start, Length, Expression)
        {
        }
 
        public override IElement EvaluateOptimizedResult(bool Left)
        {
            if (!Left)
                return BooleanValue.True;
            else
                return null;
        }
 
        public override IElement Evaluate(bool Left, bool Right)
        {
            if (!Left || Right)
                return BooleanValue.True;
            else
                return BooleanValue.False;
        }
 
        public override IElement Evaluate(Exception Left, bool Right)
        {
            ExceptionDispatchInfo.Capture(Left).Throw();
            return ObjectValue.Null;
        }
 
        public override IElement Evaluate(bool Left, Exception Right)
        {
            ExceptionDispatchInfo.Capture(Right).Throw();
            return ObjectValue.Null;
        }
 
        public override IElement Evaluate(Exception Left, Exception Right)
        {
            ExceptionDispatchInfo.Capture(Left).Throw();
            return ObjectValue.Null;
        }
 
    }
}