text: // Copyright (c) 2012-2016, The CryptoNote developers, The Bytecoin developers
  //
  // This file is part of Bitcoinphantom.
  //
  // Bitcoinphantom is free software: you can redistribute it and/or modify
  // it under the terms of the GNU Lesser General Public License as published by
  // the Free Software Foundation, either version 3 of the License, or
  // (at your option) any later version.
  //
  // Bitcoinphantom is distributed in the hope that it will be useful,
  // but WITHOUT ANY WARRANTY; without even the implied warranty of
  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  // GNU Lesser General Public License for more details.
  //
  // You should have received a copy of the GNU Lesser General Public License
  // along with Bitcoinphantom.  If not, see <http://www.gnu.org/licenses/>.
  
  #pragma once 
  #include "Chaingen.h"
  #include "TransactionBuilder.h"
  
  const size_t invalid_index_value = std::numeric_limits<size_t>::max();
  
  
  template<class concrete_test>
  class gen_double_spend_base : public test_chain_unit_base
  {
  public:
    static const uint64_t send_amount = MK_COINS(17);
  
    gen_double_spend_base();
  
    bool check_tx_verification_context(const CryptoNote::tx_verification_context& tvc, bool tx_added, size_t event_idx, const CryptoNote::Transaction& tx);
    bool check_block_verification_context(const CryptoNote::block_verification_context& bvc, size_t event_idx, const CryptoNote::Block& block);
  
    bool mark_last_valid_block(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
    bool mark_invalid_tx(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
    bool mark_invalid_block(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
    bool check_double_spend(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
  
  private:
    CryptoNote::Block m_last_valid_block;
    size_t m_invalid_tx_index;
    size_t m_invalid_block_index;
  };
  
  
  template<bool txs_keeped_by_block>
  struct gen_double_spend_in_tx : public gen_double_spend_base< gen_double_spend_in_tx<txs_keeped_by_block> >
  {
    static const uint64_t send_amount = MK_COINS(17);
    static const bool has_invalid_tx = true;
    static const size_t expected_pool_txs_count = 0;
    static const uint64_t expected_bob_balance = send_amount;
    static const uint64_t expected_alice_balance = 0;
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  
  template<bool txs_keeped_by_block>
  struct gen_double_spend_in_the_same_block : public gen_double_spend_base< gen_double_spend_in_the_same_block<txs_keeped_by_block> >
  {
    static const uint64_t send_amount = MK_COINS(17);
    static const bool has_invalid_tx = !txs_keeped_by_block;
    static const size_t expected_pool_txs_count = has_invalid_tx ? 1 : 2;
    static const uint64_t expected_bob_balance = send_amount;
    static const uint64_t expected_alice_balance = 0;
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  
  template<bool txs_keeped_by_block>
  struct gen_double_spend_in_different_blocks : public gen_double_spend_base< gen_double_spend_in_different_blocks<txs_keeped_by_block> >
  {
    static const uint64_t send_amount = MK_COINS(17);
    static const bool has_invalid_tx = !txs_keeped_by_block;
    static const size_t expected_pool_txs_count = has_invalid_tx ? 0 : 1;
    static const uint64_t expected_bob_balance = 0;
    static uint64_t expected_alice_balance;
  
    gen_double_spend_in_different_blocks() :
      gen_double_spend_base< gen_double_spend_in_different_blocks<txs_keeped_by_block> >() {
      expected_alice_balance = send_amount - this->m_currency.minimumFee();
    }
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  template<bool txs_keeped_by_block>
  uint64_t gen_double_spend_in_different_blocks<txs_keeped_by_block>::expected_alice_balance;
  
  
  template<bool txs_keeped_by_block>
  struct gen_double_spend_in_alt_chain_in_the_same_block : public gen_double_spend_base< gen_double_spend_in_alt_chain_in_the_same_block<txs_keeped_by_block> >
  {
    static const uint64_t send_amount = MK_COINS(17);
    static const bool has_invalid_tx = !txs_keeped_by_block;
    static const size_t expected_pool_txs_count = has_invalid_tx ? 1 : 2;
    static const uint64_t expected_bob_balance = send_amount;
    static const uint64_t expected_alice_balance = 0;
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  
  template<bool txs_keeped_by_block>
  struct gen_double_spend_in_alt_chain_in_different_blocks : public gen_double_spend_base< gen_double_spend_in_alt_chain_in_different_blocks<txs_keeped_by_block> >
  {
    static const uint64_t send_amount = MK_COINS(17);
    static const bool has_invalid_tx = !txs_keeped_by_block;
    static const size_t expected_pool_txs_count = has_invalid_tx ? 1 : 2;
    static const uint64_t expected_bob_balance = send_amount;
    static const uint64_t expected_alice_balance = 0;
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  
  class gen_double_spend_in_different_chains : public test_chain_unit_base
  {
  public:
    static const uint64_t send_amount = MK_COINS(31);
    size_t expected_blockchain_height;
  
    gen_double_spend_in_different_chains();
  
    bool generate(std::vector<test_event_entry>& events) const;
  
    bool check_double_spend(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
  };
  
  
  class TestGenerator;
  
  class DoubleSpendBase : public test_chain_unit_base
  {
  public:
    
    // parameters to be checked
    uint64_t send_amount;
    bool has_invalid_tx;
  
    DoubleSpendBase();
  
    bool check_tx_verification_context(const CryptoNote::tx_verification_context& tvc, bool tx_added, size_t event_idx, const CryptoNote::Transaction& tx);
    bool check_block_verification_context(const CryptoNote::block_verification_context& bvc, size_t event_idx, const CryptoNote::Block& block);
  
    bool mark_last_valid_block(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
    bool mark_invalid_tx(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
    bool mark_invalid_block(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
    bool check_double_spend(CryptoNote::core& c, size_t ev_index, const std::vector<test_event_entry>& events);
  
    TestGenerator prepare(std::vector<test_event_entry>& events) const;
    TransactionBuilder createBobToAliceTx() const;
    TransactionBuilder::MultisignatureSource createSource() const;
  
  protected:
  
    CryptoNote::AccountBase m_bob_account;
    CryptoNote::AccountBase m_alice_account;
    CryptoNote::KeyPair m_outputTxKey;
  
  private:
  
    Crypto::Hash m_last_valid_block;
    size_t m_invalid_tx_index;
    size_t m_invalid_block_index;
  };
  
  
  struct MultiSigTx_DoubleSpendInTx : public DoubleSpendBase
  { 
    const bool m_txsKeepedByBlock;
  
    MultiSigTx_DoubleSpendInTx(bool txsKeepedByBlock);
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  struct MultiSigTx_DoubleSpendSameBlock : public DoubleSpendBase
  {
    const bool m_txsKeepedByBlock;
  
    MultiSigTx_DoubleSpendSameBlock(bool txsKeepedByBlock);
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  
  struct MultiSigTx_DoubleSpendDifferentBlocks : public DoubleSpendBase
  {
    const bool m_txsKeepedByBlock;
  
    MultiSigTx_DoubleSpendDifferentBlocks(bool txsKeepedByBlock);
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  struct MultiSigTx_DoubleSpendAltChainSameBlock : public DoubleSpendBase
  {
    const bool m_txsKeepedByBlock;
  
    MultiSigTx_DoubleSpendAltChainSameBlock(bool txsKeepedByBlock);
  
    bool check_tx_verification_context(const CryptoNote::tx_verification_context& tvc, bool tx_added, size_t event_idx, const CryptoNote::Transaction& tx) {
      return true;
    }
  
    bool check_block_verification_context(const CryptoNote::block_verification_context& bvc, size_t event_idx, const CryptoNote::Block& block) {
      return true;
    }
  
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  struct MultiSigTx_DoubleSpendAltChainDifferentBlocks : public DoubleSpendBase
  {
    const bool m_txsKeepedByBlock;
    MultiSigTx_DoubleSpendAltChainDifferentBlocks(bool txsKeepedByBlock);
    bool generate(std::vector<test_event_entry>& events) const;
  };
  
  
  #define INIT_DOUBLE_SPEND_TEST()                                           \
    uint64_t ts_start = 1338224400;                                          \
    GENERATE_ACCOUNT(miner_account);                                         \
    MAKE_GENESIS_BLOCK(events, blk_0, miner_account, ts_start);              \
    MAKE_ACCOUNT(events, bob_account);                                       \
    MAKE_ACCOUNT(events, alice_account);                                     \
    REWIND_BLOCKS(events, blk_0r, blk_0, miner_account);                     \
    MAKE_TX(events, tx_0, miner_account, bob_account, send_amount, blk_0);   \
    MAKE_NEXT_BLOCK_TX1(events, blk_1, blk_0r, miner_account, tx_0);         \
    REWIND_BLOCKS(events, blk_1r, blk_1, miner_account);
  
  
  #include "double_spend.inl"
  