Class DefaultTypeConversion

Design decisions:

Do not store transitive relationships, since they must be removed, when types of the corresponding path are removed!
Store only EXPLICIT and IMPLICIT relationships, since this is not required, missing edges means NONE/SELF.

Implements

TypeConversion

Index

Constructors

constructor

new DefaultTypeConversion(services: TypirServices): DefaultTypeConversion
Parameters
- services: TypirServices
Returns DefaultTypeConversion
- Defined in services/conversion.ts:107

Properties

`Protected` `Readonly`equality

equality: TypeEquality

`Protected` `Readonly`graph

graph: TypeGraph

Methods

`Protected`existsEdgePath

existsEdgePath(
    from: Type,
    to: Type,
    mode: ConversionModeForSpecification,
): boolean
Parameters
- from: Type
- to: Type
- mode: ConversionModeForSpecification
Returns boolean
- Defined in services/conversion.ts:179

getConversion

getConversion(from: Type, to: Type): ConversionMode
Identifies the existing conversion relationship between two given types.
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
Returns ConversionMode
the existing conversion relationship between the two given types
Implementation of TypeConversion.getConversion
- Defined in services/conversion.ts:155

`Protected`getConversionEdge

getConversionEdge(from: Type, to: Type): undefined | ConversionEdge
Parameters
- from: Type
- to: Type
Returns undefined | ConversionEdge
- Defined in services/conversion.ts:238

isConvertible

isConvertible(from: Type, to: Type): boolean
Checks whether the given two types are convertible (EXPLICIT or IMPLICIT or SELF).
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
Returns boolean
true if the implicit or explicit conversion is possible or the types are equal, false otherwise
Implementation of TypeConversion.isConvertible
- Defined in services/conversion.ts:233

isExplicitConvertible

isExplicitConvertible(from: Type, to: Type): boolean
Checks whether the given two types are (only) explicitly convertible.
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
Returns boolean
true if the conversion is possible, false otherwise
Implementation of TypeConversion.isExplicitConvertible
- Defined in services/conversion.ts:223

isImplicitExplicitConvertible

isImplicitExplicitConvertible(from: Type, to: Type): boolean
Checks whether the given two types are implicitly (or explicitly) convertible.
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
Returns boolean
true if the conversion is possible, false otherwise
Implementation of TypeConversion.isImplicitExplicitConvertible
- Defined in services/conversion.ts:220

isNoneConvertible

isNoneConvertible(from: Type, to: Type): boolean
Checks whether the given two types are not convertible (and are not equals).
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
Returns boolean
true if the conversion is not possible, false otherwise
Implementation of TypeConversion.isNoneConvertible
- Defined in services/conversion.ts:226

isSelfConvertible

isSelfConvertible(from: Type, to: Type): boolean
Checks whether the given two types are (implicitly or explicitly) convertible, since they are equal.
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
Returns boolean
true if the types are equal, false otherwise
Implementation of TypeConversion.isSelfConvertible
- Defined in services/conversion.ts:229

`Protected`isTransitive

isTransitive(mode: ConversionModeForSpecification): boolean
Parameters
- mode: ConversionModeForSpecification
Returns boolean
- Defined in services/conversion.ts:150

`Protected`isTransitivelyConvertable

isTransitivelyConvertable(
    from: Type,
    to: Type,
    mode: ConversionModeForSpecification,
): boolean
Parameters
- from: Type
- to: Type
- mode: ConversionModeForSpecification
Returns boolean
- Defined in services/conversion.ts:212

markAsConvertible

markAsConvertible(
    from: Type | Type[],
    to: Type | Type[],
    mode: ConversionModeForSpecification,
): void
Defines the conversion relationship between two types.
Parameters
- from: Type | Type[]
  the from/source type
- to: Type | Type[]
  the to/target type
- mode: ConversionModeForSpecification
  the desired conversion relationship between the two given types
Returns void
Implementation of TypeConversion.markAsConvertible
- Defined in services/conversion.ts:112

`Protected`markAsConvertibleSingle

markAsConvertibleSingle(
    from: Type,
    to: Type,
    mode: ConversionModeForSpecification,
): void
Parameters
- from: Type
- to: Type
- mode: ConversionModeForSpecification
Returns void
- Defined in services/conversion.ts:122

Class DefaultTypeConversion

Implements

Index

Constructors

Properties

Methods

Constructors

constructor

Parameters

Returns DefaultTypeConversion

Properties

Protected Readonlyequality

Protected Readonlygraph

Methods

ProtectedexistsEdgePath

Parameters

Returns boolean

getConversion

Parameters

Returns ConversionMode

ProtectedgetConversionEdge

Parameters

Returns undefined | ConversionEdge

isConvertible

Parameters

Returns boolean

isExplicitConvertible

Parameters

Returns boolean

isImplicitExplicitConvertible

Parameters

Returns boolean

isNoneConvertible

Parameters

Returns boolean

isSelfConvertible

Parameters

Returns boolean

ProtectedisTransitive

Parameters

Returns boolean

ProtectedisTransitivelyConvertable

Parameters

Returns boolean

markAsConvertible

Parameters

Returns void

ProtectedmarkAsConvertibleSingle

Parameters

Returns void

Settings

On This Page

`Protected` `Readonly`equality

`Protected` `Readonly`graph

`Protected`existsEdgePath

`Protected`getConversionEdge

`Protected`isTransitive

`Protected`isTransitivelyConvertable

`Protected`markAsConvertibleSingle