tests/sav/nituml_args1.res

   1 digraph G {
   2         fontname = "Bitstream Vera Sans"
   3                         fontsize = 8
   4                         node [
   5                                 fontname = "Bitstream Vera Sans"
   6                                 fontsize = 8
   7                                 shape = "record"
   8                         ]
   9                         edge [
  10                                 fontname = "Bitstream Vera Sans"
  11                                 fontsize = 8
  12                         ]
  13 subgraph clusterbase_prot_sig2 {
  14 label = "base_prot_sig2"
  15 base_prot_sig2C [
  16         label = "{C|- _vpriA: nullable A\l- _vpriA2: A\l|- priA(a: A)\l- vpriA(): nullable A\l- vpriA=(vpriA: nullable A)\l- vpriA2(): A\l- vpriA2=(vpriA2: A)\l+ init()\l+ defaultinit()\l}"color="#58B26A"
  17 ]
  18 base_prot_sig2D [
  19         label = "{D|- _vpubA: nullable A\l- _vpriA: nullable A\l- _vpubA2: A\l- _vpriA2: A\l|- pubA(a: A)\l- priA(a: A)\l- vpubA(): nullable A\l- vpubA=(vpubA: nullable A)\l- vpriA(): nullable A\l- vpriA=(vpriA: nullable A)\l- vpubA2(): A\l- vpubA2=(vpubA2: A)\l- vpriA2(): A\l- vpriA2=(vpriA2: A)\l+ init()\l+ defaultinit()\l}"color="#58B26A"
  20 ]
  21 }
  22 }