Annotations giving display hints for streams. These annotations are considered by the visualizer in the web IDE.
@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
@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
@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
@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
@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
@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
@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
@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
@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
@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