| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 |
- strict digraph "tests/contract_testcases/solana/rational_comparison2.sol" {
- contract [label="contract c\ntests/contract_testcases/solana/rational_comparison2.sol:1:1-29:2"]
- eq [label="function eq\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:2:2-37\nsignature eq()\nvisibility public\nmutability nonpayable"]
- returns [label="returns\nbool "]
- ne [label="function ne\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:6:2-37\nsignature ne()\nvisibility public\nmutability nonpayable"]
- returns_5 [label="returns\nbool "]
- lt [label="function lt\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:10:2-22\nsignature lt()\nvisibility public\nmutability nonpayable"]
- le [label="function le\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:14:2-28\nsignature le(bool)\nvisibility public\nmutability nonpayable"]
- parameters [label="parameters\nbool a"]
- gt [label="function gt\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:18:2-28\nsignature gt(bool)\nvisibility public\nmutability nonpayable"]
- parameters_10 [label="parameters\nbool a"]
- gt_11 [label="function gt\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:22:2-42\nsignature gt(int256)\nvisibility public\nmutability nonpayable"]
- parameters_12 [label="parameters\nint256 a"]
- returns_13 [label="returns\nbool "]
- ge [label="function ge\ncontract: c\ntests/contract_testcases/solana/rational_comparison2.sol:26:2-28\nsignature ge(bool)\nvisibility public\nmutability nonpayable"]
- parameters_15 [label="parameters\nbool a"]
- diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/rational_comparison2.sol:1:1-29:2"]
- diagnostic_18 [label="cannot use rational numbers with '!=' or '==' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:3:10-20"]
- diagnostic_19 [label="cannot use rational numbers with '!=' or '==' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:7:10-20"]
- diagnostic_20 [label="cannot use rational numbers with '<' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:11:11-20"]
- diagnostic_21 [label="cannot use rational numbers with '<=' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:15:16-26"]
- diagnostic_22 [label="cannot use rational numbers with '>' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:19:7-14"]
- diagnostic_23 [label="cannot use rational numbers with '>' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:23:10-17"]
- diagnostic_24 [label="cannot use rational numbers with '>=' operator\nlevel Error\ntests/contract_testcases/solana/rational_comparison2.sol:27:6-15"]
- contracts -> contract
- contract -> eq [label="function"]
- eq -> returns [label="returns"]
- contract -> ne [label="function"]
- ne -> returns_5 [label="returns"]
- contract -> lt [label="function"]
- contract -> le [label="function"]
- le -> parameters [label="parameters"]
- contract -> gt [label="function"]
- gt -> parameters_10 [label="parameters"]
- contract -> gt_11 [label="function"]
- gt_11 -> parameters_12 [label="parameters"]
- gt_11 -> returns_13 [label="returns"]
- contract -> ge [label="function"]
- ge -> parameters_15 [label="parameters"]
- diagnostics -> diagnostic [label="Debug"]
- diagnostics -> diagnostic_18 [label="Error"]
- diagnostics -> diagnostic_19 [label="Error"]
- diagnostics -> diagnostic_20 [label="Error"]
- diagnostics -> diagnostic_21 [label="Error"]
- diagnostics -> diagnostic_22 [label="Error"]
- diagnostics -> diagnostic_23 [label="Error"]
- diagnostics -> diagnostic_24 [label="Error"]
- }
|