pragma solidity ^0.4.25;

contract ERC20ext
{
    // stand
    function totalSupply() public constant returns (uint supply);
    function balanceOf(address who) public constant returns (uint value);
    function allowance(address owner, address spender) public constant returns (uint _allowance);

    function transfer(address to, uint value) public returns (bool ok);
    function transferFrom(address from, address to, uint value) public returns (bool ok);
    function approve(address spender, uint value) public returns (bool ok);

    event Transfer(address indexed from, address indexed to, uint value);
    event Approval(address indexed owner, address indexed spender, uint value);

    // extand
    //function setCtrlToken(address newToken) public returns (bool ok);
    //function approveAuto(address spender, uint value ) public returns (bool ok);

    function appointNewCFO(address newCFO) public returns (bool ok);
    function melt(address dst, uint256 wad) public returns (bool ok);
    function mint(address dst, uint256 wad) public returns (bool ok);
    function freeze(address dst, bool flag) public returns (bool ok);

    event MeltEvent(address indexed dst, uint256 wad);
    event MintEvent(address indexed dst, uint256 wad);
    event FreezeEvent(address indexed dst, bool flag);
}

//---------------------------------------------------------
// SafeMath 是一个安全数字运算的合约
//---------------------------------------------------------
contract SafeMath
{
    /**
    * @dev Multiplies two numbers, throws on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256 c)
    {
        if (a == 0) {
            return 0;
        }
        c = a * b;
        assert(c / a == b);
        return c;
    }

    /**
    * @dev Integer division of two numbers, truncating the quotient.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256)
    {
        // assert(b > 0); // Solidity automatically throws when dividing by 0
        // uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return a / b;
    }

    /**
    * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256)
    {
        assert(b <= a);
        return a - b;
    }

    /**
    * @dev Adds two numbers, throws on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256 c)
    {
        c = a + b;
        assert(c >= a);
        return c;
    }
}

//---------------------------------------------------------
// atToken 是一个增强版ERC20合约
//---------------------------------------------------------
contract atToken is ERC20ext,SafeMath
{
    string public name;
    string public symbol;
    uint8  public decimals = 18;

    // 用于设置批准的TOKEN地址
    address _token;

    address _cfo;
    uint256 _supply;

    //帐户的余额列表
    mapping (address => uint256) _balances;

    //帐户的转账限额
    mapping (address => mapping (address => uint256)) _allowance;

    //帐户的资金冻结
    mapping (address => bool) public _frozen;

    //-----------------------------------------------
    // 初始化合约，并把所有代币都给CFO
    //-----------------------------------------------
    //   @param initialSupply 发行总量
    //   @param tokenName     代币名称
    //   @param tokenSymbol   代币符号
    //-----------------------------------------------
    constructor() public
    {
        // validate input
        //require(bytes(tokenName).length > 0 && bytes(tokenSymbol).length > 0);

        _token  = msg.sender;
        _cfo    = msg.sender;

		uint256 initialSupply = 2000000000;
        _supply = initialSupply * 10 ** uint256(decimals);
        _balances[_cfo] = _supply;

        name   = "CNHT";
        symbol = "CNHT";
    }

    //-----------------------------------------------
    // 判断合约调用者是否 CFO
    //-----------------------------------------------
    modifier onlyCFO()
    {
        require(msg.sender == _cfo);
        _;
    }

    //-----------------------------------------------
    // 判断合约调用者是否 Ctrl Token
    //-----------------------------------------------
    //modifier onlyCtrlToken()
    //{
      //  require(msg.sender == _token);
       // _;
    //}

    //-----------------------------------------------
    // 获取货币供应量
    //-----------------------------------------------
    function totalSupply() public constant returns (uint256)
    {
        return _supply;
    }

    //-----------------------------------------------
    // 查询账户余额
    //-----------------------------------------------
    // @param  src 帐户地址
    //-----------------------------------------------
    function balanceOf(address src) public constant returns (uint256)
    {
        return _balances[src];
    }

    //-----------------------------------------------
    // 查询账户转账限额
    //-----------------------------------------------
    // @param  src 来源帐户地址
    // @param  dst 目标帐户地址
    //-----------------------------------------------
    function allowance(address src, address dst) public constant returns (uint256)
    {
        return _allowance[src][dst];
    }

    //-----------------------------------------------
    // 账户转账
    //-----------------------------------------------
    // @param  dst 目标帐户地址
    // @param  wad 转账金额
    //-----------------------------------------------
    function transfer(address dst, uint wad) public returns (bool)
    {
        //检查冻结帐户
        require(!_frozen[msg.sender]);
        require(!_frozen[dst]);

        //检查帐户余额
        require(_balances[msg.sender] >= wad);

        _balances[msg.sender] = sub(_balances[msg.sender],wad);
        _balances[dst]        = add(_balances[dst], wad);

        emit Transfer(msg.sender, dst, wad);

        return true;
    }


    //-----------------------------------------------
    // 账户转账带检查限额
    //-----------------------------------------------
    // @param  src 来源帐户地址
    // @param  dst 目标帐户地址
    // @param  wad 转账金额
    //-----------------------------------------------
    function transferFrom(address src, address dst, uint wad) public returns (bool)
    {
        //检查冻结帐户
        require(!_frozen[msg.sender]);
        require(!_frozen[dst]);

        //检查帐户余额
        require(_balances[src] >= wad);

        //检查帐户限额
        require(_allowance[src][msg.sender] >= wad);

        _allowance[src][msg.sender] = sub(_allowance[src][msg.sender],wad);

        _balances[src] = sub(_balances[src],wad);
        _balances[dst] = add(_balances[dst],wad);

        //转账事件
        emit Transfer(src, dst, wad);

        return true;
    }

    //-----------------------------------------------
    // 设置转账限额
    //-----------------------------------------------
    // @param  dst 目标帐户地址
    // @param  wad 限制金额
    //-----------------------------------------------
    function approve(address dst, uint256 wad) public returns (bool)
    {
        _allowance[msg.sender][dst] = wad;

        //设置事件
        emit Approval(msg.sender, dst, wad);
        return true;
    }

    //-----------------------------------------------
    // 设置自动累计转账限额,此处添加接口配合transferFrom，setCtrlTOken是为了配合外部合约调用本ERC20合约，提供可操作性
    //-----------------------------------------------
    // @param  dst 目标帐户地址
    // @param  wad 限制金额
    //-----------------------------------------------
    //function approveAuto(address src, uint256 wad) onlyCtrlToken public returns (bool)
    //{
      //  _allowance[src][msg.sender] = wad;
       // return true;
    //}

    //-----------------------------------------------
    // 设置 CTRL TOKEN 地址
    //-----------------------------------------------
    // @param  token 新的CTRL TOKEN地址
    //-----------------------------------------------
    //function setCtrlToken(address NewToken) onlyCFO public returns (bool)
    //{
        //if (NewToken != _token)
        //{
          //  _token = NewToken;
          //  return true;
        //}
        //else
        //{
        //    return false;
        //}
    //}

    //-----------------------------------------------
    // 任命新的CFO
    //-----------------------------------------------
    // @param  newCFO 新的CFO帐户地址
    //-----------------------------------------------
    function appointNewCFO(address newCFO) onlyCFO public returns (bool)
    {
        if (newCFO != _cfo)
        {
            _cfo = newCFO;
            return true;
        }
        else
        {
            return false;
        }
    }

    //-----------------------------------------------
    // 冻结帐户
    //-----------------------------------------------
    // @param  dst  目标帐户地址
    // @param  flag 冻结
    //-----------------------------------------------
    function freeze(address dst, bool flag) onlyCFO public returns (bool)
    {
        _frozen[dst] = flag;

        //冻结帐户事件
        emit FreezeEvent(dst, flag);
        return true;
    }

    //-----------------------------------------------
    // 铸造代币
    //-----------------------------------------------
    // @param  dst  目标帐户地址
    // @param  wad  铸造金额
    //-----------------------------------------------
    function mint(address dst, uint256 wad) onlyCFO public returns (bool)
    {
        //目标帐户地址铸造代币,同时更新总量
        _balances[dst] = add(_balances[dst],wad);
        _supply        = add(_supply,wad);

        //铸造代币事件
        emit MintEvent(dst, wad);
        return true;
    }

    //-----------------------------------------------
    // 销毁代币
    //-----------------------------------------------
    // @param  dst  目标帐户地址
    // @param  wad  销毁金额
    //-----------------------------------------------
    function melt(address dst, uint256 wad) onlyCFO public returns (bool)
    {
        //检查帐户余额
        require(_balances[dst] >= wad);

        //销毁目标帐户地址代币,同时更新总量
        _balances[dst] = sub(_balances[dst],wad);
        _supply        = sub(_supply,wad);

        //销毁代币事件
        emit MeltEvent(dst, wad);
        return true;
    }


    //批量打币接口
    //function batchTransfer(address _tokenAddress, address[] _receivers, uint256[] _values) {

        //require(_receivers.length == _values.length && _receivers.length >= 1);
        //bytes4 methodId = bytes4(keccak256("transferFrom(address,address,uint256)"));
       // for(uint256 i = 0 ; i < _receivers.length; i++){
            //if(!_tokenAddress.call(methodId, msg.sender, _receivers[i], _values[i])) {
             //   revert();
            //}
       // }
    //}

}

{
  "compilationTarget": {
    "atToken.sol": "atToken"
  },
  "evmVersion": "byzantium",
  "libraries": {},
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "remappings": []
}