Invariants: Permissioned Domains must have some rules and AcceptedCredentials must have length between 1 and 10 inclusive. More...
#include <InvariantCheck.h>
Collaboration diagram for ripple::ValidPermissionedDomain:
Classes | |
| struct | SleStatus |
Public Member Functions | |
| void | visitEntry (bool, std::shared_ptr< SLE const > const &, std::shared_ptr< SLE const > const &) |
| bool | finalize (STTx const &, TER const, XRPAmount const, ReadView const &, beast::Journal const &) |
Private Attributes | |
| std::optional< SleStatus > | sleStatus_ [2] |
Detailed Description
Invariants: Permissioned Domains must have some rules and AcceptedCredentials must have length between 1 and 10 inclusive.
Since only permissions constitute rules, an empty credentials list means that there are no rules and the invariant is violated.
Credentials must be sorted and no duplicates allowed
Definition at line 599 of file InvariantCheck.h.
Member Function Documentation
◆ visitEntry()
| void ripple::ValidPermissionedDomain::visitEntry | ( | bool | , |
| std::shared_ptr< SLE const > const & | before, | ||
| std::shared_ptr< SLE const > const & | after | ||
| ) |
Definition at line 1600 of file InvariantCheck.cpp.
◆ finalize()
| bool ripple::ValidPermissionedDomain::finalize | ( | STTx const & | tx, |
| TER const | result, | ||
| XRPAmount const | , | ||
| ReadView const & | view, | ||
| beast::Journal const & | j | ||
| ) |
Definition at line 1648 of file InvariantCheck.cpp.
Member Data Documentation
◆ sleStatus_
|
private |
Definition at line 606 of file InvariantCheck.h.
