Class MultiplicityKind<Specifics>

Types of this kind constrain a type with lower bound and upper bound, e.g. ConstrainedType[1..*] or ConstrainedType[2..4].

Type Parameters

Specifics extends TypirSpecifics

Implements

Kind

Index

Constructors

Properties

$name options services

Methods

calculateIdentifier checkBounds collectOptions createMultiplicityType getMultiplicityType isBoundGreaterEquals printBound printRange registerInferenceRules

Constructors

constructor

new MultiplicityKind<Specifics extends TypirSpecifics>(
services: TypirServices<Specifics>,
options?: Partial<MultiplicityKindOptions>,
): MultiplicityKind<Specifics>
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- services: TypirServices<Specifics>
- Optionaloptions: Partial<MultiplicityKindOptions>
Returns MultiplicityKind<Specifics>
- Defined in kinds/multiplicity/multiplicity-kind.ts:35

Properties

`Readonly`$name

$name: string

`Readonly`options

options: Readonly<MultiplicityKindOptions>

`Readonly`services

services: TypirServices<Specifics>

Methods

calculateIdentifier

calculateIdentifier(typeDetails: MultiplicityTypeDetails<Specifics>): string
Parameters
- typeDetails: MultiplicityTypeDetails<Specifics>
Returns string
- Defined in kinds/multiplicity/multiplicity-kind.ts:77

`Protected`checkBounds

checkBounds(lowerBound: number, upperBound: number): boolean
Parameters
- lowerBound: number
- upperBound: number
Returns boolean
- Defined in kinds/multiplicity/multiplicity-kind.ts:81

`Protected`collectOptions

collectOptions(
options?: Partial<MultiplicityKindOptions>,
): MultiplicityKindOptions
Parameters
- Optionaloptions: Partial<MultiplicityKindOptions>
Returns MultiplicityKindOptions
- Defined in kinds/multiplicity/multiplicity-kind.ts:42

createMultiplicityType

createMultiplicityType(
typeDetails: MultiplicityTypeDetails<Specifics>,
): MultiplicityType
Parameters
- typeDetails: MultiplicityTypeDetails<Specifics>
Returns MultiplicityType
- Defined in kinds/multiplicity/multiplicity-kind.ts:57

getMultiplicityType

getMultiplicityType(
typeDetails: MultiplicityTypeDetails<Specifics>,
): undefined | MultiplicityType
Parameters
- typeDetails: MultiplicityTypeDetails<Specifics>
Returns undefined | MultiplicityType
- Defined in kinds/multiplicity/multiplicity-kind.ts:52

isBoundGreaterEquals

isBoundGreaterEquals(leftBound: number, rightBound: number): boolean
Parameters
- leftBound: number
- rightBound: number
Returns boolean
- Defined in kinds/multiplicity/multiplicity-kind.ts:106

`Protected`printBound

printBound(bound: number): string
Parameters
- bound: number
Returns string
- Defined in kinds/multiplicity/multiplicity-kind.ts:102

printRange

printRange(lowerBound: number, upperBound: number): string
Parameters
- lowerBound: number
- upperBound: number
Returns string
- Defined in kinds/multiplicity/multiplicity-kind.ts:93

`Protected`registerInferenceRules

registerInferenceRules(
_typeDetails: MultiplicityTypeDetails<Specifics>,
_typeWithMultiplicity: MultiplicityType,
): void
Parameters
- _typeDetails: MultiplicityTypeDetails<Specifics>
- _typeWithMultiplicity: MultiplicityType
Returns void
- Defined in kinds/multiplicity/multiplicity-kind.ts:73