Class ClrSubtypingRules

Subtyping rules for the CLR's type system.

Inheritance
System.Object
SubtypingRules
ClrSubtypingRules
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Namespace: Flame.Clr
Assembly: Flame.Clr.dll
Syntax
public sealed class ClrSubtypingRules : SubtypingRules

Fields

| Improve this Doc View Source

Instance

An instance of the CLR subtyping rules.

Declaration
public static readonly ClrSubtypingRules Instance
Field Value
Type Description
ClrSubtypingRules

Methods

| Improve this Doc View Source

IsSubtypeOf(IType, IType)

Tells if a type is a subtype of another type.

Declaration
public override ImpreciseBoolean IsSubtypeOf(IType subtype, IType supertype)
Parameters
Type Name Description
IType subtype

The type to test for subtype-ness.
IType supertype

The type to test subtype against for subtype-ness.
Returns
Type Description
ImpreciseBoolean

ImpreciseBoolean.True if subtype is definitely a subtype of supertype; ImpreciseBoolean.False if subtype is definitely not a subtype of supertype; otherwise, ImpreciseBoolean.Maybe.
Overrides