Class GlobalNameFormatter

Hierarchy

GlobalNameFormatter

Index

Constructors

constructor

Methods

Constructors

constructor

new GlobalNameFormatter(vdmMapping: VdmMapping): GlobalNameFormatter

- Defined in generator/src/global-name-formatter.ts:13
Parameters
- vdmMapping: VdmMapping
Returns GlobalNameFormatter

Methods

uniqueDirectoryName

uniqueDirectoryName(directoryName: string, originalFileName: string): string

- Defined in generator/src/global-name-formatter.ts:21
Parameters
- directoryName: string
- originalFileName: string
Returns string

uniqueNpmPackageName

uniqueNpmPackageName(npmPackageName: string, originalFileName: string): string

- Defined in generator/src/global-name-formatter.ts:25
Parameters
- npmPackageName: string
- originalFileName: string
Returns string