352 lines
12 KiB
C#
352 lines
12 KiB
C#
//
|
|
// Author:
|
|
// Jb Evain (jbevain@gmail.com)
|
|
//
|
|
// Copyright (c) 2008 - 2015 Jb Evain
|
|
// Copyright (c) 2008 - 2011 Novell, Inc.
|
|
//
|
|
// Licensed under the MIT/X11 license.
|
|
//
|
|
|
|
using MonoFN.Cecil.Metadata;
|
|
using MonoFN.Collections.Generic;
|
|
using System;
|
|
using System.Threading;
|
|
|
|
namespace MonoFN.Cecil
|
|
{
|
|
public sealed class GenericParameter : TypeReference, ICustomAttributeProvider
|
|
{
|
|
internal int position;
|
|
internal GenericParameterType type;
|
|
internal IGenericParameterProvider owner;
|
|
private ushort attributes;
|
|
private GenericParameterConstraintCollection constraints;
|
|
private 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;
|
|
|
|
return HasImage && Module.Read(this, (generic_parameter, reader) => reader.HasGenericConstraints(generic_parameter));
|
|
}
|
|
}
|
|
public Collection<GenericParameterConstraint> Constraints
|
|
{
|
|
get
|
|
{
|
|
if (constraints != null)
|
|
return constraints;
|
|
|
|
if (HasImage)
|
|
return Module.Read(ref constraints, this, (generic_parameter, reader) => reader.ReadGenericConstraints(generic_parameter));
|
|
|
|
Interlocked.CompareExchange(ref constraints, new(this), null);
|
|
return constraints;
|
|
}
|
|
}
|
|
public bool HasCustomAttributes
|
|
{
|
|
get
|
|
{
|
|
if (custom_attributes != null)
|
|
return custom_attributes.Count > 0;
|
|
|
|
return this.GetHasCustomAttributes(Module);
|
|
}
|
|
}
|
|
public Collection<CustomAttribute> CustomAttributes
|
|
{
|
|
get { return custom_attributes ?? this.GetCustomAttributes(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;
|
|
}
|
|
set { throw new InvalidOperationException(); }
|
|
}
|
|
public override TypeReference DeclaringType
|
|
{
|
|
get { return owner as TypeReference; }
|
|
set { throw new InvalidOperationException(); }
|
|
}
|
|
public MethodReference DeclaringMethod
|
|
{
|
|
get { return owner as MethodReference; }
|
|
}
|
|
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; }
|
|
}
|
|
public override bool ContainsGenericParameter
|
|
{
|
|
get { return true; }
|
|
}
|
|
public override MetadataType MetadataType
|
|
{
|
|
get { return (MetadataType)etype; }
|
|
}
|
|
|
|
#region GenericParameterAttributes
|
|
public bool IsNonVariant
|
|
{
|
|
get { return attributes.GetMaskedAttributes((ushort)GenericParameterAttributes.VarianceMask, (ushort)GenericParameterAttributes.NonVariant); }
|
|
set { attributes = attributes.SetMaskedAttributes((ushort)GenericParameterAttributes.VarianceMask, (ushort)GenericParameterAttributes.NonVariant, value); }
|
|
}
|
|
public bool IsCovariant
|
|
{
|
|
get { return attributes.GetMaskedAttributes((ushort)GenericParameterAttributes.VarianceMask, (ushort)GenericParameterAttributes.Covariant); }
|
|
set { attributes = attributes.SetMaskedAttributes((ushort)GenericParameterAttributes.VarianceMask, (ushort)GenericParameterAttributes.Covariant, value); }
|
|
}
|
|
public bool IsContravariant
|
|
{
|
|
get { return attributes.GetMaskedAttributes((ushort)GenericParameterAttributes.VarianceMask, (ushort)GenericParameterAttributes.Contravariant); }
|
|
set { attributes = attributes.SetMaskedAttributes((ushort)GenericParameterAttributes.VarianceMask, (ushort)GenericParameterAttributes.Contravariant, value); }
|
|
}
|
|
public bool HasReferenceTypeConstraint
|
|
{
|
|
get { return attributes.GetAttributes((ushort)GenericParameterAttributes.ReferenceTypeConstraint); }
|
|
set { attributes = attributes.SetAttributes((ushort)GenericParameterAttributes.ReferenceTypeConstraint, value); }
|
|
}
|
|
public bool HasNotNullableValueTypeConstraint
|
|
{
|
|
get { return attributes.GetAttributes((ushort)GenericParameterAttributes.NotNullableValueTypeConstraint); }
|
|
set { attributes = attributes.SetAttributes((ushort)GenericParameterAttributes.NotNullableValueTypeConstraint, value); }
|
|
}
|
|
public bool HasDefaultConstructorConstraint
|
|
{
|
|
get { return attributes.GetAttributes((ushort)GenericParameterAttributes.DefaultConstructorConstraint); }
|
|
set { attributes = attributes.SetAttributes((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();
|
|
|
|
position = -1;
|
|
this.owner = owner;
|
|
type = owner.GenericParameterType;
|
|
etype = ConvertGenericParameterType(type);
|
|
token = new(TokenType.GenericParam);
|
|
}
|
|
|
|
internal GenericParameter(int position, GenericParameterType type, ModuleDefinition module) : base(string.Empty, string.Empty)
|
|
{
|
|
Mixin.CheckModule(module);
|
|
|
|
this.position = position;
|
|
this.type = type;
|
|
etype = ConvertGenericParameterType(type);
|
|
this.module = module;
|
|
token = new(TokenType.GenericParam);
|
|
}
|
|
|
|
private 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;
|
|
}
|
|
}
|
|
|
|
internal sealed class GenericParameterCollection : Collection<GenericParameter>
|
|
{
|
|
private 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);
|
|
}
|
|
|
|
private 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;
|
|
}
|
|
}
|
|
|
|
public sealed class GenericParameterConstraint : ICustomAttributeProvider
|
|
{
|
|
internal GenericParameter generic_parameter;
|
|
internal MetadataToken token;
|
|
private Collection<CustomAttribute> custom_attributes;
|
|
public TypeReference ConstraintType { get; set; }
|
|
public bool HasCustomAttributes
|
|
{
|
|
get
|
|
{
|
|
if (custom_attributes != null)
|
|
return custom_attributes.Count > 0;
|
|
|
|
if (generic_parameter == null)
|
|
return false;
|
|
|
|
return this.GetHasCustomAttributes(generic_parameter.Module);
|
|
}
|
|
}
|
|
public Collection<CustomAttribute> CustomAttributes
|
|
{
|
|
get
|
|
{
|
|
if (generic_parameter == null)
|
|
{
|
|
if (custom_attributes == null)
|
|
Interlocked.CompareExchange(ref custom_attributes, new(), null);
|
|
return custom_attributes;
|
|
}
|
|
|
|
return custom_attributes ?? this.GetCustomAttributes(ref custom_attributes, generic_parameter.Module);
|
|
}
|
|
}
|
|
public MetadataToken MetadataToken
|
|
{
|
|
get { return token; }
|
|
set { token = value; }
|
|
}
|
|
|
|
internal GenericParameterConstraint(TypeReference constraintType, MetadataToken token)
|
|
{
|
|
ConstraintType = constraintType;
|
|
this.token = token;
|
|
}
|
|
|
|
public GenericParameterConstraint(TypeReference constraintType)
|
|
{
|
|
Mixin.CheckType(constraintType, Mixin.Argument.constraintType);
|
|
|
|
ConstraintType = constraintType;
|
|
token = new(TokenType.GenericParamConstraint);
|
|
}
|
|
}
|
|
|
|
internal class GenericParameterConstraintCollection : Collection<GenericParameterConstraint>
|
|
{
|
|
private readonly GenericParameter generic_parameter;
|
|
|
|
internal GenericParameterConstraintCollection(GenericParameter genericParameter)
|
|
{
|
|
generic_parameter = genericParameter;
|
|
}
|
|
|
|
internal GenericParameterConstraintCollection(GenericParameter genericParameter, int length) : base(length)
|
|
{
|
|
generic_parameter = genericParameter;
|
|
}
|
|
|
|
protected override void OnAdd(GenericParameterConstraint item, int index)
|
|
{
|
|
item.generic_parameter = generic_parameter;
|
|
}
|
|
|
|
protected override void OnInsert(GenericParameterConstraint item, int index)
|
|
{
|
|
item.generic_parameter = generic_parameter;
|
|
}
|
|
|
|
protected override void OnSet(GenericParameterConstraint item, int index)
|
|
{
|
|
item.generic_parameter = generic_parameter;
|
|
}
|
|
|
|
protected override void OnRemove(GenericParameterConstraint item, int index)
|
|
{
|
|
item.generic_parameter = null;
|
|
}
|
|
}
|
|
} |