Esempio n. 1
0
File: Indexer.cs Progetto: s0/ql
        public override void Populate()
        {
            var type = Type.Create(Context, symbol.Type);

            Context.Emit(Tuples.indexers(this, symbol.GetName(useMetadataName: true), ContainingType, type.TypeRef, OriginalDefinition));
            foreach (var l in Locations)
            {
                Context.Emit(Tuples.indexer_location(this, l));
            }

            var getter = symbol.GetMethod;
            var setter = symbol.SetMethod;

            if (getter == null && setter == null)
            {
                Context.ModelError(symbol, "No indexer accessor defined");
            }

            if (getter != null)
            {
                Getter = Accessor.Create(Context, getter);
            }

            if (setter != null)
            {
                Setter = Accessor.Create(Context, setter);
            }

            for (var i = 0; i < symbol.Parameters.Length; ++i)
            {
                var original = Parameter.Create(Context, symbol.OriginalDefinition.Parameters[i], OriginalDefinition);
                Parameter.Create(Context, symbol.Parameters[i], this, original);
            }

            if (getter != null)
            {
                Getter = Accessor.Create(Context, getter);
                Context.Emit(Tuples.accessors(Getter, 1, getter.Name, this, Getter.OriginalDefinition));

                Context.Emit(Tuples.accessor_location(Getter, Getter.Location));
                Getter.Overrides();
                Getter.ExtractModifiers();
            }

            if (setter != null)
            {
                Setter = Accessor.Create(Context, setter);
                Context.Emit(Tuples.accessors(Setter, 2, setter.Name, this, Setter.OriginalDefinition));

                Context.Emit(Tuples.accessor_location(Setter, Setter.Location));
                Setter.Overrides();
                Setter.ExtractModifiers();
            }

            if (IsSourceDeclaration)
            {
                var expressionBody = ExpressionBody;
                if (expressionBody != null)
                {
                    // The expression may need to reference parameters in the getter.
                    // So we need to arrange that the expression is populated after the getter.
                    Context.PopulateLater(() => Expression.CreateFromNode(new ExpressionNodeInfo(Context, expressionBody, this, 0)
                    {
                        Type = Type.Create(Context, symbol.Type)
                    }));
                }
            }

            ExtractModifiers();
            BindComments();

            var declSyntaxReferences = IsSourceDeclaration
                ? symbol.DeclaringSyntaxReferences.
                                       Select(d => d.GetSyntax()).OfType <IndexerDeclarationSyntax>().ToArray()
                : Enumerable.Empty <IndexerDeclarationSyntax>();

            foreach (var explicitInterface in symbol.ExplicitInterfaceImplementations.Select(impl => Type.Create(Context, impl.ContainingType)))
            {
                Context.Emit(Tuples.explicitly_implements(this, explicitInterface.TypeRef));

                foreach (var syntax in declSyntaxReferences)
                {
                    TypeMention.Create(Context, syntax.ExplicitInterfaceSpecifier.Name, this, explicitInterface);
                }
            }


            foreach (var syntax in declSyntaxReferences)
            {
                TypeMention.Create(Context, syntax.Type, this, type);
            }
        }