UNPKG

kleros-interaction-2

Version:
2,291 lines 86.1 kB
{
  "contractName": "ArbitrableProxy",
  "abi": [
    {
      "constant": false,
      "inputs": [
        {
          "name": "_agreementID",
          "type": "bytes32"
        },
        {
          "name": "_metaEvidence",
          "type": "string"
        },
        {
          "name": "_parties",
          "type": "address[]"
        },
        {
          "name": "_numberOfChoices",
          "type": "uint256"
        },
        {
          "name": "_extraData",
          "type": "bytes"
        },
        {
          "name": "_arbitrationFeesWaitingTime",
          "type": "uint256"
        },
        {
          "name": "_arbitrator",
          "type": "address"
        }
      ],
      "name": "createAgreement",
      "outputs": [],
      "payable": false,
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_agreementID",
          "type": "bytes32"
        }
      ],
      "name": "getAgreementInfo",
      "outputs": [
        {
          "name": "creator",
          "type": "address"
        },
        {
          "name": "parties",
          "type": "address[]"
        },
        {
          "name": "numberOfChoices",
          "type": "uint256"
        },
        {
          "name": "extraData",
          "type": "bytes"
        },
        {
          "name": "arbitrationFeesWaitingTime",
          "type": "uint256"
        },
        {
          "name": "arbitrator",
          "type": "address"
        },
        {
          "name": "disputeID",
          "type": "uint256"
        },
        {
          "name": "disputed",
          "type": "bool"
        },
        {
          "name": "appealed",
          "type": "bool"
        },
        {
          "name": "ruling",
          "type": "uint256"
        },
        {
          "name": "executed",
          "type": "bool"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_agreementID",
          "type": "bytes32"
        }
      ],
      "name": "getFeesInfo",
      "outputs": [
        {
          "name": "ruling",
          "type": "uint256[]"
        },
        {
          "name": "_stake",
          "type": "uint256[]"
        },
        {
          "name": "totalValue",
          "type": "uint256[]"
        },
        {
          "name": "totalContributedPerSide",
          "type": "uint256[2][]"
        },
        {
          "name": "loserFullyFunded",
          "type": "bool[]"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_agreementID",
          "type": "bytes32"
        },
        {
          "name": "_round",
          "type": "uint256"
        },
        {
          "name": "_contributor",
          "type": "address"
        }
      ],
      "name": "getContributions",
      "outputs": [
        {
          "name": "contributions",
          "type": "uint256[2]"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "0x",
  "deployedBytecode": "0x",
  "sourceMap": "",
  "deployedSourceMap": "",
  "source": "pragma solidity ^0.4.24;\n\nimport \"../../Arbitrator.sol\";\n\n/**\n *  @title ArbitrableProxy\n *  @author Enrique Piqueras - <epiquerass@gmail.com>\n *  @dev Base contract for arbitrable proxies.\n */\ncontract ArbitrableProxy {\n    /* External */\n\n    /** @dev Creates an agreement.\n     *  @param _agreementID The ID of the agreement.\n     *  @param _metaEvidence The meta evidence of the agreement.\n     *  @param _parties The `parties` value of the agreement.\n     *  @param _numberOfChoices The `numberOfChoices` value of the agreement.\n     *  @param _extraData The `extraData` value of the agreement.\n     *  @param _arbitrationFeesWaitingTime The `arbitrationFeesWaitingTime` value of the agreement.\n     *  @param _arbitrator The `arbitrator` value of the agreement.\n     */\n    function createAgreement(\n        bytes32 _agreementID,\n        string _metaEvidence,\n        address[] _parties,\n        uint _numberOfChoices,\n        bytes _extraData,\n        uint _arbitrationFeesWaitingTime,\n        Arbitrator _arbitrator) external;\n    \n    /* External Views */\n\n    /** @dev Gets the info on the specified agreement.\n     *  @param _agreementID The ID of the agreement.\n     *  @return The info.\n     */\n    function getAgreementInfo(bytes32 _agreementID) external view returns(\n        address creator,\n        address[] parties,\n        uint numberOfChoices,\n        bytes extraData,\n        uint arbitrationFeesWaitingTime,\n        Arbitrator arbitrator,\n        uint disputeID,\n        bool disputed,\n        bool appealed,\n        uint ruling,\n        bool executed);\n\n    function getFeesInfo(\n        bytes32 _agreementID\n    ) external view returns(\n        uint[] ruling,\n        uint[] _stake,\n        uint[] totalValue,\n        uint[2][] totalContributedPerSide,\n        bool[] loserFullyFunded);\n\n    /** @dev Gets the contributions by the specified contributor in the specified round of the specified agreement.\n     *  @param _agreementID The ID of the agreement.\n     *  @param _round The round.\n     *  @param _contributor The address of the contributor.\n     *  @return The contributions.\n     */\n    function getContributions(bytes32 _agreementID, uint _round, address _contributor) external view returns(uint[2] contributions);\n}\n",
  "sourcePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/proxy/ArbitrableProxy.sol",
  "ast": {
    "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/proxy/ArbitrableProxy.sol",
    "exportedSymbols": {
      "ArbitrableProxy": [
        13174
      ]
    },
    "id": 13175,
    "nodeType": "SourceUnit",
    "nodes": [
      {
        "id": 13091,
        "literals": [
          "solidity",
          "^",
          "0.4",
          ".24"
        ],
        "nodeType": "PragmaDirective",
        "src": "0:24:40"
      },
      {
        "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/Arbitrator.sol",
        "file": "../../Arbitrator.sol",
        "id": 13092,
        "nodeType": "ImportDirective",
        "scope": 13175,
        "sourceUnit": 4022,
        "src": "26:30:40",
        "symbolAliases": [],
        "unitAlias": ""
      },
      {
        "baseContracts": [],
        "contractDependencies": [],
        "contractKind": "contract",
        "documentation": " @title ArbitrableProxy\n @author Enrique Piqueras - <epiquerass@gmail.com>\n @dev Base contract for arbitrable proxies.",
        "fullyImplemented": false,
        "id": 13174,
        "linearizedBaseContracts": [
          13174
        ],
        "name": "ArbitrableProxy",
        "nodeType": "ContractDefinition",
        "nodes": [
          {
            "body": null,
            "documentation": "@dev Creates an agreement.\n @param _agreementID The ID of the agreement.\n @param _metaEvidence The meta evidence of the agreement.\n @param _parties The `parties` value of the agreement.\n @param _numberOfChoices The `numberOfChoices` value of the agreement.\n @param _extraData The `extraData` value of the agreement.\n @param _arbitrationFeesWaitingTime The `arbitrationFeesWaitingTime` value of the agreement.\n @param _arbitrator The `arbitrator` value of the agreement.",
            "id": 13110,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": false,
            "modifiers": [],
            "name": "createAgreement",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13108,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13094,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "814:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13093,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "814:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13096,
                  "name": "_metaEvidence",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "844:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_string_calldata_ptr",
                    "typeString": "string"
                  },
                  "typeName": {
                    "id": 13095,
                    "name": "string",
                    "nodeType": "ElementaryTypeName",
                    "src": "844:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_string_storage_ptr",
                      "typeString": "string"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13099,
                  "name": "_parties",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "874:18:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_address_$dyn_calldata_ptr",
                    "typeString": "address[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13097,
                      "name": "address",
                      "nodeType": "ElementaryTypeName",
                      "src": "874:7:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_address",
                        "typeString": "address"
                      }
                    },
                    "id": 13098,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "874:9:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr",
                      "typeString": "address[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13101,
                  "name": "_numberOfChoices",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "902:21:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13100,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "902:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13103,
                  "name": "_extraData",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "933:16:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes_calldata_ptr",
                    "typeString": "bytes"
                  },
                  "typeName": {
                    "id": 13102,
                    "name": "bytes",
                    "nodeType": "ElementaryTypeName",
                    "src": "933:5:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes_storage_ptr",
                      "typeString": "bytes"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13105,
                  "name": "_arbitrationFeesWaitingTime",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "959:32:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13104,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "959:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13107,
                  "name": "_arbitrator",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "1001:22:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_contract$_Arbitrator_$4021",
                    "typeString": "contract Arbitrator"
                  },
                  "typeName": {
                    "contractScope": null,
                    "id": 13106,
                    "name": "Arbitrator",
                    "nodeType": "UserDefinedTypeName",
                    "referencedDeclaration": 4021,
                    "src": "1001:10:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_contract$_Arbitrator_$4021",
                      "typeString": "contract Arbitrator"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "804:220:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13109,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1033:0:40"
            },
            "scope": 13174,
            "src": "780:254:40",
            "stateMutability": "nonpayable",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": null,
            "documentation": "@dev Gets the info on the specified agreement.\n @param _agreementID The ID of the agreement.\n @return The info.",
            "id": 13138,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": true,
            "modifiers": [],
            "name": "getAgreementInfo",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13113,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13112,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1238:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13111,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "1238:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1237:22:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13137,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13115,
                  "name": "creator",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1291:15:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_address",
                    "typeString": "address"
                  },
                  "typeName": {
                    "id": 13114,
                    "name": "address",
                    "nodeType": "ElementaryTypeName",
                    "src": "1291:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_address",
                      "typeString": "address"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13118,
                  "name": "parties",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1316:17:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr",
                    "typeString": "address[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13116,
                      "name": "address",
                      "nodeType": "ElementaryTypeName",
                      "src": "1316:7:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_address",
                        "typeString": "address"
                      }
                    },
                    "id": 13117,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1316:9:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr",
                      "typeString": "address[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13120,
                  "name": "numberOfChoices",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1343:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13119,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1343:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13122,
                  "name": "extraData",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1373:15:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes_memory_ptr",
                    "typeString": "bytes"
                  },
                  "typeName": {
                    "id": 13121,
                    "name": "bytes",
                    "nodeType": "ElementaryTypeName",
                    "src": "1373:5:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes_storage_ptr",
                      "typeString": "bytes"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13124,
                  "name": "arbitrationFeesWaitingTime",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1398:31:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13123,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1398:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13126,
                  "name": "arbitrator",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1439:21:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_contract$_Arbitrator_$4021",
                    "typeString": "contract Arbitrator"
                  },
                  "typeName": {
                    "contractScope": null,
                    "id": 13125,
                    "name": "Arbitrator",
                    "nodeType": "UserDefinedTypeName",
                    "referencedDeclaration": 4021,
                    "src": "1439:10:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_contract$_Arbitrator_$4021",
                      "typeString": "contract Arbitrator"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13128,
                  "name": "disputeID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1470:14:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13127,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1470:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13130,
                  "name": "disputed",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1494:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bool",
                    "typeString": "bool"
                  },
                  "typeName": {
                    "id": 13129,
                    "name": "bool",
                    "nodeType": "ElementaryTypeName",
                    "src": "1494:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bool",
                      "typeString": "bool"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13132,
                  "name": "appealed",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1517:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bool",
                    "typeString": "bool"
                  },
                  "typeName": {
                    "id": 13131,
                    "name": "bool",
                    "nodeType": "ElementaryTypeName",
                    "src": "1517:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bool",
                      "typeString": "bool"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13134,
                  "name": "ruling",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1540:11:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13133,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1540:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13136,
                  "name": "executed",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1561:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bool",
                    "typeString": "bool"
                  },
                  "typeName": {
                    "id": 13135,
                    "name": "bool",
                    "nodeType": "ElementaryTypeName",
                    "src": "1561:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bool",
                      "typeString": "bool"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1281:294:40"
            },
            "scope": 13174,
            "src": "1212:364:40",
            "stateMutability": "view",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": null,
            "documentation": null,
            "id": 13160,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": true,
            "modifiers": [],
            "name": "getFeesInfo",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13141,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13140,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1612:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13139,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "1612:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1602:36:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13159,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13144,
                  "name": "ruling",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1670:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr",
                    "typeString": "uint256[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13142,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "1670:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13143,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1670:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr",
                      "typeString": "uint256[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13147,
                  "name": "_stake",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1693:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr",
                    "typeString": "uint256[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13145,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "1693:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13146,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1693:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr",
                      "typeString": "uint256[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13150,
                  "name": "totalValue",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1716:17:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr",
                    "typeString": "uint256[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13148,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "1716:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13149,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1716:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr",
                      "typeString": "uint256[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13155,
                  "name": "totalContributedPerSide",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1743:33:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_array$_t_uint256_$2_memory_$dyn_memory_ptr",
                    "typeString": "uint256[2][]"
                  },
                  "typeName": {
                    "baseType": {
                      "baseType": {
                        "id": 13151,
                        "name": "uint",
                        "nodeType": "ElementaryTypeName",
                        "src": "1743:4:40",
                        "typeDescriptions": {
                          "typeIdentifier": "t_uint256",
                          "typeString": "uint256"
                        }
                      },
                      "id": 13153,
                      "length": {
                        "argumentTypes": null,
                        "hexValue": "32",
                        "id": 13152,
                        "isConstant": false,
                        "isLValue": false,
                        "isPure": false,
                        "kind": "number",
                        "lValueRequested": false,
                        "nodeType": "Literal",
                        "src": "1748:1:40",
                        "subdenomination": null,
                        "typeDescriptions": {
                          "typeIdentifier": null,
                          "typeString": null
                        },
                        "value": "2"
                      },
                      "nodeType": "ArrayTypeName",
                      "src": "1743:7:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_array$_t_uint256_$2_storage_ptr",
                        "typeString": "uint256[2]"
                      }
                    },
                    "id": 13154,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1743:9:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_array$_t_uint256_$2_storage_$dyn_storage_ptr",
                      "typeString": "uint256[2][]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13158,
                  "name": "loserFullyFunded",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1786:23:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_bool_$dyn_memory_ptr",
                    "typeString": "bool[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13156,
                      "name": "bool",
                      "nodeType": "ElementaryTypeName",
                      "src": "1786:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_bool",
                        "typeString": "bool"
                      }
                    },
                    "id": 13157,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1786:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_bool_$dyn_storage_ptr",
                      "typeString": "bool[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1660:150:40"
            },
            "scope": 13174,
            "src": "1582:229:40",
            "stateMutability": "view",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": null,
            "documentation": "@dev Gets the contributions by the specified contributor in the specified round of the specified agreement.\n @param _agreementID The ID of the agreement.\n @param _round The round.\n @param _contributor The address of the contributor.\n @return The contributions.",
            "id": 13173,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": true,
            "modifiers": [],
            "name": "getContributions",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13167,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13162,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2148:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13161,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "2148:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13164,
                  "name": "_round",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2170:11:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13163,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "2170:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13166,
                  "name": "_contributor",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2183:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_address",
                    "typeString": "address"
                  },
                  "typeName": {
                    "id": 13165,
                    "name": "address",
                    "nodeType": "ElementaryTypeName",
                    "src": "2183:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_address",
                      "typeString": "address"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2147:57:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13172,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13171,
                  "name": "contributions",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2227:21:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$2_memory_ptr",
                    "typeString": "uint256[2]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13168,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "2227:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13170,
                    "length": {
                      "argumentTypes": null,
                      "hexValue": "32",
                      "id": 13169,
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": false,
                      "kind": "number",
                      "lValueRequested": false,
                      "nodeType": "Literal",
                      "src": "2232:1:40",
                      "subdenomination": null,
                      "typeDescriptions": {
                        "typeIdentifier": null,
                        "typeString": null
                      },
                      "value": "2"
                    },
                    "nodeType": "ArrayTypeName",
                    "src": "2227:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$2_storage_ptr",
                      "typeString": "uint256[2]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2226:23:40"
            },
            "scope": 13174,
            "src": "2122:128:40",
            "stateMutability": "view",
            "superFunction": null,
            "visibility": "external"
          }
        ],
        "scope": 13175,
        "src": "194:2058:40"
      }
    ],
    "src": "0:2253:40"
  },
  "legacyAST": {
    "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/proxy/ArbitrableProxy.sol",
    "exportedSymbols": {
      "ArbitrableProxy": [
        13174
      ]
    },
    "id": 13175,
    "nodeType": "SourceUnit",
    "nodes": [
      {
        "id": 13091,
        "literals": [
          "solidity",
          "^",
          "0.4",
          ".24"
        ],
        "nodeType": "PragmaDirective",
        "src": "0:24:40"
      },
      {
        "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/Arbitrator.sol",
        "file": "../../Arbitrator.sol",
        "id": 13092,
        "nodeType": "ImportDirective",
        "scope": 13175,
        "sourceUnit": 4022,
        "src": "26:30:40",
        "symbolAliases": [],
        "unitAlias": ""
      },
      {
        "baseContracts": [],
        "contractDependencies": [],
        "contractKind": "contract",
        "documentation": " @title ArbitrableProxy\n @author Enrique Piqueras - <epiquerass@gmail.com>\n @dev Base contract for arbitrable proxies.",
        "fullyImplemented": false,
        "id": 13174,
        "linearizedBaseContracts": [
          13174
        ],
        "name": "ArbitrableProxy",
        "nodeType": "ContractDefinition",
        "nodes": [
          {
            "body": null,
            "documentation": "@dev Creates an agreement.\n @param _agreementID The ID of the agreement.\n @param _metaEvidence The meta evidence of the agreement.\n @param _parties The `parties` value of the agreement.\n @param _numberOfChoices The `numberOfChoices` value of the agreement.\n @param _extraData The `extraData` value of the agreement.\n @param _arbitrationFeesWaitingTime The `arbitrationFeesWaitingTime` value of the agreement.\n @param _arbitrator The `arbitrator` value of the agreement.",
            "id": 13110,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": false,
            "modifiers": [],
            "name": "createAgreement",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13108,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13094,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "814:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13093,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "814:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13096,
                  "name": "_metaEvidence",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "844:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_string_calldata_ptr",
                    "typeString": "string"
                  },
                  "typeName": {
                    "id": 13095,
                    "name": "string",
                    "nodeType": "ElementaryTypeName",
                    "src": "844:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_string_storage_ptr",
                      "typeString": "string"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13099,
                  "name": "_parties",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "874:18:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_address_$dyn_calldata_ptr",
                    "typeString": "address[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13097,
                      "name": "address",
                      "nodeType": "ElementaryTypeName",
                      "src": "874:7:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_address",
                        "typeString": "address"
                      }
                    },
                    "id": 13098,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "874:9:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr",
                      "typeString": "address[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13101,
                  "name": "_numberOfChoices",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "902:21:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13100,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "902:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13103,
                  "name": "_extraData",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "933:16:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes_calldata_ptr",
                    "typeString": "bytes"
                  },
                  "typeName": {
                    "id": 13102,
                    "name": "bytes",
                    "nodeType": "ElementaryTypeName",
                    "src": "933:5:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes_storage_ptr",
                      "typeString": "bytes"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13105,
                  "name": "_arbitrationFeesWaitingTime",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "959:32:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13104,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "959:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13107,
                  "name": "_arbitrator",
                  "nodeType": "VariableDeclaration",
                  "scope": 13110,
                  "src": "1001:22:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_contract$_Arbitrator_$4021",
                    "typeString": "contract Arbitrator"
                  },
                  "typeName": {
                    "contractScope": null,
                    "id": 13106,
                    "name": "Arbitrator",
                    "nodeType": "UserDefinedTypeName",
                    "referencedDeclaration": 4021,
                    "src": "1001:10:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_contract$_Arbitrator_$4021",
                      "typeString": "contract Arbitrator"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "804:220:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13109,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1033:0:40"
            },
            "scope": 13174,
            "src": "780:254:40",
            "stateMutability": "nonpayable",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": null,
            "documentation": "@dev Gets the info on the specified agreement.\n @param _agreementID The ID of the agreement.\n @return The info.",
            "id": 13138,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": true,
            "modifiers": [],
            "name": "getAgreementInfo",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13113,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13112,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1238:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13111,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "1238:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1237:22:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13137,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13115,
                  "name": "creator",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1291:15:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_address",
                    "typeString": "address"
                  },
                  "typeName": {
                    "id": 13114,
                    "name": "address",
                    "nodeType": "ElementaryTypeName",
                    "src": "1291:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_address",
                      "typeString": "address"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13118,
                  "name": "parties",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1316:17:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr",
                    "typeString": "address[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13116,
                      "name": "address",
                      "nodeType": "ElementaryTypeName",
                      "src": "1316:7:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_address",
                        "typeString": "address"
                      }
                    },
                    "id": 13117,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1316:9:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr",
                      "typeString": "address[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13120,
                  "name": "numberOfChoices",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1343:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13119,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1343:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13122,
                  "name": "extraData",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1373:15:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes_memory_ptr",
                    "typeString": "bytes"
                  },
                  "typeName": {
                    "id": 13121,
                    "name": "bytes",
                    "nodeType": "ElementaryTypeName",
                    "src": "1373:5:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes_storage_ptr",
                      "typeString": "bytes"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13124,
                  "name": "arbitrationFeesWaitingTime",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1398:31:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13123,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1398:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13126,
                  "name": "arbitrator",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1439:21:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_contract$_Arbitrator_$4021",
                    "typeString": "contract Arbitrator"
                  },
                  "typeName": {
                    "contractScope": null,
                    "id": 13125,
                    "name": "Arbitrator",
                    "nodeType": "UserDefinedTypeName",
                    "referencedDeclaration": 4021,
                    "src": "1439:10:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_contract$_Arbitrator_$4021",
                      "typeString": "contract Arbitrator"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13128,
                  "name": "disputeID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1470:14:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13127,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1470:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13130,
                  "name": "disputed",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1494:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bool",
                    "typeString": "bool"
                  },
                  "typeName": {
                    "id": 13129,
                    "name": "bool",
                    "nodeType": "ElementaryTypeName",
                    "src": "1494:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bool",
                      "typeString": "bool"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13132,
                  "name": "appealed",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1517:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bool",
                    "typeString": "bool"
                  },
                  "typeName": {
                    "id": 13131,
                    "name": "bool",
                    "nodeType": "ElementaryTypeName",
                    "src": "1517:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bool",
                      "typeString": "bool"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13134,
                  "name": "ruling",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1540:11:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13133,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "1540:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13136,
                  "name": "executed",
                  "nodeType": "VariableDeclaration",
                  "scope": 13138,
                  "src": "1561:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bool",
                    "typeString": "bool"
                  },
                  "typeName": {
                    "id": 13135,
                    "name": "bool",
                    "nodeType": "ElementaryTypeName",
                    "src": "1561:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bool",
                      "typeString": "bool"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1281:294:40"
            },
            "scope": 13174,
            "src": "1212:364:40",
            "stateMutability": "view",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": null,
            "documentation": null,
            "id": 13160,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": true,
            "modifiers": [],
            "name": "getFeesInfo",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13141,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13140,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1612:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13139,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "1612:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1602:36:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13159,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13144,
                  "name": "ruling",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1670:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr",
                    "typeString": "uint256[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13142,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "1670:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13143,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1670:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr",
                      "typeString": "uint256[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13147,
                  "name": "_stake",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1693:13:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr",
                    "typeString": "uint256[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13145,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "1693:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13146,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1693:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr",
                      "typeString": "uint256[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13150,
                  "name": "totalValue",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1716:17:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr",
                    "typeString": "uint256[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13148,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "1716:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13149,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1716:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr",
                      "typeString": "uint256[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13155,
                  "name": "totalContributedPerSide",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1743:33:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_array$_t_uint256_$2_memory_$dyn_memory_ptr",
                    "typeString": "uint256[2][]"
                  },
                  "typeName": {
                    "baseType": {
                      "baseType": {
                        "id": 13151,
                        "name": "uint",
                        "nodeType": "ElementaryTypeName",
                        "src": "1743:4:40",
                        "typeDescriptions": {
                          "typeIdentifier": "t_uint256",
                          "typeString": "uint256"
                        }
                      },
                      "id": 13153,
                      "length": {
                        "argumentTypes": null,
                        "hexValue": "32",
                        "id": 13152,
                        "isConstant": false,
                        "isLValue": false,
                        "isPure": false,
                        "kind": "number",
                        "lValueRequested": false,
                        "nodeType": "Literal",
                        "src": "1748:1:40",
                        "subdenomination": null,
                        "typeDescriptions": {
                          "typeIdentifier": null,
                          "typeString": null
                        },
                        "value": "2"
                      },
                      "nodeType": "ArrayTypeName",
                      "src": "1743:7:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_array$_t_uint256_$2_storage_ptr",
                        "typeString": "uint256[2]"
                      }
                    },
                    "id": 13154,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1743:9:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_array$_t_uint256_$2_storage_$dyn_storage_ptr",
                      "typeString": "uint256[2][]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13158,
                  "name": "loserFullyFunded",
                  "nodeType": "VariableDeclaration",
                  "scope": 13160,
                  "src": "1786:23:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_bool_$dyn_memory_ptr",
                    "typeString": "bool[]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13156,
                      "name": "bool",
                      "nodeType": "ElementaryTypeName",
                      "src": "1786:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_bool",
                        "typeString": "bool"
                      }
                    },
                    "id": 13157,
                    "length": null,
                    "nodeType": "ArrayTypeName",
                    "src": "1786:6:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_bool_$dyn_storage_ptr",
                      "typeString": "bool[]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1660:150:40"
            },
            "scope": 13174,
            "src": "1582:229:40",
            "stateMutability": "view",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": null,
            "documentation": "@dev Gets the contributions by the specified contributor in the specified round of the specified agreement.\n @param _agreementID The ID of the agreement.\n @param _round The round.\n @param _contributor The address of the contributor.\n @return The contributions.",
            "id": 13173,
            "implemented": false,
            "isConstructor": false,
            "isDeclaredConst": true,
            "modifiers": [],
            "name": "getContributions",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 13167,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13162,
                  "name": "_agreementID",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2148:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_bytes32",
                    "typeString": "bytes32"
                  },
                  "typeName": {
                    "id": 13161,
                    "name": "bytes32",
                    "nodeType": "ElementaryTypeName",
                    "src": "2148:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_bytes32",
                      "typeString": "bytes32"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13164,
                  "name": "_round",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2170:11:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 13163,
                    "name": "uint",
                    "nodeType": "ElementaryTypeName",
                    "src": "2170:4:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                },
                {
                  "constant": false,
                  "id": 13166,
                  "name": "_contributor",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2183:20:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_address",
                    "typeString": "address"
                  },
                  "typeName": {
                    "id": 13165,
                    "name": "address",
                    "nodeType": "ElementaryTypeName",
                    "src": "2183:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_address",
                      "typeString": "address"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2147:57:40"
            },
            "payable": false,
            "returnParameters": {
              "id": 13172,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 13171,
                  "name": "contributions",
                  "nodeType": "VariableDeclaration",
                  "scope": 13173,
                  "src": "2227:21:40",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_array$_t_uint256_$2_memory_ptr",
                    "typeString": "uint256[2]"
                  },
                  "typeName": {
                    "baseType": {
                      "id": 13168,
                      "name": "uint",
                      "nodeType": "ElementaryTypeName",
                      "src": "2227:4:40",
                      "typeDescriptions": {
                        "typeIdentifier": "t_uint256",
                        "typeString": "uint256"
                      }
                    },
                    "id": 13170,
                    "length": {
                      "argumentTypes": null,
                      "hexValue": "32",
                      "id": 13169,
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": false,
                      "kind": "number",
                      "lValueRequested": false,
                      "nodeType": "Literal",
                      "src": "2232:1:40",
                      "subdenomination": null,
                      "typeDescriptions": {
                        "typeIdentifier": null,
                        "typeString": null
                      },
                      "value": "2"
                    },
                    "nodeType": "ArrayTypeName",
                    "src": "2227:7:40",
                    "typeDescriptions": {
                      "typeIdentifier": "t_array$_t_uint256_$2_storage_ptr",
                      "typeString": "uint256[2]"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2226:23:40"
            },
            "scope": 13174,
            "src": "2122:128:40",
            "stateMutability": "view",
            "superFunction": null,
            "visibility": "external"
          }
        ],
        "scope": 13175,
        "src": "194:2058:40"
      }
    ],
    "src": "0:2253:40"
  },
  "compiler": {
    "name": "solc",
    "version": "0.4.24+commit.e67f0147.Emscripten.clang"
  },
  "networks": {},
  "schemaVersion": "2.0.1",
  "updatedAt": "2018-11-02T14:04:11.042Z"
}