Click here to Skip to main content
Click here to Skip to main content
Add your own
alternative version
Go to top

Resolving Symbolic References in a CodeDOM (Part 7)

, 2 Dec 2012
Resolving symbolic references in a CodeDOM.
Nova.0.6.exe.zip
Mono.Cecil.dll
Nova.CLI.exe
Nova.CodeDOM.dll
Nova.Examples.exe
Nova.Studio.exe
Nova.Test.exe
Nova.UI.dll
Nova.0.6.zip
Nova.CLI
Properties
Nova.CodeDOM
CodeDOM
Annotations
Base
Comments
Base
DocComments
CodeRef
Base
List
Name
Base
Other
Simple
CompilerDirectives
Base
Conditionals
Base
Messages
Base
Pragmas
Base
Symbols
Base
Base
Interfaces
Expressions
AnonymousMethods
Base
Operators
Base
Binary
Arithmetic
Base
Assignment
Base
Bitwise
Base
Conditional
Relational
Base
Shift
Base
Other
Base
Unary
Base
Other
References
Base
GotoTargets
Base
Methods
Namespaces
Other
Properties
Types
Base
Variables
Base
Projects
Assemblies
Namespaces
References
Base
Statements
Base
Conditionals
Base
Exceptions
Generics
Constraints
Base
Iterators
Base
Jumps
Loops
Methods
OperatorDecls
Miscellaneous
Namespaces
Properties
Base
Events
Types
Base
Variables
Base
Parsing
Base
Properties
Rendering
Resolving
Utilities
Mono.Cecil
Reflection
Nova.Examples
Properties
Nova.Studio
Images
About.png
Configuration.png
EditCopy.png
EditCut.png
EditDelete.png
EditPaste.png
EditRedo.png
EditUndo.png
Error.png
Exit.png
FileNew.png
FileOpen.png
FileSave.png
FileSaveAll.png
FileSaveAs.png
Find.png
Help.png
Info.png
Logo.png
Options.png
Print.png
PrintPreview.png
Properties.png
Todo.png
Warning.png
Objects.ico
Properties
Settings.settings
Nova.Test
Properties
Nova.UI
CodeDOM
Annotations
Base
Comments
Base
DocComments
CodeRef
Base
List
Name
Base
Other
Simple
CompilerDirectives
Base
Conditionals
Base
Messages
Base
Pragmas
Base
Symbols
Base
Base
Expressions
AnonymousMethods
Base
Operators
Base
Binary
Arithmetic
Base
Assignment
Base
Bitwise
Base
Conditional
Relational
Base
Shift
Base
Other
Base
Unary
Base
Other
References
Base
GotoTargets
Base
Methods
Namespaces
Other
Properties
Types
Base
Variables
Base
Projects
Namespaces
References
Base
Statements
Base
Conditionals
Base
Exceptions
Generics
Constraints
Base
Iterators
Base
Jumps
Loops
Methods
OperatorDecls
Miscellaneous
Namespaces
Properties
Base
Events
Types
Base
Variables
Base
Properties
Resolving
Utilties
// 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 System.Collections.Generic;

using Nova.Parsing;
using Nova.Rendering;
using Nova.Resolving;

namespace Nova.CodeDOM
{
    /// <summary>
    /// The NewArray operator is used to create new array instances.
    /// </summary>
    /// <remarks>
    /// Possible formats:
    /// 
    /// New Array:
    ///    new non-array-type[size,...]           // Create a new array type
    ///    new non-array-type[size,...][,...]...  // Create a new jagged array type
    /// With initializers (init list can be empty) - first format is preferred:
    ///    new array-type { init }                // Create array instance and initialize (init is optional), inferring the sizes
    ///    new non-array-type[size,...] { init }  // Create array and initialize, sizes must match init values
    ///    new non-array-type[size,...][,...]... { init }  // Create jagged array and initialize, sizes must match init values
    /// 
    /// In the case of jagged arrays, the first set of array dimensions are arguments to the
    /// base ArgumentsOperator class, while the optional sets of brackets without dimensions
    /// (array ranks) to the right are actually a part of the Type on the left.  For example,
    /// "new int[10][]" represents a parameter of "10" and a TypeRef to an "int[]" type.
    /// The parsing and display of the type must be split up to allow the "[10]" in the middle.
    /// Also, the dimension sizes can be full expressions in addition to literals.
    /// 
    /// </remarks>
    public class NewArray : NewOperator
    {
        #region /* CONSTRUCTORS */

        /// <summary>
        /// Create a <see cref="NewArray"/>.
        /// </summary>
        /// <param name="type">An expression representing the TypeRef of the elements of the array.</param>
        /// <param name="parameters">The array size parameters (if any).</param>
        public NewArray(Expression type, params Expression[] parameters)
            : base(type, (parameters ?? new Expression[] { null }))  // Treat null as a single null parameter
        { }

        #endregion

        #region /* PROPERTIES */

        #endregion

        #region /* METHODS */

        /// <summary>
        /// Determine the type of the parameter for the specified argument index.
        /// </summary>
        public override TypeRefBase GetParameterType(int argumentIndex)
        {
            return TypeRef.IntRef;
        }

        #endregion

        #region /* PARSING */

        /// <summary>
        /// The token used to parse the start of the array ranks.
        /// </summary>
        public const string ParseTokenStart = TypeRefBase.ParseTokenArrayStart;

        /// <summary>
        /// The token used to parse the end of the array ranks.
        /// </summary>
        public const string ParseTokenEnd = TypeRefBase.ParseTokenArrayEnd;

        /// <summary>
        /// Parse a <see cref="NewArray"/>.
        /// </summary>
        public NewArray(Parser parser, CodeObject parent)
            : base(parser, parent)
        {
            // Save the starting token for later
            Token startingToken = parser.Token;

            parser.NextToken();  // Move past 'new'

            // Parse the expression representing the TypeRef, but NOT including any array brackets.  Any first set of
            // following array brackets is parsed below and stored as arguments on the base ArgumentsOperator.  Any
            // additional sets of brackets for nested arrays are then parsed after that and stored on the TypeRef or
            // UnresolvedRef.
            Expression expression = Parse(parser, this, false, ParseTokenStart + Initializer.ParseTokenStart, ParseFlags.NoArrays);
            SetField(ref _expression, expression, false);

            // Parse any parameters (dimension sizes) OR null parameters ([] or [,], etc)
            if (parser.TokenText == ParseTokenStart)
                ParseArguments(parser, this, ParseTokenStart, ParseTokenEnd, true);

            // Parse any trailing empty dimensions (ranks)
            if (parser.TokenText == ParseTokenStart)
            {
                // Add to the existing TypeRef or UnresolvedRef
                Expression right = _expression.SkipPrefixes();
                if (right is TypeRefBase)
                    ((TypeRefBase)right).ParseArrayRanks(parser);
            }

            // Set the parent starting token for use by the Initializer to determine proper indentation
            parser.ParentStartingToken = startingToken;

            // Parse any array initializer
            ParseInitializer(parser, this);
        }

        #endregion

        #region /* RESOLVING */

        /// <summary>
        /// Resolve all child symbolic references, using the specified <see cref="ResolveCategory"/> and <see cref="ResolveFlags"/>.
        /// </summary>
        public override CodeObject Resolve(ResolveCategory resolveCategory, ResolveFlags flags)
        {
            if (_initializer != null)
                _initializer.Resolve(ResolveCategory.Expression, flags);
            base.Resolve(ResolveCategory.Type, flags);
            return this;
        }

        /// <summary>
        /// Evaluate the type of the <see cref="Expression"/>.
        /// </summary>
        /// <returns>The resulting <see cref="TypeRef"/> or <see cref="UnresolvedRef"/>.</returns>
        public override TypeRefBase EvaluateType(bool withoutConstants)
        {
            // Determine the type of the array
            TypeRefBase typeRefBase;
            if (_expression != null)
            {
                typeRefBase = _expression.EvaluateType(withoutConstants);

                // Set the rank of the top-level array
                if (_arguments != null && typeRefBase != null)
                {
                    // Clone the type and add the array rank if none, otherwise insert the top-level rank
                    typeRefBase = (TypeRefBase)typeRefBase.Clone();
                    if (typeRefBase.ArrayRanks == null)
                        typeRefBase.ArrayRanks = new List<int> { _arguments.Count };
                    else
                        typeRefBase.ArrayRanks.Insert(0, _arguments.Count);
                }
            }
            else
                typeRefBase = _initializer.EvaluateType(withoutConstants);
            return typeRefBase;
        }

        #endregion

        #region /* RENDERING */

        public override void AsTextExpression(CodeWriter writer, RenderFlags flags)
        {
            // Suppress empty brackets (they'll be included as a part of the type)
            base.AsTextExpression(writer, flags | RenderFlags.NoParensIfEmpty);
        }

        protected override void AsTextName(CodeWriter writer, RenderFlags flags)
        {
            UpdateLineCol(writer, flags);
            writer.Write(ParseToken);

            // Omit any brackets (they will be rendered later)
            if (_expression != null)
                _expression.AsText(writer, flags | RenderFlags.SuppressBrackets | RenderFlags.PrefixSpace);
        }

        protected override void AsTextStartArguments(CodeWriter writer, RenderFlags flags)
        {
            writer.Write(ParseTokenStart);
        }

        protected override void AsTextEndArguments(CodeWriter writer, RenderFlags flags)
        {
            if (IsEndFirstOnLine)
                writer.WriteLine();
            writer.Write(ParseTokenEnd);
        }

        protected override void AsTextInitializer(CodeWriter writer, RenderFlags flags)
        {
            // Render any omitted brackets here (after parameters and before any initializer),
            // skipping the first set, because they will be rendered as the arguments.
            if (_expression != null)
            {
                TypeRefBase typeRefBase = _expression.EvaluateType();
                if (typeRefBase != null)
                    typeRefBase.AsTextArrayRanks(writer, flags);
            }

            base.AsTextInitializer(writer, flags);
        }

        #endregion
    }
}

By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.

If a file you wish to view isn't highlighted, and is a text file (not binary), please let us know and we'll add colourisation support for it.

License

This article, along with any associated source code and files, is licensed under The Common Development and Distribution License (CDDL)

Share

About the Author

KenBeckett
Software Developer (Senior)
United States United States
I've been writing software since the late 70's, currently focusing mainly on C#.NET. I also like to travel around the world, and I own a Chocolate Factory (sadly, none of my employees are oompa loompas).

| Advertise | Privacy | Mobile
Web01 | 2.8.140926.1 | Last Updated 2 Dec 2012
Article Copyright 2012 by KenBeckett
Everything else Copyright © CodeProject, 1999-2014
Terms of Service
Layout: fixed | fluid