workflow.dot

digraph Workflow {
  compound=true;
  node [style=rounded, shape=box];

  subgraph cluster_info {
    node [style="rounded,filled", shape=box];
    edge [style=invis];
    label=Info;

    "getsockopt(TLS_SELF_NAME)" -> "getsockopt(TLS_SELF_CERT)";
    "getsockopt(TLS_PEER_NAME)" -> "getsockopt(TLS_PEER_CERT)";
  }

  subgraph cluster_io {
    node [style="rounded,filled", shape=box];
    label=IO;

    "write()";
    "send()";
    "recv()";
    "read()";
  }

  subgraph cluster_srv {
    label=Server;

    "bind()" -> "listen()";

    "listen()" -> "accept()";
    "accept()" -> "accept()" [label=" main loop "];
    "accept()" -> "setsockopt(TLS_SRV_HANDSHAKE)" [label=" new connection "];
  }

  subgraph cluster_clt {
    label=Client;

    "connect()" -> "setsockopt(TLS_CLT_HANDSHAKE)";
  }

  "socket(AF_INET, SOCK_STREAM, IPPROTO_TLS)" -> "bind()";
  "socket(AF_INET, SOCK_STREAM, IPPROTO_TLS)" -> "connect()";

  "setsockopt(TLS_SRV_HANDSHAKE)" -> "recv()" [lhead=cluster_io];
  "setsockopt(TLS_CLT_HANDSHAKE)" -> "send()" [lhead=cluster_io];

  "write()" -> "getsockopt(TLS_SELF_NAME)" [ltail=cluster_io,lhead=cluster_info];

  "getsockopt(TLS_SELF_CERT)" -> "close()" [ltail=cluster_info];
}