concordium-rust-smart-contracts
concordium-rust-smart-contracts copied to clipboard
Implement `Reject` trait for `CallContractError` so that they can be returned in entrypoint methods.
Description
When a cross contract call is made, it returns CallContractError which doesnt seem to implement Reject trait which the entrypoint method expect to return. So a From trait has to be implemented.
Solution
Implementing Reject trait on CallContractError itself will help users just return those errors directly from entrypoint without needing to write wrappers.
A From trait for Cis2ClientError which itself is a wrapper for CallContractError looks like below.
impl From<Cis2ClientError<()>> for Error {
fn from(value: Cis2ClientError<()>) -> Self {
match value {
Cis2ClientError::InvokeContractError(e) => match e {
CallContractError::AmountTooLarge => Self::AmountTooLarge,
CallContractError::MissingAccount => Self::MissingAccount,
CallContractError::MissingContract => Self::MissingContract,
CallContractError::MissingEntrypoint => Self::MissingEntrypoint,
CallContractError::MessageFailed => Self::MessageFailed,
CallContractError::LogicReject {
reason,
return_value,
} => Self::LogicReject {
reason,
return_value,
},
CallContractError::Trap => Self::Trap,
},
Cis2ClientError::ParseResult => Self::ParseResult,
Cis2ClientError::InvalidResponse => Self::InvalidResponse,
}
}
}
Would love to know what you guys think regarding having this trait implemented?
HI @dhruvja, thanks for the input.
I'm not opposed to implementing this in principle, but there is a general challenge that it's not really possible to have an injective implementation of this trait for InvokeContractError so there would be some loss of information.
This is usually a lot simpler to accept on a case by case basis rather than in a generic implementation.
HI @dhruvja, thanks for the input.
I'm not opposed to implementing this in principle, but there is a general challenge that it's not really possible to have an injective implementation of this trait for
InvokeContractErrorso there would be some loss of information.This is usually a lot simpler to accept on a case by case basis rather than in a generic implementation.
Do you mean its difficult to include the generics when we implement the trait?
No, I meant that to implement Reject we need to assign codes in the set i32::MIN..-1 to values of the CallContractError and in general it is not possible to do so without losing information, meaning that there would be two values that would map to the same status code. This is unsatisfactory which is why the trait is not implemented at the moment.
Moving this over to the correct repository.