Use Read/Apply instead of read/apply in Rsm concept

This commit is contained in:
Tyler Neely 2022-08-04 09:44:05 +00:00
parent 343648f564
commit 79539d13c9
2 changed files with 4 additions and 4 deletions
src/io/rsm
tests/simulation

View File

@ -187,8 +187,8 @@ concept Rsm = requires(T t, Write w)
template <typename WriteOperation, typename ReadOperation, typename ReplicatedState, typename WriteResponseValue,
typename ReadResponseValue>
concept Rsm = requires(ReplicatedState state, WriteOperation w, ReadOperation r) {
{ state.read(r) } -> std::same_as<ReadResponseValue>;
{ state.apply(w) } -> std::same_as<WriteResponseValue>;
{ state.Read(r) } -> std::same_as<ReadResponseValue>;
{ state.Apply(w) } -> std::same_as<WriteResponseValue>;
};
/// Parameter Purpose

View File

@ -60,7 +60,7 @@ class TestState {
std::map<int, int> state_;
public:
GetResponse read(GetRequest request) {
GetResponse Read(GetRequest request) {
GetResponse ret;
if (state_.contains(request.key)) {
ret.value = state_[request.key];
@ -68,7 +68,7 @@ class TestState {
return ret;
}
CasResponse apply(CasRequest request) {
CasResponse Apply(CasRequest request) {
CasResponse ret;
// Key exist