kleros-interaction-2

{ "contractName": "ERC721", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "name": "from", "type": "address" }, { "indexed": true, "name": "to", "type": "address" }, { "indexed": true, "name": "tokenId", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "owner", "type": "address" }, { "indexed": true, "name": "approved", "type": "address" }, { "indexed": true, "name": "tokenId", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "constant": true, "inputs": [], "name": "implementsERC721", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "pure", "type": "function" }, { "constant": true, "inputs": [], "name": "totalSupply", "outputs": [ { "name": "total", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "_owner", "type": "address" } ], "name": "balanceOf", "outputs": [ { "name": "balance", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "_tokenId", "type": "uint256" } ], "name": "ownerOf", "outputs": [ { "name": "owner", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_to", "type": "address" }, { "name": "_tokenId", "type": "uint256" } ], "name": "approve", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_from", "type": "address" }, { "name": "_to", "type": "address" }, { "name": "_tokenId", "type": "uint256" } ], "name": "transferFrom", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_to", "type": "address" }, { "name": "_tokenId", "type": "uint256" } ], "name": "transfer", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x", "deployedBytecode": "0x", "sourceMap": "", "deployedSourceMap": "", "source": "/**\n * @title Interface for contracts conforming to ERC-721: Non-Fungible Tokens\n * @author Dieter Shirley <dete@axiomzen.co> (https://github.com/dete) \n * This code was taken from https://github.com/dapperlabs at \n * https://github.com/dapperlabs/cryptokitties-bounty and is NOT kleros code.\n */\npragma solidity ^0.4.18;\n\n\n/// @title Interface for contracts conforming to ERC-721: Non-Fungible Tokens\n/// @author Dieter Shirley <dete@axiomzen.co> (https://github.com/dete)\ncontract ERC721 {\n function implementsERC721() public pure returns (bool);\n function totalSupply() public view returns (uint256 total);\n function balanceOf(address _owner) public view returns (uint256 balance);\n function ownerOf(uint256 _tokenId) public view returns (address owner);\n function approve(address _to, uint256 _tokenId) public;\n function transferFrom(address _from, address _to, uint256 _tokenId) public;\n function transfer(address _to, uint256 _tokenId) public;\n event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);\n event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);\n\n // Optional\n // function name() public view returns (string name);\n // function symbol() public view returns (string symbol);\n // function tokenOfOwnerByIndex(address _owner, uint256 _index) external view returns (uint256 tokenId);\n // function tokenMetadata(uint256 _tokenId) public view returns (string infoUrl);\n}\n", "sourcePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/CriptoKitties/ERC721.sol", "ast": { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/CriptoKitties/ERC721.sol", "exportedSymbols": { "ERC721": [ 6435 ] }, "id": 6436, "nodeType": "SourceUnit", "nodes": [ { "id": 6371, "literals": [ "solidity", "^", "0.4", ".18" ], "nodeType": "PragmaDirective", "src": "301:24:18" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": "@title Interface for contracts conforming to ERC-721: Non-Fungible Tokens\n @author Dieter Shirley <dete@axiomzen.co> (https://github.com/dete)", "fullyImplemented": false, "id": 6435, "linearizedBaseContracts": [ 6435 ], "name": "ERC721", "nodeType": "ContractDefinition", "nodes": [ { "body": null, "documentation": null, "id": 6376, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "implementsERC721", "nodeType": "FunctionDefinition", "parameters": { "id": 6372, "nodeType": "ParameterList", "parameters": [], "src": "525:2:18" }, "payable": false, "returnParameters": { "id": 6375, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6374, "name": "", "nodeType": "VariableDeclaration", "scope": 6376, "src": "549:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6373, "name": "bool", "nodeType": "ElementaryTypeName", "src": "549:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "548:6:18" }, "scope": 6435, "src": "500:55:18", "stateMutability": "pure", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6381, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 6377, "nodeType": "ParameterList", "parameters": [], "src": "580:2:18" }, "payable": false, "returnParameters": { "id": 6380, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6379, "name": "total", "nodeType": "VariableDeclaration", "scope": 6381, "src": "604:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6378, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "604:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "603:15:18" }, "scope": 6435, "src": "560:59:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6388, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 6384, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6383, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 6388, "src": "643:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6382, "name": "address", "nodeType": "ElementaryTypeName", "src": "643:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "642:16:18" }, "payable": false, "returnParameters": { "id": 6387, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6386, "name": "balance", "nodeType": "VariableDeclaration", "scope": 6388, "src": "680:15:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6385, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "680:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "679:17:18" }, "scope": 6435, "src": "624:73:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6395, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "ownerOf", "nodeType": "FunctionDefinition", "parameters": { "id": 6391, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6390, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6395, "src": "719:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6389, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "719:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "718:18:18" }, "payable": false, "returnParameters": { "id": 6394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6393, "name": "owner", "nodeType": "VariableDeclaration", "scope": 6395, "src": "758:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6392, "name": "address", "nodeType": "ElementaryTypeName", "src": "758:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "757:15:18" }, "scope": 6435, "src": "702:71:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6402, "implemented": false, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 6400, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6397, "name": "_to", "nodeType": "VariableDeclaration", "scope": 6402, "src": "795:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6396, "name": "address", "nodeType": "ElementaryTypeName", "src": "795:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6399, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6402, "src": "808:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6398, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "808:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "794:31:18" }, "payable": false, "returnParameters": { "id": 6401, "nodeType": "ParameterList", "parameters": [], "src": "832:0:18" }, "scope": 6435, "src": "778:55:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6411, "implemented": false, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 6409, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6404, "name": "_from", "nodeType": "VariableDeclaration", "scope": 6411, "src": "860:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6403, "name": "address", "nodeType": "ElementaryTypeName", "src": "860:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6406, "name": "_to", "nodeType": "VariableDeclaration", "scope": 6411, "src": "875:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6405, "name": "address", "nodeType": "ElementaryTypeName", "src": "875:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6408, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6411, "src": "888:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6407, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "888:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "859:46:18" }, "payable": false, "returnParameters": { "id": 6410, "nodeType": "ParameterList", "parameters": [], "src": "912:0:18" }, "scope": 6435, "src": "838:75:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6418, "implemented": false, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 6416, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6413, "name": "_to", "nodeType": "VariableDeclaration", "scope": 6418, "src": "936:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6412, "name": "address", "nodeType": "ElementaryTypeName", "src": "936:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6415, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6418, "src": "949:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6414, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "949:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "935:31:18" }, "payable": false, "returnParameters": { "id": 6417, "nodeType": "ParameterList", "parameters": [], "src": "973:0:18" }, "scope": 6435, "src": "918:56:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "anonymous": false, "documentation": null, "id": 6426, "name": "Transfer", "nodeType": "EventDefinition", "parameters": { "id": 6425, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6420, "indexed": true, "name": "from", "nodeType": "VariableDeclaration", "scope": 6426, "src": "994:20:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6419, "name": "address", "nodeType": "ElementaryTypeName", "src": "994:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6422, "indexed": true, "name": "to", "nodeType": "VariableDeclaration", "scope": 6426, "src": "1016:18:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6421, "name": "address", "nodeType": "ElementaryTypeName", "src": "1016:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6424, "indexed": true, "name": "tokenId", "nodeType": "VariableDeclaration", "scope": 6426, "src": "1036:23:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6423, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1036:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "993:67:18" }, "src": "979:82:18" }, { "anonymous": false, "documentation": null, "id": 6434, "name": "Approval", "nodeType": "EventDefinition", "parameters": { "id": 6433, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6428, "indexed": true, "name": "owner", "nodeType": "VariableDeclaration", "scope": 6434, "src": "1081:21:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6427, "name": "address", "nodeType": "ElementaryTypeName", "src": "1081:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6430, "indexed": true, "name": "approved", "nodeType": "VariableDeclaration", "scope": 6434, "src": "1104:24:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6429, "name": "address", "nodeType": "ElementaryTypeName", "src": "1104:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6432, "indexed": true, "name": "tokenId", "nodeType": "VariableDeclaration", "scope": 6434, "src": "1130:23:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6431, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1130:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1080:74:18" }, "src": "1066:89:18" } ], "scope": 6436, "src": "478:1011:18" } ], "src": "301:1189:18" }, "legacyAST": { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/CriptoKitties/ERC721.sol", "exportedSymbols": { "ERC721": [ 6435 ] }, "id": 6436, "nodeType": "SourceUnit", "nodes": [ { "id": 6371, "literals": [ "solidity", "^", "0.4", ".18" ], "nodeType": "PragmaDirective", "src": "301:24:18" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": "@title Interface for contracts conforming to ERC-721: Non-Fungible Tokens\n @author Dieter Shirley <dete@axiomzen.co> (https://github.com/dete)", "fullyImplemented": false, "id": 6435, "linearizedBaseContracts": [ 6435 ], "name": "ERC721", "nodeType": "ContractDefinition", "nodes": [ { "body": null, "documentation": null, "id": 6376, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "implementsERC721", "nodeType": "FunctionDefinition", "parameters": { "id": 6372, "nodeType": "ParameterList", "parameters": [], "src": "525:2:18" }, "payable": false, "returnParameters": { "id": 6375, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6374, "name": "", "nodeType": "VariableDeclaration", "scope": 6376, "src": "549:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6373, "name": "bool", "nodeType": "ElementaryTypeName", "src": "549:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "548:6:18" }, "scope": 6435, "src": "500:55:18", "stateMutability": "pure", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6381, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 6377, "nodeType": "ParameterList", "parameters": [], "src": "580:2:18" }, "payable": false, "returnParameters": { "id": 6380, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6379, "name": "total", "nodeType": "VariableDeclaration", "scope": 6381, "src": "604:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6378, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "604:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "603:15:18" }, "scope": 6435, "src": "560:59:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6388, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 6384, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6383, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 6388, "src": "643:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6382, "name": "address", "nodeType": "ElementaryTypeName", "src": "643:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "642:16:18" }, "payable": false, "returnParameters": { "id": 6387, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6386, "name": "balance", "nodeType": "VariableDeclaration", "scope": 6388, "src": "680:15:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6385, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "680:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "679:17:18" }, "scope": 6435, "src": "624:73:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6395, "implemented": false, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "ownerOf", "nodeType": "FunctionDefinition", "parameters": { "id": 6391, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6390, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6395, "src": "719:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6389, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "719:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "718:18:18" }, "payable": false, "returnParameters": { "id": 6394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6393, "name": "owner", "nodeType": "VariableDeclaration", "scope": 6395, "src": "758:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6392, "name": "address", "nodeType": "ElementaryTypeName", "src": "758:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "757:15:18" }, "scope": 6435, "src": "702:71:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6402, "implemented": false, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 6400, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6397, "name": "_to", "nodeType": "VariableDeclaration", "scope": 6402, "src": "795:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6396, "name": "address", "nodeType": "ElementaryTypeName", "src": "795:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6399, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6402, "src": "808:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6398, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "808:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "794:31:18" }, "payable": false, "returnParameters": { "id": 6401, "nodeType": "ParameterList", "parameters": [], "src": "832:0:18" }, "scope": 6435, "src": "778:55:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6411, "implemented": false, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 6409, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6404, "name": "_from", "nodeType": "VariableDeclaration", "scope": 6411, "src": "860:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6403, "name": "address", "nodeType": "ElementaryTypeName", "src": "860:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6406, "name": "_to", "nodeType": "VariableDeclaration", "scope": 6411, "src": "875:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6405, "name": "address", "nodeType": "ElementaryTypeName", "src": "875:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6408, "name": "_tokenId", "nodeType": "VariableDeclaration", "scope": 6411, "src": "888:16:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6407, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "888:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "859:46:18" }, "payable": false, "returnParameters": { "id": 6410, "nodeType": "ParameterList", "parameters": [], "src": "912:0:18" }, "scope": 6435, "src": "838:75:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": null, "id": 6418, "implemented": false, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 6416, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6413, "name": "_to", "nodeType": "VariableDeclaration", "scope": 6418, "src": "936:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6412, "name": "address", "nodeType": "ElementaryTypeName", "src": "936:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "a