Esempio n. 1
0
        /// <inheritdoc />
        public override void VisitAnyBooleanValue(AnyBooleanValue value)
        {
            switch (operation)
            {
            case Operations.Mod:
                SetWarning("Object cannot be converted to integer by modulo operation",
                           AnalysisWarningCause.OBJECT_CONVERTED_TO_INTEGER);
                result = ModuloOperation.ModuloByAnyBooleanValue(flow);
                break;

            default:
                result = Comparison.RightAbstractBooleanCompare(OutSet, operation,
                                                                TypeConversion.ToBoolean(leftOperand));
                if (result != null)
                {
                    break;
                }

                result = ArithmeticOperation.RightAbstractBooleanArithmetic(flow, operation);
                if (result != null)
                {
                    SetWarning("Object cannot be converted to integer by arithmetic operation",
                               AnalysisWarningCause.OBJECT_CONVERTED_TO_INTEGER);
                    break;
                }

                base.VisitAnyBooleanValue(value);
                break;
            }
        }
Esempio n. 2
0
        /// <inheritdoc />
        public override void VisitAnyBooleanValue(AnyBooleanValue value)
        {
            switch (operation)
            {
            case Operations.Mod:
                result = ModuloOperation.ModuloByAnyBooleanValue(flow);
                break;

            default:
                result = Comparison.RightAbstractBooleanCompare(OutSet, operation,
                                                                TypeConversion.ToBoolean(leftOperand));
                if (result != null)
                {
                    break;
                }

                result = ArithmeticOperation.RightAbstractBooleanArithmetic(flow, operation);
                if (result != null)
                {
                    break;
                }

                base.VisitAnyBooleanValue(value);
                break;
            }
        }
Esempio n. 3
0
        /// <inheritdoc />
        public override void VisitAnyBooleanValue(AnyBooleanValue value)
        {
            result = ArithmeticOperation.RightAbstractBooleanArithmetic(flow, operation, leftOperand);
            if (result != null)
            {
                return;
            }

            base.VisitAnyBooleanValue(value);
        }
Esempio n. 4
0
        /// <inheritdoc />
        public override void VisitAnyBooleanValue(AnyBooleanValue value)
        {
            switch (operation)
            {
            case Operations.Identical:
                result = OutSet.CreateBool(false);
                break;

            case Operations.NotIdentical:
                result = OutSet.CreateBool(true);
                break;

            default:
                result = Comparison.RightAbstractBooleanCompare(OutSet, operation,
                                                                TypeConversion.ToBoolean(leftOperand.Value));
                if (result != null)
                {
                    break;
                }

                result = BitwiseOperation.Bitwise(OutSet, operation);
                if (result != null)
                {
                    break;
                }

                int    integerValue;
                double floatValue;
                bool   isInteger;
                TypeConversion.TryConvertToNumber(leftOperand.Value, true,
                                                  out integerValue, out floatValue, out isInteger);

                result = isInteger
                        ? ArithmeticOperation.RightAbstractBooleanArithmetic(flow, operation, integerValue)
                        : ArithmeticOperation.RightAbstractBooleanArithmetic(flow, operation, floatValue);

                if (result != null)
                {
                    break;
                }

                base.VisitAnyBooleanValue(value);
                break;
            }
        }
Esempio n. 5
0
        /// <inheritdoc />
        public override void VisitAnyBooleanValue(AnyBooleanValue value)
        {
            result = Comparison.RightAbstractBooleanCompare(OutSet, operation,
                                                            TypeConversion.ToBoolean(leftOperand.Value));
            if (result != null)
            {
                return;
            }

            result = ArithmeticOperation.RightAbstractBooleanArithmetic(flow,
                                                                        operation, leftOperand.Value);
            if (result != null)
            {
                return;
            }

            base.VisitAnyBooleanValue(value);
        }
Esempio n. 6
0
        /// <inheritdoc />
        public override void VisitAnyBooleanValue(AnyBooleanValue value)
        {
            switch (operation)
            {
            case Operations.Identical:
            case Operations.NotIdentical:
                result = OutSet.AnyBooleanValue;
                break;

            default:
                result = ArithmeticOperation.RightAbstractBooleanArithmetic(flow,
                                                                            operation, TypeConversion.ToInteger(leftOperand.Value));
                if (result != null)
                {
                    break;
                }

                base.VisitAnyBooleanValue(value);
                break;
            }
        }