Class SubtypingRules

Defines a subtyping relation on types.

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