Sinergi dari Graphviz dan C / C ++ Preprocessor

Artikel ini adalah tentang cara menggunakan alat grafik Graphviz yang populer bekerja sama dengan preprocessor C / C ++ (selanjutnya hanya disebut sebagai preprocessor).


Poin kuncinya adalah bahwa bahasa grafik titik yang digunakan oleh Graphviz cocok untuk pemrosesan preprosesor dalam sintaksnya. Jadi dikandung oleh para pengembang. Berkat wawasan mereka, kami dapat menggunakan fitur berikut saat menjelaskan grafik (saya kutip dari Wikipedia dari memori):


  • mengganti digraf dan trigraph yang sesuai dengan karakter yang setara "#" dan "\";
  • penghapusan karakter umpan baris yang lolos;
  • mengganti baris dan memblokir komentar dengan baris kosong (dengan menghilangkan spasi dan tab di sekitarnya);
  • penyisipan (penyertaan) dari isi file arbitrer ( #include );
  • substitusi makro ( #define );
  • kompilasi bersyarat ( #if, #ifdef, #elif, #else, #endif );

Sekarang kita akan mendemonstrasikan peluang terbuka dalam praktik. Sebagai contoh, ambil grafik dari artikel saya di MediaStrimer2 , pada gambar di bawah ini.



Grafiknya cukup besar dan jika Anda menggambarkannya "di dahi", maka banyak pekerjaan bebas kesalahan manual akan diperlukan. Jika Anda melihat lebih dekat, Anda dapat mengisolasi elemen berulang dengan perbedaan hanya dalam konten beberapa bidang. Ini adalah bagaimana node grafik terlihat seperti m 1, m2, m2_1, m2_2, m3, m4 . Ini adalah kandidat pertama untuk penggunaan mekanisasi kecil menggunakan makro. Buat file header untuk file-dot utama kami. Sebut saja itu common.dot :


//  common.dot       .

#define Q(x) #x         //    ""   .

#define QUOTE(x) Q(x)   //   ""    .

//         mblk_t.
//       . 
#define msg_staff \
   <p> *prev \
  |<n> *next \
  |<c> *cont  \
  |<d> *data \
  | other\nstuff

//        mblk_t.
#define msg(name, ... ) \
name[xlabel=mblk_t label=QUOTE(<h> name | msg_staff) \
];

//        dblk_t.
#define dbuf(name ...) \
name[label=QUOTE(<h> name) xlabel="dblk_t"];

//       queue_t.
//         mblk_t, 
//      msg_staff.
#define queue(name, ...) \
name[ xlabel="queue_t" label=QUOTE(<h> name | \
msg_staff)];

Sekarang saatnya menulis file grafik utama. Sebut saja my_graph.dot :


//  my_graph.dot

//      .
#include "common.dot"

digraph queue_demo
{
    rankdir=LR;
    node[shape=Mrecord];

    //     ,
    //  ,       .
    dbuf(d1);
    dbuf(d2);
    dbuf(d2_1);
    dbuf(d2_2);
    dbuf(d3);
    dbuf(d4);

    //  ,      ,
    //     .
    msg(m1);
    msg(m2);
    msg(m2_1);
    msg(m2_2);
    msg(m3);
    msg(m4);

    //     .
    //     q1.
    queue(q1);

    //       .
    m1:d->d1;
    m2:d->d2;
    m2_1:d->d2_1;
    m2_2:d->d2_2;
    m3:d->d3;
    m4:d->d4;

    //     .
    m1:n -> m2:h;
    m1:p -> q1:h;
    m2:n -> m3:h;
    m2:c->m2_1:h;
    m2_1:c->m2_2:h;
    m3:n -> m4:h;

    m2:p -> m1:h;
    m3:p -> m2:h;
    m4:p -> m3:h;

    //      .
    q1:n->m1:h;  
    q1:p->m4:h;
    m4:n -> q1:h[color=blue]; //    .
}

Kami memproses file dengan preprosesor:


cpp my_graph.dot -o my_graph_res.dot

my_graph_res.dot. :


# 1 "<built-in>"
# 1 "<command-line>"
# 1 "my_graph.dot"

# 1 "common.dot" 1
# 3 "my_graph.dot" 2

digraph queue_demo
{
    rankdir=LR;
    node[shape=Mrecord];

    d1[label="<h> d1" xlabel="dblk_t"];;
    d2[label="<h> d2" xlabel="dblk_t"];;
    d2_1[label="<h> d2_1" xlabel="dblk_t"];;
    d2_2[label="<h> d2_2" xlabel="dblk_t"];;
    d3[label="<h> d3" xlabel="dblk_t"];;
    d4[label="<h> d4" xlabel="dblk_t"];;

    m1[xlabel=mblk_t label="<h> m1 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff" ];;
    m2[xlabel=mblk_t label="<h> m2 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff" ];;
    m2_1[xlabel=mblk_t label="<h> m2_1 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff" ];;
    m2_2[xlabel=mblk_t label="<h> m2_2 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff" ];;
    m3[xlabel=mblk_t label="<h> m3 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff" ];;
    m4[xlabel=mblk_t label="<h> m4 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff" ];;

    q1[ xlabel="queue_t" label="<h> q1 | <p> *prev |<n> *next |<c> *cont |<d> *data | other\nstuff"];;

    m1:d->d1;
    m2:d->d2;
    m2_1:d->d2_1;
    m2_2:d->d2_2;
    m3:d->d3;
    m4:d->d4;

    m1:n -> m2:h;
    m1:p -> q1:h;
    m2:n -> m3:h;
    m2:c->m2_1:h;
    m2_1:c->m2_2:h;
    m3:n -> m4:h;

    m2:p -> m1:h;
    m3:p -> m2:h;
    m4:p -> m3:h;

    q1:n->m1:h;
    q1:p->m4:h;
    m4:n -> q1:h[color=blue];
}

, . . Graphviz ( dot) : https://sketchviz.com/new


:



, , .


.


All Articles