rfc5424_msg_compliant.dot

digraph rfc5424 {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	eof_1;
	eof_2;
	eof_3;
	eof_4;
	eof_5;
	eof_6;
	eof_7;
	eof_8;
	eof_9;
	eof_10;
	eof_11;
	eof_12;
	node [ shape = circle, height = 0.2 ];
	err_1 [ label=""];
	err_2 [ label=""];
	err_3 [ label=""];
	err_4 [ label=""];
	err_5 [ label=""];
	err_6 [ label=""];
	err_7 [ label=""];
	err_12 [ label=""];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	8;
	9;
	10;
	11;
	12;
	node [ shape = circle ];
	1 -> 12 [ label = "128..191" ];
	1 -> err_1 [ label = "DEF / err_msg" ];
	2 -> 1 [ label = "160..191" ];
	2 -> err_2 [ label = "DEF / err_msg" ];
	3 -> 1 [ label = "128..191" ];
	3 -> err_3 [ label = "DEF / err_msg" ];
	4 -> 1 [ label = "128..159" ];
	4 -> err_4 [ label = "DEF / err_msg" ];
	5 -> 3 [ label = "144..191" ];
	5 -> err_5 [ label = "DEF / err_msg" ];
	6 -> 3 [ label = "128..191" ];
	6 -> err_6 [ label = "DEF / err_msg" ];
	7 -> 3 [ label = "128..143" ];
	7 -> err_7 [ label = "DEF / err_msg" ];
	8 -> 10 [ label = "239 / mark, markmsg" ];
	8 -> 9 [ label = "DEF / mark, markmsg" ];
	9 -> 9 [ label = "DEF" ];
	10 -> 11 [ label = "187" ];
	10 -> 9 [ label = "DEF" ];
	11 -> 12 [ label = "191" ];
	11 -> 9 [ label = "DEF" ];
	12 -> err_12 [ label = "128..193, 245..255 / err_msg" ];
	12 -> 1 [ label = "194..223" ];
	12 -> 2 [ label = "224" ];
	12 -> 3 [ label = "225..236, 238..239" ];
	12 -> 4 [ label = "237" ];
	12 -> 5 [ label = "240" ];
	12 -> 6 [ label = "241..243" ];
	12 -> 7 [ label = "244" ];
	12 -> 12 [ label = "DEF" ];
	ENTRY -> 8 [ label = "IN" ];
	1 -> eof_1 [ label = "EOF / err_msg" ];
	2 -> eof_2 [ label = "EOF / err_msg" ];
	3 -> eof_3 [ label = "EOF / err_msg" ];
	4 -> eof_4 [ label = "EOF / err_msg" ];
	5 -> eof_5 [ label = "EOF / err_msg" ];
	6 -> eof_6 [ label = "EOF / err_msg" ];
	7 -> eof_7 [ label = "EOF / err_msg" ];
	8 -> eof_8 [ label = "EOF / mark, markmsg, set_msg" ];
	9 -> eof_9 [ label = "EOF / set_msg" ];
	10 -> eof_10 [ label = "EOF / set_msg" ];
	11 -> eof_11 [ label = "EOF / set_msg" ];
	12 -> eof_12 [ label = "EOF / set_msg" ];
}