strict digraph "tests/contract_testcases/solana/abstract_interface.sol" {
	contract [label="contract A\ntests/contract_testcases/solana/abstract_interface.sol:1:1-3:2"]
	v [label="function v\ncontract: A\ntests/contract_testcases/solana/abstract_interface.sol:2:2-32\nsignature v(int256)\nvisibility public\nmutability nonpayable\nvirtual"]
	parameters [label="parameters\nint256 "]
	contract_4 [label="contract C\ntests/contract_testcases/solana/abstract_interface.sol:4:1-8:2"]
	t [label="function t\ncontract: C\ntests/contract_testcases/solana/abstract_interface.sol:5:2-24\nsignature t(bytes32)\nvisibility public\nmutability nonpayable"]
	parameters_6 [label="parameters\ncontract A a"]
	expr [label="expression\ntests/contract_testcases/solana/abstract_interface.sol:6:3-9"]
	call_external_function [label="call external function\ntests/contract_testcases/solana/abstract_interface.sol:6:3-9"]
	external_function [label="function(int256) external returns (void)\nA.v\ntests/contract_testcases/solana/abstract_interface.sol:6:3-9"]
	variable [label="variable: a\ncontract A\ntests/contract_testcases/solana/abstract_interface.sol:6:3-4"]
	number_literal [label="int256 literal: 1\ntests/contract_testcases/solana/abstract_interface.sol:6:7-8"]
	diagnostic [label="found abstract contract 'A'\nlevel Debug\ntests/contract_testcases/solana/abstract_interface.sol:1:1-3:2"]
	diagnostic_14 [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/abstract_interface.sol:4:1-8:2"]
	contracts -> contract
	contract -> v [label="function"]
	v -> parameters [label="parameters"]
	contracts -> contract_4
	contract_4 -> t [label="function"]
	t -> parameters_6 [label="parameters"]
	t -> expr [label="body"]
	expr -> call_external_function [label="expr"]
	call_external_function -> external_function [label="function"]
	external_function -> variable [label="address"]
	call_external_function -> number_literal [label="arg #0"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_14 [label="Debug"]
}
