Apollo-Frontend
  1. Miscellaneous
  2. Functions

Index

src/app/utils/d3/paths.ts

bidirectionalLinkTextTransform
bidirectionalLinkTextTransform(source: D3Node, target: D3Node, graphConfiguration: GraphConfiguration)

Calculates the offset for the text of a bi-directional link.

Parameters :
Name Type Optional Description
source D3Node No

The source D3Node.
target D3Node No

The target D3Node.
graphConfiguration GraphConfiguration No

Visual configuration.
Returns : string
degreesToRadians
degreesToRadians(degrees: number)

Calculates the radian value for the given degrees.

Parameters :
Name Type Optional Description
degrees number No

The degrees.
Returns : number
directLinkTextTransform
directLinkTextTransform(source: D3Node, target: D3Node)

Calculates the offset for the text of a mono-directional link.

Parameters :
Name Type Optional Description
source D3Node No

The source D3Node.
target D3Node No

The target D3Node.
Returns : string
linePath
linePath(from, to)

Creates a straight path between two points.

Parameters :
Name Optional Description
from No

Source coordinates.
to No

Target coordinates.
Returns : string
paddedArcPath
paddedArcPath(source: D3Node, target: D3Node, graphConfiguration: GraphConfiguration)

Creates the path of an arc line between the edges of two nodes.

Parameters :
Name Type Optional Description
source D3Node No

The source D3Node.
target D3Node No

The target D3Node.
graphConfiguration GraphConfiguration No

Visual configuration.
Returns : string
paddedLinePath
paddedLinePath(source: D3Node, target: D3Node, graphConfiguration: GraphConfiguration)

Creates the path of a straight line between the edges of two nodes.

Parameters :
Name Type Optional Description
source D3Node No

The source D3Node.
target D3Node No

The target D3Node.
graphConfiguration GraphConfiguration No

Visual configuration.
Returns : string
paddedReflexivePath
paddedReflexivePath(node: D3Node, center, graphConfiguration: GraphConfiguration)

Creates the path of a reflexive line of a node. It will be always be directed away from the center.

Parameters :
Name Type Optional Description
node D3Node No

The D3Node.
center No

The center point of the graph.
graphConfiguration GraphConfiguration No

Visual configuration.
Returns : string
reflexiveLinkTextTransform
reflexiveLinkTextTransform(node: D3Node, center, graphConfiguration: GraphConfiguration)

Calculates the offset for the text of a reflexive link.

Parameters :
Name Type Optional Description
node D3Node No

The D3Node.
center No

The center point of the graph.
graphConfiguration GraphConfiguration No

Visual configuration.
Returns : string
rotate
rotate(vector: Matrix, radians: number)

Rotates a vector by the given radians around the origin.

Parameters :
Name Type Optional Description
vector Matrix No

The vector to be rotated.
radians number No

The radians to rotate the vector by.
Returns : Matrix

src/app/model/domain/assignment-collection.ts

completeAssignment
completeAssignment(state: AssignmentCollection, key: string)
Parameters :
Name Type Optional
state AssignmentCollection No
key string No
Returns : AssignmentCollection
setAssignment
setAssignment(state: AssignmentCollection, assignment: Assignment)

Adds an assignment to the specified collection.

Parameters :
Name Type Optional Description
state AssignmentCollection No

The target collection.
assignment Assignment No

The assignment to be added.
Returns : AssignmentCollection
unsetAssignment
unsetAssignment(state: AssignmentCollection, key: string)

Removes an assignment from the specified collection.

Parameters :
Name Type Optional Description
state AssignmentCollection No

The source collection.
key string No

The name of the assignment to be removed.
Returns : AssignmentCollection

src/app/utils/d3/canvas.ts

createCanvas
createCanvas(host: GraphHost, zoom: Zoom, onPointerMoved, onPointerUp, onDoubleClick)
Parameters :
Name Type Optional
host GraphHost No
zoom Zoom No
onPointerMoved No
onPointerUp No
onDoubleClick No
Returns : Canvas

src/app/utils/d3/drag.ts

createDrag
createDrag(onDragStart, onDrag, onDragEnd)
Parameters :
Name Optional
onDragStart No
onDrag No
onDragEnd No
Returns : Drag

src/app/utils/d3/draggable-link.ts

createDraggableLink
createDraggableLink(canvas: Canvas)
Parameters :
Name Type Optional
canvas Canvas No
Returns : DraggableLink

src/app/utils/d3/markers.ts

createLinkMarker
createLinkMarker(canvas: Canvas, config: GraphConfiguration, id: string, classes: string)
Parameters :
Name Type Optional
canvas Canvas No
config GraphConfiguration No
id string No
classes string No
Returns : void
initMarkers
initMarkers(canvas: Canvas, config: GraphConfiguration)
Parameters :
Name Type Optional
canvas Canvas No
config GraphConfiguration No
Returns : void

src/app/utils/d3/link-selection.ts

createLinkSelection
createLinkSelection(canvas: Canvas)
Parameters :
Name Type Optional
canvas Canvas No
Returns : LinkSelection

src/app/utils/d3/node-selection.ts

createNodeSelection
createNodeSelection(canvas: Canvas)
Parameters :
Name Type Optional
canvas Canvas No
Returns : NodeSelection

src/app/utils/d3/simulation.ts

createSimulation
createSimulation(graph: D3Graph, config: GraphConfiguration, width: number, height: number, useForces: boolean, onTick)
Parameters :
Name Type Optional
graph D3Graph No
config GraphConfiguration No
width number No
height number No
useForces boolean No
onTick No
Returns : Simulation

src/app/utils/d3/zoom.ts

createZoom
createZoom(onZoom)
Parameters :
Name Optional
onZoom No
Returns : Zoom

src/app/model/domain/graph.collection.ts

graphCollectionQueryParams
graphCollectionQueryParams(graphSource: GraphSource, graphKey: string)

Creates queryParams that allow extraction of the graph with the given name from the specified source.

Parameters :
Name Type Optional Description
graphSource GraphSource No

Source of the graph.
graphKey string No

Name of the graph.
Returns : Params
setGraph
setGraph(state: GraphCollection, graph: FOLGraph)

Adds a graph to the specified collection.

Parameters :
Name Type Optional Description
state GraphCollection No

The target collection.
graph FOLGraph No

The graph to be added.
Returns : GraphCollection
unsetGraph
unsetGraph(state: GraphCollection, key: string)

Removes a graph from the specified collection.

Parameters :
Name Type Optional Description
state GraphCollection No

The source collection.
key string No

The name of the graph to be removed.
Returns : GraphCollection

src/app/utils/events.ts

terminate
terminate(event: Event)

Terminates an event by preventing its default action and stopping propagation.

Parameters :
Name Type Optional Description
event Event No

The event to be terminated.
Returns : void

src/app/dialogs/result-tree/result-tree.dialog.ts

traceToFlatNode
traceToFlatNode(trace: ModelCheckerTrace, level: number)
Parameters :
Name Type Optional
trace ModelCheckerTrace No
level number No
Returns : FlatTraceNode

results matching ""

    No results matching ""