| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277 |
- //
- // GenericParameter.cs
- //
- // Author:
- // Jb Evain (jbevain@gmail.com)
- //
- // Copyright (c) 2008 - 2011 Jb Evain
- //
- // Permission is hereby granted, free of charge, to any person obtaining
- // a copy of this software and associated documentation files (the
- // "Software"), to deal in the Software without restriction, including
- // without limitation the rights to use, copy, modify, merge, publish,
- // distribute, sublicense, and/or sell copies of the Software, and to
- // permit persons to whom the Software is furnished to do so, subject to
- // the following conditions:
- //
- // The above copyright notice and this permission notice shall be
- // included in all copies or substantial portions of the Software.
- //
- // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- //
- using System;
- using Mono.Collections.Generic;
- using Mono.Cecil.Metadata;
- namespace Mono.Cecil {
- public sealed class GenericParameter : TypeReference, ICustomAttributeProvider {
- internal int position;
- internal GenericParameterType type;
- internal IGenericParameterProvider owner;
- ushort attributes;
- Collection<TypeReference> constraints;
- Collection<CustomAttribute> custom_attributes;
- public GenericParameterAttributes Attributes {
- get { return (GenericParameterAttributes) attributes; }
- set { attributes = (ushort) value; }
- }
- public int Position {
- get { return position; }
- }
- public GenericParameterType Type {
- get { return type; }
- }
- public IGenericParameterProvider Owner {
- get { return owner; }
- }
- public bool HasConstraints {
- get {
- if (constraints != null)
- return constraints.Count > 0;
- if (HasImage)
- return Module.Read (this, (generic_parameter, reader) => reader.HasGenericConstraints (generic_parameter));
- return false;
- }
- }
- public Collection<TypeReference> Constraints {
- get {
- if (constraints != null)
- return constraints;
- if (HasImage)
- return Module.Read (ref constraints, this, (generic_parameter, reader) => reader.ReadGenericConstraints (generic_parameter));
- return constraints = new Collection<TypeReference> ();
- }
- }
- public bool HasCustomAttributes {
- get {
- if (custom_attributes != null)
- return custom_attributes.Count > 0;
- return Mixin.GetHasCustomAttributes(this, Module);
- }
- }
- public Collection<CustomAttribute> CustomAttributes {
- get { return custom_attributes ?? (Mixin.GetCustomAttributes(this, ref custom_attributes, Module)); }
- }
- public override IMetadataScope Scope {
- get {
- if (owner == null)
- return null;
- return owner.GenericParameterType == GenericParameterType.Method
- ? ((MethodReference) owner).DeclaringType.Scope
- : ((TypeReference) owner).Scope;
- }
- }
- public override ModuleDefinition Module {
- get { return module ?? owner.Module; }
- }
- public override string Name {
- get {
- if (!string.IsNullOrEmpty (base.Name))
- return base.Name;
- return base.Name = (type == GenericParameterType.Method ? "!!" : "!") + position;
- }
- }
- public override string Namespace {
- get { return string.Empty; }
- set { throw new InvalidOperationException (); }
- }
- public override string FullName {
- get { return Name; }
- }
- public override bool IsGenericParameter {
- get { return true; }
- }
- internal override bool ContainsGenericParameter {
- get { return true; }
- }
- public override MetadataType MetadataType {
- get { return (MetadataType) etype; }
- }
- #region GenericParameterAttributes
- public bool IsNonVariant {
- get { return Mixin.GetMaskedAttributes(attributes,(ushort) GenericParameterAttributes.VarianceMask, (ushort) GenericParameterAttributes.NonVariant); }
- set { attributes = Mixin.SetMaskedAttributes(attributes,(ushort) GenericParameterAttributes.VarianceMask, (ushort) GenericParameterAttributes.NonVariant, value); }
- }
- public bool IsCovariant {
- get { return Mixin.GetMaskedAttributes(attributes,(ushort) GenericParameterAttributes.VarianceMask, (ushort) GenericParameterAttributes.Covariant); }
- set { attributes = Mixin.SetMaskedAttributes(attributes,(ushort) GenericParameterAttributes.VarianceMask, (ushort) GenericParameterAttributes.Covariant, value); }
- }
- public bool IsContravariant {
- get { return Mixin.GetMaskedAttributes(attributes,(ushort) GenericParameterAttributes.VarianceMask, (ushort) GenericParameterAttributes.Contravariant); }
- set { attributes = Mixin.SetMaskedAttributes(attributes,(ushort) GenericParameterAttributes.VarianceMask, (ushort) GenericParameterAttributes.Contravariant, value); }
- }
- public bool HasReferenceTypeConstraint {
- get { return Mixin.GetAttributes(attributes,(ushort) GenericParameterAttributes.ReferenceTypeConstraint); }
- set { attributes =Mixin.SetAttributes(attributes,(ushort) GenericParameterAttributes.ReferenceTypeConstraint, value); }
- }
- public bool HasNotNullableValueTypeConstraint {
- get { return Mixin.GetAttributes(attributes,(ushort) GenericParameterAttributes.NotNullableValueTypeConstraint); }
- set { attributes =Mixin.SetAttributes(attributes,(ushort) GenericParameterAttributes.NotNullableValueTypeConstraint, value); }
- }
- public bool HasDefaultConstructorConstraint {
- get { return Mixin.GetAttributes(attributes,(ushort) GenericParameterAttributes.DefaultConstructorConstraint); }
- set { attributes =Mixin.SetAttributes(attributes,(ushort) GenericParameterAttributes.DefaultConstructorConstraint, value); }
- }
- #endregion
- public GenericParameter (IGenericParameterProvider owner)
- : this (string.Empty, owner)
- {
- }
- public GenericParameter (string name, IGenericParameterProvider owner)
- : base (string.Empty, name)
- {
- if (owner == null)
- throw new ArgumentNullException ();
- this.position = -1;
- this.owner = owner;
- this.type = owner.GenericParameterType;
- this.etype = ConvertGenericParameterType (this.type);
- }
- public GenericParameter (int position, GenericParameterType type, ModuleDefinition module)
- : base (string.Empty, string.Empty)
- {
- if (module == null)
- throw new ArgumentNullException ();
- this.position = position;
- this.type = type;
- this.etype = ConvertGenericParameterType (type);
- this.module = module;
- }
- static ElementType ConvertGenericParameterType (GenericParameterType type)
- {
- switch (type) {
- case GenericParameterType.Type:
- return ElementType.Var;
- case GenericParameterType.Method:
- return ElementType.MVar;
- }
- throw new ArgumentOutOfRangeException ();
- }
- public override TypeDefinition Resolve ()
- {
- return null;
- }
- }
- sealed class GenericParameterCollection : Collection<GenericParameter> {
- readonly IGenericParameterProvider owner;
- internal GenericParameterCollection (IGenericParameterProvider owner)
- {
- this.owner = owner;
- }
- internal GenericParameterCollection (IGenericParameterProvider owner, int capacity)
- : base (capacity)
- {
- this.owner = owner;
- }
- protected override void OnAdd (GenericParameter item, int index)
- {
- UpdateGenericParameter (item, index);
- }
- protected override void OnInsert (GenericParameter item, int index)
- {
- UpdateGenericParameter (item, index);
- for (int i = index; i < size; i++)
- items[i].position = i + 1;
- }
- protected override void OnSet (GenericParameter item, int index)
- {
- UpdateGenericParameter (item, index);
- }
- void UpdateGenericParameter (GenericParameter item, int index)
- {
- item.owner = owner;
- item.position = index;
- item.type = owner.GenericParameterType;
- }
- protected override void OnRemove (GenericParameter item, int index)
- {
- item.owner = null;
- item.position = -1;
- item.type = GenericParameterType.Type;
- for (int i = index + 1; i < size; i++)
- items[i].position = i - 1;
- }
- }
- }
|