Table of Contents

Class GenericInstanceTypeSignature

Namespace
AsmResolver.DotNet.Signatures
Assembly
AsmResolver.DotNet.dll

Represents an instantiation of a generic type.

public class GenericInstanceTypeSignature : TypeSignature, ITypeDescriptor, IMemberDescriptor, IFullNameProvider, INameProvider, IModuleProvider, IImportable, IGenericArgumentsProvider
Inheritance
GenericInstanceTypeSignature
Implements
Inherited Members
Extension Methods

Constructors

GenericInstanceTypeSignature(ITypeDefOrRef, bool)

Creates a new instantiation of a generic type.

public GenericInstanceTypeSignature(ITypeDefOrRef genericType, bool isValueType)

Parameters

genericType ITypeDefOrRef

The type to instantiate.

isValueType bool

Indicates the type is a value type or not.

GenericInstanceTypeSignature(ITypeDefOrRef, bool, params TypeSignature[])

Creates a new instantiation of a generic type.

public GenericInstanceTypeSignature(ITypeDefOrRef genericType, bool isValueType, params TypeSignature[] typeArguments)

Parameters

genericType ITypeDefOrRef

The type to instantiate.

isValueType bool

Indicates the type is a value type or not.

typeArguments TypeSignature[]

The arguments to use for instantiating the generic type.

Properties

ContextModule

Gets the module that defines the member definition or reference.

public override ModuleDefinition? ContextModule { get; }

Property Value

ModuleDefinition

Remarks

For member references, this does not obtain the module definition that the member is defined in. Rather, it obtains the module definition that references this reference.

ElementType

Gets the element type of the

public override ElementType ElementType { get; }

Property Value

ElementType

GenericType

Gets or sets the underlying generic type definition or reference.

public ITypeDefOrRef GenericType { get; set; }

Property Value

ITypeDefOrRef

IsValueType

Gets a value indicating whether instances of this type are passed on by value or by reference.

public override bool IsValueType { get; }

Property Value

bool

Name

Gets the name of the object.

public override string Name { get; }

Property Value

string

Namespace

Gets the namespace the type resides in.

public override string? Namespace { get; }

Property Value

string

Scope

Gets the resolution scope that defines the type.

public override IResolutionScope? Scope { get; }

Property Value

IResolutionScope

TypeArguments

Gets a collection of type arguments used to instantiate the generic type.

public IList<TypeSignature> TypeArguments { get; }

Property Value

IList<TypeSignature>

Methods

AcceptVisitor<TResult>(ITypeSignatureVisitor<TResult>)

Visit the current type signature using the provided visitor.

public override TResult AcceptVisitor<TResult>(ITypeSignatureVisitor<TResult> visitor)

Parameters

visitor ITypeSignatureVisitor<TResult>

The visitor to accept.

Returns

TResult

The result the visitor produced after visiting this type signature.

Type Parameters

TResult

The type of result the visitor produces.

AcceptVisitor<TState, TResult>(ITypeSignatureVisitor<TState, TResult>, TState)

Visit the current type signature using the provided visitor.

public override TResult AcceptVisitor<TState, TResult>(ITypeSignatureVisitor<TState, TResult> visitor, TState state)

Parameters

visitor ITypeSignatureVisitor<TState, TResult>

The visitor to accept.

state TState

Additional state.

Returns

TResult

The result the visitor produced after visiting this type signature.

Type Parameters

TState

The type of additional state.

TResult

The type of result the visitor produces.

GetDirectBaseClass()

Obtains the direct base class of the type signature.

public override TypeSignature? GetDirectBaseClass()

Returns

TypeSignature

The type representing the immediate base class.

Remarks

The direct base class is computed according to the rules defined in ECMA-335 I.8.7, where interfaces will extend object, and generic base types will be instantiated with the derived classes type arguments (if any).

GetDirectlyImplementedInterfaces()

Obtains the interfaces that are directly implemented by the type.

public override IEnumerable<TypeSignature> GetDirectlyImplementedInterfaces()

Returns

IEnumerable<TypeSignature>

The interfaces.

Remarks

The result set of types is computed according to the rules defined in ECMA-335 I.8.7, where interfaces will extend object, and generic interfaces will be instantiated with the derived classes type arguments (if any).

GetUnderlyingTypeDefOrRef()

Gets the underlying base type signature, without any extra adornments.

public override ITypeDefOrRef GetUnderlyingTypeDefOrRef()

Returns

ITypeDefOrRef

The base signature.

Remarks

This is not to be confused with GetUnderlyingType(), which may resolve enum types to their underlying type representation.

IsDirectlyCompatibleWith(TypeSignature, SignatureComparer)

Determines whether the current type is directly compatible with the provided type.

protected override bool IsDirectlyCompatibleWith(TypeSignature other, SignatureComparer comparer)

Parameters

other TypeSignature

The other type.

comparer SignatureComparer

The comparer to use for comparing type signatures.

Returns

bool

true if the types are directly compatible, false otherwise.

Remarks

Type compatibility is determined according to the rules in ECMA-335 I.8.7.1., excluding the transitivity rule.

IsImportedInModule(ModuleDefinition)

Determines whether the descriptor of the member is fully imported in the provided module.

public override bool IsImportedInModule(ModuleDefinition module)

Parameters

module ModuleDefinition

The module that is supposed to import the member.

Returns

bool

true if the descriptor of the member is fully imported by the module, false otherwise.

Remarks

This method verifies all references in the descriptor of the member only. It does not verify any additional data or contents (such as a method body) associated to the member.

Resolve(ModuleDefinition)

Resolves the reference to a method definition, assuming the provided module as resolution context.

public override TypeDefinition? Resolve(ModuleDefinition context)

Parameters

context ModuleDefinition

The module to assume as resolution context.

Returns

TypeDefinition

The resolved method definition, or null if the method could not be resolved.

WriteContents(in BlobSerializationContext)

Serializes the blob (without extra data) to an output stream.

protected override void WriteContents(in BlobSerializationContext context)

Parameters

context BlobSerializationContext