GitBross Home Explore Help
Register Sign In
sol_BMCMMXZh
/
hyperledger-solang_solang
mirror of https://github.com/hyperledger-solang/solang
1
0
Fork 0
Files Issues 1 Wiki
Tree: v0.2.3
Branches Tags
hyperledger-sol...
/
tests
/
contract_testcases
/
substrate
/
inheritance
/
inherit_variables_03.dot

inherit_variables_03.dot 3.4 KB
Permalink History Raw

12345678910111213141516171819202122232425262728293031323334353637383940414243444546 
  1. strict digraph "tests/contract_testcases/substrate/inheritance/inherit_variables_03.sol" {
    2. 

  2. 	contract [label="contract a\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:2:9-4:10"]
    3. 

  3. 	var [label="variable foo\nvisibility private\nint256\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:3:13-28"]
    4. 

  4. 	contract_3 [label="contract b\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:6:9-8:10"]
    5. 

  5. 	base [label="base a\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:6:32-33"]
    6. 

  6. 	var_5 [label="variable foo\nvisibility public\nint256\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:7:13-27"]
    7. 

  7. 	foo [label="function foo\ncontract: b\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:7:24-27\nsignature foo()\nvisibility public\nmutability view"]
    8. 

  8. 	returns [label="returns\nint256 foo"]
    9. 

  9. 	return [label="return\nimplicit"]
    10. 

  10. 	storage_load [label="storage load int256\nimplicit"]
    11. 

  11. 	storage_var [label="storage variable\nb.foo\nint256 storage\nimplicit"]
    12. 

  12. 	contract_11 [label="contract c\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:10:9-14:10"]
    13. 

  13. 	base_12 [label="base b\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:10:23-24"]
    14. 

  14. 	getFoo [label="function getFoo\ncontract: c\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:11:13-51\nsignature getFoo()\nvisibility public\nmutability nonpayable"]
    15. 

  15. 	returns_14 [label="returns\nint256 "]
    16. 

  16. 	return_15 [label="return\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:12:17-27"]
    17. 

  17. 	storage_load_16 [label="storage load int256\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:12:17-27"]
    18. 

  18. 	storage_var_17 [label="storage variable\nb.foo\nint256 storage\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:12:24-27"]
    19. 

  19. 	diagnostic [label="found abstract contract 'a'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:2:9-4:10"]
    20. 

  20. 	diagnostic_20 [label="storage variable 'foo' has never been used\nlevel Warning\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:3:13-28"]
    21. 

  21. 	diagnostic_21 [label="found abstract contract 'b'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:6:9-8:10"]
    22. 

  22. 	diagnostic_22 [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:10:9-14:10"]
    23. 

  23. 	diagnostic_23 [label="function can be declared 'view'\nlevel Warning\ntests/contract_testcases/substrate/inheritance/inherit_variables_03.sol:11:13-51"]
    24. 

  24. 	contracts -> contract
    25. 

  25. 	contract -> var [label="variable"]
    26. 

  26. 	contracts -> contract_3
    27. 

  27. 	contract_3 -> base [label="base"]
    28. 

  28. 	contract_3 -> var_5 [label="variable"]
    29. 

  29. 	contract_3 -> foo [label="function"]
    30. 

  30. 	foo -> returns [label="returns"]
    31. 

  31. 	foo -> return [label="body"]
    32. 

  32. 	return -> storage_load [label="expr"]
    33. 

  33. 	storage_load -> storage_var [label="expr"]
    34. 

  34. 	contracts -> contract_11
    35. 

  35. 	contract_11 -> base_12 [label="base"]
    36. 

  36. 	contract_11 -> getFoo [label="function"]
    37. 

  37. 	getFoo -> returns_14 [label="returns"]
    38. 

  38. 	getFoo -> return_15 [label="body"]
    39. 

  39. 	return_15 -> storage_load_16 [label="expr"]
    40. 

  40. 	storage_load_16 -> storage_var_17 [label="expr"]
    41. 

  41. 	diagnostics -> diagnostic [label="Debug"]
    42. 

  42. 	diagnostics -> diagnostic_20 [label="Warning"]
    43. 

  43. 	diagnostics -> diagnostic_21 [label="Debug"]
    44. 

  44. 	diagnostics -> diagnostic_22 [label="Debug"]
    45. 

  45. 	diagnostics -> diagnostic_23 [label="Warning"]
    46. 

  46. }
    47.