selector_override_inherited.dot 4.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. strict digraph "tests/contract_testcases/substrate/selector_override_inherited.sol" {
  2. contract [label="contract base\ntests/contract_testcases/substrate/selector_override_inherited.sol:1:1-4:2"]
  3. func [label="function func\ncontract: base\ntests/contract_testcases/substrate/selector_override_inherited.sol:3:2-32\nsignature func()\nvisibility public\nmutability nonpayable\nvirtual\nselector abcdef01"]
  4. contract_3 [label="contract child\ntests/contract_testcases/substrate/selector_override_inherited.sol:6:1-9:2"]
  5. base [label="base base\ntests/contract_testcases/substrate/selector_override_inherited.sol:6:19-23"]
  6. func_5 [label="function func\ncontract: child\ntests/contract_testcases/substrate/selector_override_inherited.sol:8:2-33\nsignature func()\nvisibility public\nmutability nonpayable\noverride\nselector abcdef02"]
  7. contract_6 [label="contract child2\ntests/contract_testcases/substrate/selector_override_inherited.sol:11:1-13:2"]
  8. base_7 [label="base base\ntests/contract_testcases/substrate/selector_override_inherited.sol:11:20-24"]
  9. func_8 [label="function func\ncontract: child2\ntests/contract_testcases/substrate/selector_override_inherited.sol:12:2-33\nsignature func()\nvisibility public\nmutability nonpayable\noverride"]
  10. contract_9 [label="contract base2\ntests/contract_testcases/substrate/selector_override_inherited.sol:15:1-17:2"]
  11. func_10 [label="function func\ncontract: base2\ntests/contract_testcases/substrate/selector_override_inherited.sol:16:2-32\nsignature func()\nvisibility public\nmutability nonpayable\nvirtual"]
  12. contract_11 [label="contract child3\ntests/contract_testcases/substrate/selector_override_inherited.sol:19:1-22:2"]
  13. base_12 [label="base base2\ntests/contract_testcases/substrate/selector_override_inherited.sol:19:20-25"]
  14. func_13 [label="function func\ncontract: child3\ntests/contract_testcases/substrate/selector_override_inherited.sol:21:2-33\nsignature func()\nvisibility public\nmutability nonpayable\noverride\nselector abcdef02"]
  15. diagnostic [label="found contract 'base'\nlevel Debug\ntests/contract_testcases/substrate/selector_override_inherited.sol:1:1-4:2"]
  16. diagnostic_16 [label="found contract 'child'\nlevel Debug\ntests/contract_testcases/substrate/selector_override_inherited.sol:6:1-9:2"]
  17. diagnostic_17 [label="selector of function 'func' different from base selector\nlevel Error\ntests/contract_testcases/substrate/selector_override_inherited.sol:7:2-37"]
  18. note [label="location of base function\ntests/contract_testcases/substrate/selector_override_inherited.sol:2:2-37"]
  19. diagnostic_19 [label="found contract 'child2'\nlevel Debug\ntests/contract_testcases/substrate/selector_override_inherited.sol:11:1-13:2"]
  20. diagnostic_20 [label="selector of function 'func' must match base selector\nlevel Error\ntests/contract_testcases/substrate/selector_override_inherited.sol:12:2-33"]
  21. note_21 [label="location of base function\ntests/contract_testcases/substrate/selector_override_inherited.sol:2:2-37"]
  22. diagnostic_22 [label="found contract 'base2'\nlevel Debug\ntests/contract_testcases/substrate/selector_override_inherited.sol:15:1-17:2"]
  23. diagnostic_23 [label="found contract 'child3'\nlevel Debug\ntests/contract_testcases/substrate/selector_override_inherited.sol:19:1-22:2"]
  24. diagnostic_24 [label="base function needs same selector as selector of function 'func'\nlevel Error\ntests/contract_testcases/substrate/selector_override_inherited.sol:20:2-37"]
  25. note_25 [label="location of base function\ntests/contract_testcases/substrate/selector_override_inherited.sol:16:2-32"]
  26. contracts -> contract
  27. contract -> func [label="function"]
  28. contracts -> contract_3
  29. contract_3 -> base [label="base"]
  30. contract_3 -> func_5 [label="function"]
  31. contracts -> contract_6
  32. contract_6 -> base_7 [label="base"]
  33. contract_6 -> func_8 [label="function"]
  34. contracts -> contract_9
  35. contract_9 -> func_10 [label="function"]
  36. contracts -> contract_11
  37. contract_11 -> base_12 [label="base"]
  38. contract_11 -> func_13 [label="function"]
  39. diagnostics -> diagnostic [label="Debug"]
  40. diagnostics -> diagnostic_16 [label="Debug"]
  41. diagnostics -> diagnostic_17 [label="Error"]
  42. diagnostic_17 -> note [label="note"]
  43. diagnostics -> diagnostic_19 [label="Debug"]
  44. diagnostics -> diagnostic_20 [label="Error"]
  45. diagnostic_20 -> note_21 [label="note"]
  46. diagnostics -> diagnostic_22 [label="Debug"]
  47. diagnostics -> diagnostic_23 [label="Debug"]
  48. diagnostics -> diagnostic_24 [label="Error"]
  49. diagnostic_24 -> note_25 [label="note"]
  50. }