global_functions_08.dot 1.9 KB

123456789101112131415161718192021222324
  1. strict digraph "tests/contract_testcases/substrate/functions/global_functions_08.sol" {
  2. S [label="name:S\ntests/contract_testcases/substrate/functions/global_functions_08.sol:2:16-17\nfield name:f1 ty:int32\nfield name:f2 ty:int32"]
  3. x [label="function x\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:9-37\nsignature x(struct S)\nvisibility internal\nmutability view"]
  4. parameters [label="parameters\nstruct S storage x"]
  5. expr [label="expression\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:40-50"]
  6. assign [label="assign\nint32\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:40-50"]
  7. structmember [label="struct member #0 int32 storage\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:42-44"]
  8. variable [label="variable: x\nstruct S storage\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:40-41"]
  9. number_literal [label="int32 literal: 102\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:47-50"]
  10. diagnostic [label="declaration of 'x' shadows function\nlevel Warning\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:30-31"]
  11. note [label="previous declaration of function\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:18-19"]
  12. diagnostic_14 [label="function declared 'view' but this expression writes to state\nlevel Error\ntests/contract_testcases/substrate/functions/global_functions_08.sol:7:42-44"]
  13. structs -> S
  14. free_functions -> x [label="function"]
  15. x -> parameters [label="parameters"]
  16. x -> expr [label="body"]
  17. expr -> assign [label="expr"]
  18. assign -> structmember [label="left"]
  19. structmember -> variable [label="var"]
  20. assign -> number_literal [label="right"]
  21. diagnostics -> diagnostic [label="Warning"]
  22. diagnostic -> note [label="note"]
  23. diagnostics -> diagnostic_14 [label="Error"]
  24. }