Class MapFABuilder

An FA builder that uses Map objects as nodes. Each node is the map of its outgoing transitions.

Hierarchy

MapFABuilder

Implements

FABuilder<MapFABuilderNode, CharSet>

Index

Constructors

Properties

Methods

createNode isFinal linkNodes makeFinal

Constructors

constructor

new MapFABuilder(maxNodes?: number): MapFABuilder
Parameters
- maxNodes: number = Infinity
Returns MapFABuilder

Properties

`Readonly` finals

finals: Set<MapFABuilderNode> = ...

`Readonly` initial

initial: MapFABuilderNode = ...

The initial state of the FA.

Methods

createNode

createNode(): MapFABuilderNode
Creates a new state.

Throws
TooManyNodesError May be thrown if the number of created nodes exceeds some limit.

Returns MapFABuilderNode

Implementation of FABuilder.createNode

isFinal

isFinal(state: MapFABuilderNode): boolean
Returns whether the given state is a final state.

This operation is assumed to be semantically equivalent to isFinal.
Parameters
- state: MapFABuilderNode
Returns boolean

Implementation of FABuilder.isFinal

linkNodes

linkNodes(from: MapFABuilderNode, to: MapFABuilderNode, transition: CharSet): void
Links to the two given states using the given transition.

Calling this operations more than once for the given from and to states is not guaranteed to succeed.
Parameters
- from: MapFABuilderNode
- to: MapFABuilderNode
- transition: CharSet
Returns void

Implementation of FABuilder.linkNodes

makeFinal

makeFinal(state: MapFABuilderNode): void
Makes the given state behave like a final state of this FA.

This does not necessarily mean that the given state will be a final state. I.e. calling makeFinal(s) does not necessitate that isFinal(s) is true.

The implementation has to guarantee that calling this method for the same state more than once is allowed.
Parameters
- state: MapFABuilderNode
Returns void

Implementation of FABuilder.makeFinal