Class TransitionEdge

Hierarchy

Edge
- TransitionEdge

Index

Constructors

constructor

Properties

Methods

Constructors

constructor

new TransitionEdge(graph: Graph, transition: Transition, isCurved: boolean): TransitionEdge

Overrides Edge.constructor
- Defined in view/edges/TransitionEdge.ts:22
Parameters
- graph: Graph
- transition: Transition
- isCurved: boolean
Returns TransitionEdge

Properties

destinationNode

destinationNode: StateNode

graph

graph: Graph

handleSelection

handleSelection: EdgeSelection

id

id: string

isCurved

isCurved: boolean

originNode

originNode: StateNode

transitionIDs

transitionIDs: TransitionID[]

Static edgeNumber

edgeNumber: number = 0

Methods

addTransitionToEdge

addTransitionToEdge(transition: Transition): void

- Defined in view/edges/TransitionEdge.ts:51
Parameters
- transition: Transition
Returns void

delete

delete(): void

Inherited from Edge.delete
- Defined in view/edges/Edge.ts:188
Returns void

deleteTransitionEdge

deleteTransitionEdge(transitionId: TransitionID): void

- Defined in view/edges/TransitionEdge.ts:84
Parameters
- transitionId: TransitionID
Returns void

drawTransitionText

drawTransitionText(inputSymbol: TapeSymbol, outputSymbol: TapeSymbol, headAction: HeadAction): void

- Defined in view/edges/TransitionEdge.ts:120
Parameters
- inputSymbol: TapeSymbol
- outputSymbol: TapeSymbol
- headAction: HeadAction
Returns void

init

init(): void

Inherited from Edge.init
- Defined in view/edges/Edge.ts:44
Returns void

initTransitionEdge

initTransitionEdge(transition: Transition): void

- Defined in view/edges/TransitionEdge.ts:39
Parameters
- transition: Transition
Returns void

invalidate

invalidate(): void

Inherited from Edge.invalidate
- Defined in view/edges/Edge.ts:202
Returns void

Protected redraw

redraw(pt1: object, pt2: object, curved?: boolean, flipped?: boolean): void

Inherited from Edge.redraw
- Defined in view/edges/Edge.ts:67
Parameters
- pt1: object
  - x: number
  - y: number
- pt2: object
  - x: number
  - y: number
- Default value curved: boolean = false
- Default value flipped: boolean = false
Returns void

Protected redrawText

redrawText(text: string): void

Inherited from Edge.redrawText
- Defined in view/edges/Edge.ts:181
Parameters
- text: string
Returns void

redrawTransitionEdge

redrawTransitionEdge(): void

- Defined in view/edges/TransitionEdge.ts:59
Returns void

setCurved

setCurved(b: boolean): void

- Defined in view/edges/TransitionEdge.ts:147
Parameters
- b: boolean
Returns void

validate

validate(): void

Inherited from Edge.validate
- Defined in view/edges/Edge.ts:195
Returns void

Static getEdge

getEdge(selection: Selection<any>): Edge

Inherited from Edge.getEdge
- Defined in view/edges/Edge.ts:220
Parameters
- selection: Selection<any>
Returns Edge

the group classed as an edge containing the selection.

Static getTransitionEdge

getTransitionEdge(selection: Selection<any, any, any, any>): TransitionEdge

- Defined in view/edges/TransitionEdge.ts:107
Parameters
- selection: Selection<any, any, any, any>
Returns TransitionEdge

the transition edge containing the selection.

Static isEdge

isEdge(selection: Selection<any>): boolean

Inherited from Edge.isEdge
- Defined in view/edges/Edge.ts:211
Parameters
- selection: Selection<any>
Returns boolean

true if is the d3 selection is an edge.

Static isTransitionEdge

isTransitionEdge(selection: Selection<any, any, any, any>): boolean

- Defined in view/edges/TransitionEdge.ts:98
Parameters
- selection: Selection<any, any, any, any>
Returns boolean

true if selection is a transition edge.

Generated using TypeDoc