TeSSLa: TeSSLa Standard Library for TeSSLa 2.0.0

module VisualizationAnnotations

Annotations giving display hints for streams. These annotations are considered by the visualizer in the web IDE.

ANCHOR Annotation @VisBool

@VisBool

This is a special style for boolean signals. Similar to @VisSignal the events are not interpreted as discrete points in time but as continuous signals changing their values at the events. True is shown as a thick bar and false as a thin bar.

Usage example:

in b: Events[Bool]
@VisBool
out b

Trace example:

option axis: true
option timeDomain: [0,6]
stream b: bool
---
2: b = false
3: b = true
5: b = false

ANCHOR Annotation @VisBubbles

@VisBubbles

Draws events as a round bubble with the event's value inside.

Usage example:

in temperature: Events[Int]
@VisBubbles
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: bubbles
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisDots

@VisDots

Draws events as a dot whose vertical position above the timeline indicates the event's value.

Usage example:

in temperature: Events[Int]
@VisDots
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: dots
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisEvents

@VisEvents

Draws events as a cross on the timeline with the event's value displayed above the event. This is the default style which is applied to all streams without any annotation.

Usage example:

in temperature: Events[Int]
@VisEvents
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: events
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisGraph

@VisGraph

Draws events similar to @VisDots as a dot whose vertical position above the timeline indicates the event's value. Additionally a line connecting the dots indicates a piece-wise linear function.

Usage example:

in temperature: Events[Int]
@VisGraph
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: graph
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisPlot

@VisPlot

Draws events similar to @VisDots as a dot whose vertical position above the timeline indicates the event's value. Additionally a horizontal line after each dot until the next event indicates a piece-wise constant function.

Usage example:

in temperature: Events[Int]
@VisPlot
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: plot
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisSignal

@VisSignal

This style is known from the visualization of digital signal buses. The value of an event is shown between this and the next event and a stretched rhombus is drawn around the event's value.

Usage example:

in temperature: Events[Int]
@VisSignal
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: signal
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisSlimGraph

@VisSlimGraph

This style is similar to @VisGraph but without the dots.

Usage example:

in temperature: Events[Int]
@VisSlimGraph
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: slim graph
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisSlimPlot

@VisSlimPlot

This style is similar to @VisPlot but without the dots.

Usage example:

in temperature: Events[Int]
@VisSlimPlot
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: slim plot
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9

ANCHOR Annotation @VisUnitEvents

@VisUnitEvents

This style is similar to @VisEvents, but without values above the crosses. This style can be used to decrease the vertical distance above this steam's timeline.

Usage example:

in temperature: Events[Int]
@VisUnitEvents
out temperature

Trace example:

option axis: true
option timeDomain: [0,6]
stream temperature: unit events
---
1: temperature = 6
2: temperature = 2
3: temperature = 1
4: temperature = 5
5: temperature = 9