Class DefaultTypeConversion<Specifics>

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.

Type Parameters

Specifics extends TypirSpecifics

Implements

TypeConversion

Index

Constructors

constructor

new DefaultTypeConversion<Specifics extends TypirSpecifics>(
services: TypirServices<Specifics>,
): DefaultTypeConversion<Specifics>
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- services: TypirServices<Specifics>
Returns DefaultTypeConversion<Specifics>
- Defined in services/conversion.ts:117

Properties

`Protected` `Readonly`algorithms

algorithms: GraphAlgorithms

`Protected` `Readonly`equality

equality: TypeEquality

`Protected` `Readonly`graph

graph: TypeGraph

Methods

`Protected`collectReachableTypes

collectReachableTypes(
from: Type,
mode: ConversionModeForSpecification,
): Set<Type>
Parameters
- from: Type
- mode: ConversionModeForSpecification
Returns Set<Type>
- Defined in services/conversion.ts:180

`Protected`existsEdgePath

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

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:156

`Protected`getConversionEdge

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

getConvertibleTo

getConvertibleTo(from: Type, mode: ConversionModeForSpecification): Set<Type>
Returns all other types to which the given type can be recursively converted.
Parameters
- from: Type
  the source type, which is convertible to the returned types
- mode: ConversionModeForSpecification
  only conversion rules with the given conversion mode are considered
Returns Set<Type>
the set of recursively reachable types for conversion ("conversion targets")
Implementation of TypeConversion.getConvertibleTo
- Defined in services/conversion.ts:218

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:209

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:199

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:196

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:202

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:205

`Protected`isTransitive

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

`Protected`isTransitivelyConvertable

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

markAsConvertible

markAsConvertible(
    from: Type,
    to: Type,
    mode: ConversionModeForSpecification,
): void
Defines the conversion relationship between two types.
Parameters
- from: Type
  the from/source type
- to: Type
  the to/target type
- mode: ConversionModeForSpecification
  the desired conversion relationship between the two given types
Returns void
Throws
an error, if a cycle was introduced
Implementation of TypeConversion.markAsConvertible
- Defined in services/conversion.ts:123

Class DefaultTypeConversion<Specifics>

Type Parameters

Implements

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns DefaultTypeConversion<Specifics>

Properties

Protected Readonlyalgorithms

Protected Readonlyequality

Protected Readonlygraph

Methods

ProtectedcollectReachableTypes

Parameters

Returns Set<Type>

ProtectedexistsEdgePath

Parameters

Returns boolean

getConversion

Parameters

Returns ConversionMode

ProtectedgetConversionEdge

Parameters

Returns undefined | ConversionEdge

getConvertibleTo

Parameters

Returns Set<Type>

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

Throws

Settings

On This Page

`Protected` `Readonly`algorithms

`Protected` `Readonly`equality

`Protected` `Readonly`graph

`Protected`collectReachableTypes

`Protected`existsEdgePath

`Protected`getConversionEdge

`Protected`isTransitive

`Protected`isTransitivelyConvertable