multiple_override_04.dot 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566
  1. strict digraph "tests/contract_testcases/substrate/inheritance/multiple_override_04.sol" {
  2. contract [label="contract base\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:2:9-35"]
  3. base [label="base bar\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:2:26-29"]
  4. base_3 [label="base bar2\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:2:31-35"]
  5. foo [label="function foo\ncontract: base\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:3:13-61\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable"]
  6. parameters [label="parameters\nuint64 a"]
  7. returns [label="returns\nuint64 "]
  8. return [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:4:17-31"]
  9. add [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:4:24-31"]
  10. variable [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:4:24-25"]
  11. number_literal [label="uint64 literal: 102\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:4:28-31"]
  12. contract_11 [label="contract bar\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:8:9-22"]
  13. foo_12 [label="function foo\ncontract: bar\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:9:13-69\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable\nvirtual"]
  14. parameters_13 [label="parameters\nuint64 a"]
  15. returns_14 [label="returns\nuint64 "]
  16. return_15 [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:10:17-31"]
  17. add_16 [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:10:24-31"]
  18. variable_17 [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:10:24-25"]
  19. number_literal_18 [label="uint64 literal: 102\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:10:28-31"]
  20. contract_19 [label="contract bar2\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:14:9-23"]
  21. foo_20 [label="function foo\ncontract: bar2\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:15:13-69\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable\nvirtual"]
  22. parameters_21 [label="parameters\nuint64 a"]
  23. returns_22 [label="returns\nuint64 "]
  24. return_23 [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:16:17-31"]
  25. add_24 [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:16:24-31"]
  26. variable_25 [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:16:24-25"]
  27. number_literal_26 [label="uint64 literal: 103\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:16:28-31"]
  28. diagnostic [label="found contract 'base'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:2:9-35"]
  29. diagnostic_29 [label="found contract 'bar'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:8:9-22"]
  30. diagnostic_30 [label="found contract 'bar2'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:14:9-23"]
  31. diagnostic_31 [label="function 'foo' should specify override list 'override(bar2,bar)'\nlevel Error\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:3:13-61"]
  32. diagnostic_32 [label="function 'foo' with this signature already defined\nlevel Error\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:15:13-69"]
  33. note [label="previous definition of function 'foo'\ntests/contract_testcases/substrate/inheritance/multiple_override_04.sol:9:13-69"]
  34. contracts -> contract
  35. contract -> base [label="base"]
  36. contract -> base_3 [label="base"]
  37. contract -> foo [label="function"]
  38. foo -> parameters [label="parameters"]
  39. foo -> returns [label="returns"]
  40. foo -> return [label="body"]
  41. return -> add [label="expr"]
  42. add -> variable [label="left"]
  43. add -> number_literal [label="right"]
  44. contracts -> contract_11
  45. contract_11 -> foo_12 [label="function"]
  46. foo_12 -> parameters_13 [label="parameters"]
  47. foo_12 -> returns_14 [label="returns"]
  48. foo_12 -> return_15 [label="body"]
  49. return_15 -> add_16 [label="expr"]
  50. add_16 -> variable_17 [label="left"]
  51. add_16 -> number_literal_18 [label="right"]
  52. contracts -> contract_19
  53. contract_19 -> foo_20 [label="function"]
  54. foo_20 -> parameters_21 [label="parameters"]
  55. foo_20 -> returns_22 [label="returns"]
  56. foo_20 -> return_23 [label="body"]
  57. return_23 -> add_24 [label="expr"]
  58. add_24 -> variable_25 [label="left"]
  59. add_24 -> number_literal_26 [label="right"]
  60. diagnostics -> diagnostic [label="Debug"]
  61. diagnostics -> diagnostic_29 [label="Debug"]
  62. diagnostics -> diagnostic_30 [label="Debug"]
  63. diagnostics -> diagnostic_31 [label="Error"]
  64. diagnostics -> diagnostic_32 [label="Error"]
  65. diagnostic_32 -> note [label="note"]
  66. }