Class ClrSubtypingRules

Subtyping rules for the CLR's type system.

Inheritance
object
SubtypingRules
ClrSubtypingRules
Inherited Members
Namespace: Flame.Clr
Assembly: Flame.Clr.dll
Syntax
public sealed class ClrSubtypingRules : SubtypingRules

Fields

| Edit this page View Source

Instance

An instance of the CLR subtyping rules.

Declaration
public static readonly ClrSubtypingRules Instance
Field Value
Type Description
ClrSubtypingRules

Methods

| Edit this page 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