multiple_override_06.dot 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
  1. strict digraph "tests/contract_testcases/substrate/inheritance/multiple_override_06.sol" {
  2. contract [label="contract base\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:2:9-10:10"]
  3. base [label="base bar\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:2:26-29"]
  4. base_3 [label="base bar2\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:2:31-35"]
  5. foo [label="function foo\ncontract: base\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:3:13-80\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable\noverride bar\noverride bar2"]
  6. parameters [label="parameters\nuint64 a"]
  7. returns [label="returns\nuint64 "]
  8. return [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:4:17-31"]
  9. add [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:4:24-31"]
  10. variable [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:4:24-25"]
  11. number_literal [label="uint64 literal: 104\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:4:28-31"]
  12. foo_11 [label="function foo\ncontract: base\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:7:13-80\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable\noverride bar\noverride bar2"]
  13. parameters_12 [label="parameters\nuint64 a"]
  14. returns_13 [label="returns\nuint64 "]
  15. return_14 [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:8:17-31"]
  16. add_15 [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:8:24-31"]
  17. variable_16 [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:8:24-25"]
  18. number_literal_17 [label="uint64 literal: 102\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:8:28-31"]
  19. contract_18 [label="contract bar\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:12:9-16:10"]
  20. foo_19 [label="function foo\ncontract: bar\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:13:13-69\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable\nvirtual"]
  21. parameters_20 [label="parameters\nuint64 a"]
  22. returns_21 [label="returns\nuint64 "]
  23. return_22 [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:14:17-31"]
  24. add_23 [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:14:24-31"]
  25. variable_24 [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:14:24-25"]
  26. number_literal_25 [label="uint64 literal: 102\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:14:28-31"]
  27. contract_26 [label="contract bar2\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:18:9-22:10"]
  28. foo_27 [label="function foo\ncontract: bar2\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:19:13-69\nsignature foo(uint64)\nvisibility internal\nmutability nonpayable\nvirtual"]
  29. parameters_28 [label="parameters\nuint64 a"]
  30. returns_29 [label="returns\nuint64 "]
  31. return_30 [label="return\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:20:17-31"]
  32. add_31 [label="add\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:20:24-31"]
  33. variable_32 [label="variable: a\nuint64\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:20:24-25"]
  34. number_literal_33 [label="uint64 literal: 103\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:20:28-31"]
  35. diagnostic [label="found contract 'base'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:2:9-10:10"]
  36. diagnostic_36 [label="function 'foo' overrides function in same contract\nlevel Error\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:7:13-80"]
  37. note [label="previous definition of 'foo'\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:3:13-80"]
  38. diagnostic_38 [label="found contract 'bar'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:12:9-16:10"]
  39. diagnostic_39 [label="found contract 'bar2'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/multiple_override_06.sol:18:9-22:10"]
  40. contracts -> contract
  41. contract -> base [label="base"]
  42. contract -> base_3 [label="base"]
  43. contract -> foo [label="function"]
  44. foo -> parameters [label="parameters"]
  45. foo -> returns [label="returns"]
  46. foo -> return [label="body"]
  47. return -> add [label="expr"]
  48. add -> variable [label="left"]
  49. add -> number_literal [label="right"]
  50. contract -> foo_11 [label="function"]
  51. foo_11 -> parameters_12 [label="parameters"]
  52. foo_11 -> returns_13 [label="returns"]
  53. foo_11 -> return_14 [label="body"]
  54. return_14 -> add_15 [label="expr"]
  55. add_15 -> variable_16 [label="left"]
  56. add_15 -> number_literal_17 [label="right"]
  57. contracts -> contract_18
  58. contract_18 -> foo_19 [label="function"]
  59. foo_19 -> parameters_20 [label="parameters"]
  60. foo_19 -> returns_21 [label="returns"]
  61. foo_19 -> return_22 [label="body"]
  62. return_22 -> add_23 [label="expr"]
  63. add_23 -> variable_24 [label="left"]
  64. add_23 -> number_literal_25 [label="right"]
  65. contracts -> contract_26
  66. contract_26 -> foo_27 [label="function"]
  67. foo_27 -> parameters_28 [label="parameters"]
  68. foo_27 -> returns_29 [label="returns"]
  69. foo_27 -> return_30 [label="body"]
  70. return_30 -> add_31 [label="expr"]
  71. add_31 -> variable_32 [label="left"]
  72. add_31 -> number_literal_33 [label="right"]
  73. diagnostics -> diagnostic [label="Debug"]
  74. diagnostics -> diagnostic_36 [label="Error"]
  75. diagnostic_36 -> note [label="note"]
  76. diagnostics -> diagnostic_38 [label="Debug"]
  77. diagnostics -> diagnostic_39 [label="Debug"]
  78. }