equal
deleted
inserted
replaced
1 digraph G { |
1 digraph G { |
2 bgcolor="transparent"; |
2 bgcolor="transparent"; |
3 |
3 |
4 |
4 |
5 // Třídy: |
5 // Třídy: |
6 node [shape = "record"] |
6 node [shape = "record"]; |
7 Pes [label = "{Pes|+ kouše : boolean\l|+ štěkej() : void\l}"]; |
7 Pes [label = "{Pes|+ kouše : boolean\l|+ štěkej() : void\l}"]; |
8 Kočka [label = "{Kočka|+ spí : boolean\l|+ mňoukej() : void\l}"]; |
8 Kočka [label = "{Kočka|+ spí : boolean\l|+ mňoukej() : void\l}"]; |
9 Zvíře [label = "{Zvíře|+ jméno : string\l+ věk : int\l|+ běhej() : void\l}"]; |
9 Zvíře [label = "{Zvíře|+ jméno : string\l+ věk : int\l|+ běhej() : void\l}"]; |
10 |
10 |
11 |
11 |
12 // Dědičnost: |
12 // Dědičnost: |
13 edge [arrowhead = "empty"] |
13 edge [arrowhead = "empty"]; |
14 |
14 |
15 Pes -> Zvíře |
15 Pes -> Zvíře; |
16 Kočka -> Zvíře |
16 Kočka -> Zvíře; |
17 } |
17 } |
18 |
18 |