graphviz_header.anubis 842 Bytes
/*
 * Created by PyramIDE.
 * User: フランスのトトロ aka (David RENÉ) 
 * Date: 05/04/2017
 * Time: 20:37
 * © David RENÉ 
 */

read tools/basis.anubis
read tools/streams.anubis
read tools/ISO-8601.anubis
read system/string.anubis

public define Maybe(One)
  generate_graphviz_header
  (
    Stream   stream
   )=
  write_string(stream,
"/*
 * Created by 伝作 (Densaku).
 * Types & Messages generator written by フランスのトトロ aka (David RENÉ)
 * Date: "+_Int_to_ISO_8601_date(now)+"
 * Time: "+_Int_to_ISO_8601_time(now)+"
 * 
 */

digraph DS {
  splines=true;
  edge [color=gray50, fontname=\"verdana\", fontsize=10]
  node [shape=none, bgcolor=gray40, fontname=\"verdana\", fontsize=10]

"
  )
.

public define Maybe(One)
  generate_graphviz_footer
  (
    Stream   stream
   )=
  write_string(stream,"\n}\n")
.