Class SubtypingRules

Defines a subtyping relation on types.

Inheritance

object

SubtypingRules

ClrSubtypingRules

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.TypeSystem

Assembly: Flame.dll

Syntax

public abstract class SubtypingRules

Methods

IsSubtypeOf(IType, IType)

Tells if a type is a subtype of another type.

Declaration

public abstract 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.