TriAxis.RunSharp.ContextualOperand.ArrayLength C# (CSharp) Method

        public new ContextualOperand ArrayLength()
        {
            return OperandExtensions.SetLeakedState(new ContextualOperand(base.ArrayLength(), TypeMapper), true);
        }