spicy-redis: Separate client/server

This makes the parser more official and splits the client/server out
from each other. Apparently they're different enough to be separate.
This commit is contained in:
Evan Typanski 2024-10-23 11:10:44 -04:00
parent f0f2969a66
commit 757cbbf902
28 changed files with 809 additions and 702 deletions

View file

@ -7,12 +7,12 @@
# Sometimes commands aren't serialized, like when pipelining. This still works! So we
# should handle this. This particular example has a few commands, amongst them a SET and
# a GET.
event RESP::set_command(c: connection, is_orig: bool, command: RESP::SetCommand)
event Redis::set_command(c: connection, is_orig: bool, command: Redis::SetCommand)
{
print fmt("SET: %s %s", command$key, command$value);
}
event RESP::get_command(c: connection, is_orig: bool, command: RESP::GetCommand)
event Redis::get_command(c: connection, is_orig: bool, command: Redis::GetCommand)
{
print fmt("GET: %s", command);
}