Calculating Metrics and Searching with a CodeDOM (Part 8)

// The Nova Project by Ken Beckett.
// Copyright (C) 2007-2012 Inevitable Software, all rights reserved.
// Released under the Common Development and Distribution License, CDDL-1.0: http://opensource.org/licenses/cddl1.php

using Nova.Parsing;

namespace Nova.CodeDOM
{
    /// <summary>
    /// Contains a body of code for which overflow checking is explicitly turned on.
    /// </summary>
    public class CheckedBlock : BlockStatement
    {
        #region /* CONSTRUCTORS */

        /// <summary>
        /// Create a <see cref="CheckedBlock"/>.
        /// </summary>
        public CheckedBlock(CodeObject body)
            : base(body, false)
        { }

        /// <summary>
        /// Create a <see cref="CheckedBlock"/>.
        /// </summary>
        public CheckedBlock()
            : base(null, false)
        { }

        #endregion

        #region /* PROPERTIES */

        /// <summary>
        /// The keyword associated with the <see cref="Statement"/>.
        /// </summary>
        public override string Keyword
        {
            get { return ParseToken; }
        }

        #endregion

        #region /* PARSING */

        /// <summary>
        /// The token used to parse the code object.
        /// </summary>
        public const string ParseToken = Checked.ParseToken;

        internal static void AddParsePoints()
        {
            // Use a parse-priority of 0 (Checked uses 100)
            Parser.AddParsePoint(ParseToken, Parse, typeof(IBlock));
        }

        /// <summary>
        /// Parse a <see cref="CheckedBlock"/>.
        /// </summary>
        public static CheckedBlock Parse(Parser parser, CodeObject parent, ParseFlags flags)
        {
            // Skip if not followed by the start of a block (meaning it's a Checked operator)
            if (parser.PeekNextTokenText() == Block.ParseTokenStart)
                return new CheckedBlock(parser, parent);
            return null;
        }

        protected CheckedBlock(Parser parser, CodeObject parent)
            : base(parser, parent)
        {
            parser.NextToken();                        // Move past 'checked'
            new Block(out _body, parser, this, true);  // Parse the body
        }

        #endregion

        #region /* ANALYSIS */

        /// <summary>
        /// Accept the specified visitor object for the current code object and it's children.
        /// </summary>
        public override void Accept(IVisitor visitor)
        {
            AcceptAnnotations(visitor);
            visitor.Visit(this);
            AcceptEOLComments(visitor);
            AcceptAnnotations(visitor, AnnotationFlags.IsPostfix);
            if (_body != null)
                _body.Accept(visitor);
        }

        #endregion

        #region /* FORMATTING */

        /// <summary>
        /// True if the <see cref="Statement"/> has an argument.
        /// </summary>
        public override bool HasArgument
        {
            get { return false; }
        }

        #endregion
    }
}