tests/sav/nituml_args4.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
  10                                 edge [
  11                                         fontname = "Bitstream Vera Sans"
  12                                         fontsize = 8
  13                                 ]
  14 Object [
  15  label = "{interface\nObject||+ object_id(): Int\l+ is_same_type(other: Object): Bool\l+ is_same_instance(other: nullable Object): Bool\l+ ==(other: nullable Object): Bool\l+ !=(other: nullable Object): Bool\l+ output()\l+ output_class_name()\l+ hash(): Int\l+ sys(): Sys\l}"
  16 ]
  17
  18 Sys [
  19  label = "{Sys||+ main()\l+ run()\l+ errno(): Int\l+ exit(exit_value: Int)\l}"
  20 ]
  21 Object -> Sys [dir=back arrowtail=open style=dashed];
  22
  23 Comparable [
  24  label = "{interface\nComparable||+ \<(other: OTHER): Bool\l+ \<=(other: OTHER): Bool\l+ \>=(other: OTHER): Bool\l+ \>(other: OTHER): Bool\l+ \<=\>(other: OTHER): Int\l+ is_between(c: OTHER, d: OTHER): Bool\l+ max(other: OTHER): OTHER\l+ min(c: OTHER): OTHER\l}"
  25 ]
  26 Object -> Comparable [dir=back arrowtail=open style=dashed];
  27
  28 Discrete [
  29  label = "{interface\nDiscrete||+ successor(i: Int): OTHER\l+ predecessor(i: Int): OTHER\l+ distance(d: OTHER): Int\l}"
  30 ]
  31 Comparable -> Discrete [dir=back arrowtail=open style=dashed];
  32
  33 Cloneable [
  34  label = "{interface\nCloneable||+ clone(): SELF\l}"
  35 ]
  36 Object -> Cloneable [dir=back arrowtail=open style=dashed];
  37
  38 Numeric [
  39  label = "{interface\nNumeric||+ +(i: OTHER): OTHER\l+ -(i: OTHER): OTHER\l+ unary -(): OTHER\l+ *(i: OTHER): OTHER\l+ /(i: OTHER): OTHER\l+ to_i(): Int\l+ to_f(): Float\l+ is_zero(): Bool\l+ zero(): OTHER\l+ value_of(val: Numeric): OTHER\l}"
  40 ]
  41 Comparable -> Numeric [dir=back arrowtail=open style=dashed];
  42
  43 Bool [
  44  label = "{Bool||+ to_i(): Int\l}"
  45 ]
  46 Object -> Bool [dir=back arrowtail=open style=dashed];
  47
  48 Float [
  49  label = "{Float||+ is_approx(other: Float, precision: Float): Bool\l}"
  50 ]
  51 Numeric -> Float [dir=back arrowtail=open style=dashed];
  52
  53 Int [
  54  label = "{Int||+ %(i: Int): Int\l+ lshift(i: Int): Int\l+ rshift(i: Int): Int\l+ ascii(): Char\l+ digit_count(b: Int): Int\l+ digit_count_base_10(): Int\l+ to_c(): Char\l+ abs(): Int\l}"
  55 ]
  56 Discrete -> Int [dir=back arrowtail=open style=dashed];
  57 Numeric -> Int [dir=back arrowtail=open style=dashed];
  58
  59 Char [
  60  label = "{Char||+ to_i(): Int\l+ ascii(): Int\l+ to_lower(): Char\l+ to_upper(): Char\l+ is_digit(): Bool\l+ is_lower(): Bool\l+ is_upper(): Bool\l+ is_letter(): Bool\l+ is_whitespace(): Bool\l}"
  61 ]
  62 Discrete -> Char [dir=back arrowtail=open style=dashed];
  63
  64 Pointer [
  65  label = "{Pointer||+ address_is_null(): Bool\l+ free()\l}"
  66 ]
  67 Object -> Pointer [dir=back arrowtail=open style=dashed];
  68
  69 A [
  70  label = "{A||+ pubA(a: A)\l+ vpubA(): nullable A\l+ vpubA=(vpubA: nullable A)\l+ vpubA2(): A\l+ vpubA2=(vpubA2: A)\l}"
  71 ]
  72 Object -> A [dir=back arrowtail=open style=dashed];
  73
  74 C [
  75  label = "{C||}"
  76 ]
  77 Object -> C [dir=back arrowtail=open style=dashed];
  78
  79 }