exec/protocol.sh
author František Kučera <franta-hg@frantovo.cz>
Sun, 05 Jan 2020 16:28:53 +0100
branchv_0
changeset 0 4d5b3eda7be1
permissions -rwxr-xr-x
exec: protocol design draft

#!/bin/bash

read_nullbyte() { for v in "$@"; do export "$v"; read -r -d '' "$v"; done }

# Warning: this script is unsafe and certain characters (which are perfectly legal in CSV values) might cause invalid DOT (GraphViz) streams. (you have been warned)

nodes() {
	cat messages.csv \
		| relpipe-in-csv \
		| relpipe-tr-cut '.*' 'message|sender' \
		| relpipe-tr-sed '.*' 'sender' 'executor' 'coral' \
		| relpipe-tr-sed '.*' 'sender' 'process'  'gold2' \
		| relpipe-out-nullbyte \
		| while read_nullbyte message color; do echo "$message[style=\"filled,rounded\", fillcolor=$color];"; done
	echo;
}

edges() {
	cat protocol.csv \
		| relpipe-in-csv \
		| relpipe-out-nullbyte \
		| while read_nullbyte from to label; do echo "$from -> $to [label=\"  $label\"];"; done
}

header() {
	echo "digraph G {
#rankdir=LR;
node[shape=box, style=rounded, fontname=Ubuntu];
start[shape=doublecircle];
end[shape=doublecircle];
";
}

footer() {
	echo "}";
}

( header; nodes; edges; footer ) | dot -Tpdf > protocol.pdf