Class MultiplicityKind

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

Implements

Kind

Index

Constructors

Properties

$name options services

Methods

calculateIdentifier checkBounds collectOptions createMultiplicityType getMultiplicityType isBoundGreaterEquals printBound printRange registerInferenceRules

Constructors

constructor

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

Properties

`Readonly`$name

$name: "MultiplicityTypeKind"

`Readonly`options

options: Readonly<MultiplicityKindOptions>

`Readonly`services

services: TypirServices

Methods

calculateIdentifier

calculateIdentifier(typeDetails: MultiplicityTypeDetails): string
Parameters
- typeDetails: MultiplicityTypeDetails
Returns string
- Defined in kinds/multiplicity/multiplicity-kind.ts:76

`Protected`checkBounds

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

`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): MultiplicityType
Parameters
- typeDetails: MultiplicityTypeDetails
Returns MultiplicityType
- Defined in kinds/multiplicity/multiplicity-kind.ts:56

getMultiplicityType

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

isBoundGreaterEquals

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

`Protected`printBound

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

printRange

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

`Protected`registerInferenceRules

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