Class TransitionEventSource

Hierarchy (view full)

EventSource<TransitionEvent, TransitionEventType>
- TransitionEventSource

Index

Constructors

Accessors

Methods

addEvent getEvent getEvents mergeEvent removeEvent

Constructors

constructor

new TransitionEventSource(): TransitionEventSource
Returns TransitionEventSource
Overrides EventSource.constructor
- Defined in model/transition/transition-event-source.ts:6

Accessors

`Protected`events

get events(): Map<S, T>
Returns Map<S, T>
Inherited from EventSource.events
- Defined in model/petrinet/event-source.ts:10

Methods

addEvent

addEvent(event): void
Parameters
- event: TransitionEvent
Returns void
Inherited from EventSource.addEvent
- Defined in model/petrinet/event-source.ts:22

getEvent

getEvent(type): undefined | TransitionEvent
Parameters
- type: TransitionEventType
Returns undefined | TransitionEvent
Inherited from EventSource.getEvent
- Defined in model/petrinet/event-source.ts:18

getEvents

getEvents(): TransitionEvent[]
Returns TransitionEvent[]
Inherited from EventSource.getEvents
- Defined in model/petrinet/event-source.ts:14

mergeEvent

mergeEvent(event): void
Parameters
- event: TransitionEvent
Returns void
Inherited from EventSource.mergeEvent
- Defined in model/petrinet/event-source.ts:33

removeEvent

removeEvent(type): void
Parameters
- type: TransitionEventType
Returns void
Inherited from EventSource.removeEvent
- Defined in model/petrinet/event-source.ts:29