114 lines
3.8 KiB
C++
114 lines
3.8 KiB
C++
/*
|
|
* Copyright (c) 2015 Cryptonomex, Inc., and contributors.
|
|
*
|
|
* The MIT License
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
#pragma once
|
|
#include <graphene/chain/protocol/base.hpp>
|
|
|
|
namespace graphene { namespace chain {
|
|
|
|
/**
|
|
* Used to verify that account_id->name is equal to the given string literal.
|
|
*/
|
|
struct account_name_eq_lit_predicate
|
|
{
|
|
account_id_type account_id;
|
|
string name;
|
|
|
|
/**
|
|
* Perform state-independent checks. Verify
|
|
* account_name is a valid account name.
|
|
*/
|
|
bool validate()const;
|
|
};
|
|
|
|
/**
|
|
* Used to verify that asset_id->symbol is equal to the given string literal.
|
|
*/
|
|
struct asset_symbol_eq_lit_predicate
|
|
{
|
|
asset_id_type asset_id;
|
|
string symbol;
|
|
|
|
/**
|
|
* Perform state independent checks. Verify symbol is a
|
|
* valid asset symbol.
|
|
*/
|
|
bool validate()const;
|
|
|
|
};
|
|
|
|
/**
|
|
* Used to verify that a specific block is part of the
|
|
* blockchain history. This helps protect some high-value
|
|
* transactions to newly created IDs
|
|
*
|
|
* The block ID must be within the last 2^16 blocks.
|
|
*/
|
|
struct block_id_predicate
|
|
{
|
|
block_id_type id;
|
|
bool validate()const{ return true; }
|
|
};
|
|
|
|
/**
|
|
* When defining predicates do not make the protocol dependent upon
|
|
* implementation details.
|
|
*/
|
|
typedef static_variant<
|
|
account_name_eq_lit_predicate,
|
|
asset_symbol_eq_lit_predicate,
|
|
block_id_predicate
|
|
> predicate;
|
|
|
|
|
|
/**
|
|
* @brief assert that some conditions are true.
|
|
* @ingroup operations
|
|
*
|
|
* This operation performs no changes to the database state, but can but used to verify
|
|
* pre or post conditions for other operations.
|
|
*/
|
|
struct assert_operation : public base_operation
|
|
{
|
|
struct fee_parameters_type { uint64_t fee = GRAPHENE_BLOCKCHAIN_PRECISION; };
|
|
|
|
asset fee;
|
|
account_id_type fee_paying_account;
|
|
vector<predicate> predicates;
|
|
flat_set<account_id_type> required_auths;
|
|
extensions_type extensions;
|
|
|
|
account_id_type fee_payer()const { return fee_paying_account; }
|
|
void validate()const;
|
|
share_type calculate_fee(const fee_parameters_type& k)const;
|
|
};
|
|
|
|
} } // graphene::chain
|
|
|
|
FC_REFLECT( graphene::chain::assert_operation::fee_parameters_type, (fee) )
|
|
FC_REFLECT( graphene::chain::account_name_eq_lit_predicate, (account_id)(name) )
|
|
FC_REFLECT( graphene::chain::asset_symbol_eq_lit_predicate, (asset_id)(symbol) )
|
|
FC_REFLECT( graphene::chain::block_id_predicate, (id) )
|
|
FC_REFLECT_TYPENAME( graphene::chain::predicate )
|
|
FC_REFLECT( graphene::chain::assert_operation, (fee)(fee_paying_account)(predicates)(required_auths)(extensions) )
|
|
|