mutability.dot 2.4 KB

123456789101112131415161718192021222324252627282930313233343536
  1. strict digraph "tests/contract_testcases/solana/mutability.sol" {
  2. contract [label="contract c\ntests/contract_testcases/solana/mutability.sol:1:1-12:2"]
  3. test2 [label="function test2\ncontract: c\ntests/contract_testcases/solana/mutability.sol:2:5-5:53\nsignature test2(int256[],int256[])\nvisibility internal\nmutability pure"]
  4. parameters [label="parameters\nint256[] storage A\nint256[] storage B"]
  5. returns [label="returns\nint256[] storage \nint256[] storage "]
  6. var_decl [label="variable decl int256[] storage x\ntests/contract_testcases/solana/mutability.sol:7:9-27"]
  7. var_decl_6 [label="variable decl int256[] storage y\ntests/contract_testcases/solana/mutability.sol:8:9-27"]
  8. destructure [label="destructure\ntests/contract_testcases/solana/mutability.sol:9:9-24"]
  9. variable [label="variable: x\nint256[] storage\ntests/contract_testcases/solana/mutability.sol:9:10-11"]
  10. variable_9 [label="variable: y\nint256[] storage\ntests/contract_testcases/solana/mutability.sol:9:13-14"]
  11. list [label="list\ntests/contract_testcases/solana/mutability.sol:9:9-24"]
  12. variable_11 [label="variable: A\nint256[] storage\ntests/contract_testcases/solana/mutability.sol:9:19-20"]
  13. variable_12 [label="variable: B\nint256[] storage\ntests/contract_testcases/solana/mutability.sol:9:22-23"]
  14. return [label="return\ntests/contract_testcases/solana/mutability.sol:10:9-22"]
  15. list_14 [label="list\ntests/contract_testcases/solana/mutability.sol:10:9-22"]
  16. variable_15 [label="variable: x\nint256[] storage\ntests/contract_testcases/solana/mutability.sol:10:17-18"]
  17. variable_16 [label="variable: y\nint256[] storage\ntests/contract_testcases/solana/mutability.sol:10:20-21"]
  18. diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/mutability.sol:1:1-12:2"]
  19. contracts -> contract
  20. contract -> test2 [label="function"]
  21. test2 -> parameters [label="parameters"]
  22. test2 -> returns [label="returns"]
  23. test2 -> var_decl [label="body"]
  24. var_decl -> var_decl_6 [label="next"]
  25. var_decl_6 -> destructure [label="next"]
  26. destructure -> variable [label="arg #0"]
  27. destructure -> variable_9 [label="arg #1"]
  28. destructure -> list [label="expr"]
  29. list -> variable_11 [label="entry #0"]
  30. list -> variable_12 [label="entry #1"]
  31. destructure -> return [label="next"]
  32. return -> list_14 [label="expr"]
  33. list_14 -> variable_15 [label="entry #0"]
  34. list_14 -> variable_16 [label="entry #1"]
  35. diagnostics -> diagnostic [label="Debug"]
  36. }