2018-02-04 03:22:01 +01:00
|
|
|
// Matrix Construct
|
|
|
|
//
|
|
|
|
// Copyright (C) Matrix Construct Developers, Authors & Contributors
|
|
|
|
// Copyright (C) 2016-2018 Jason Volk <jason@zemos.net>
|
|
|
|
//
|
|
|
|
// Permission to use, copy, modify, and/or distribute this software for any
|
|
|
|
// purpose with or without fee is hereby granted, provided that the above
|
|
|
|
// copyright notice and this permission notice is present in all copies. The
|
|
|
|
// full license for this software is available in the LICENSE file.
|
2017-08-23 23:10:28 +02:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
#define HAVE_IRCD_M_EVENT_H
|
|
|
|
|
2017-09-08 11:32:49 +02:00
|
|
|
namespace ircd::m
|
|
|
|
{
|
|
|
|
struct event;
|
2017-11-16 02:48:25 +01:00
|
|
|
|
|
|
|
bool my(const id::event &);
|
|
|
|
bool my(const event &);
|
|
|
|
|
|
|
|
size_t degree(const event &);
|
2018-03-03 15:03:15 +01:00
|
|
|
string_view membership(const event &);
|
2018-01-20 14:48:39 +01:00
|
|
|
|
2018-03-03 08:56:21 +01:00
|
|
|
bool check_size(std::nothrow_t, const event &);
|
|
|
|
void check_size(const event &);
|
|
|
|
|
2018-02-03 08:20:26 +01:00
|
|
|
id::event event_id(const event &, id::event::buf &buf, const const_buffer &hash);
|
2018-01-20 14:48:39 +01:00
|
|
|
id::event event_id(const event &, id::event::buf &buf);
|
|
|
|
id::event event_id(const event &);
|
2018-02-28 05:47:19 +01:00
|
|
|
|
2018-03-23 07:53:11 +01:00
|
|
|
std::string pretty(const event &);
|
|
|
|
std::string pretty_oneline(const event &, const bool &content_keys = true);
|
|
|
|
|
2018-02-28 05:47:19 +01:00
|
|
|
// [GET]
|
|
|
|
bool exists(const id::event &);
|
2018-04-06 12:13:27 +02:00
|
|
|
|
|
|
|
// Depth comparison; expect unstable sorting.
|
|
|
|
bool operator<(const event &, const event &);
|
|
|
|
bool operator>(const event &, const event &);
|
|
|
|
bool operator<=(const event &, const event &);
|
|
|
|
bool operator>=(const event &, const event &);
|
|
|
|
|
|
|
|
// Equality tests the event_id only! know this.
|
|
|
|
bool operator==(const event &a, const event &b);
|
2017-09-08 11:32:49 +02:00
|
|
|
}
|
2017-08-23 23:10:28 +02:00
|
|
|
|
2018-02-06 00:19:20 +01:00
|
|
|
#pragma GCC diagnostic push
|
|
|
|
#pragma GCC diagnostic ignored "-Wsubobject-linkage"
|
2018-02-08 22:23:01 +01:00
|
|
|
/// The Main Event
|
2017-11-16 02:48:25 +01:00
|
|
|
///
|
|
|
|
/// This json::tuple provides at least all of the legal members of the matrix
|
|
|
|
/// standard event. This is the fundamental building block of the matrix
|
|
|
|
/// system. Rooms are collections of events. Messages between servers are
|
2018-01-25 21:14:48 +01:00
|
|
|
/// passed as bundles of events (or directly).
|
|
|
|
///
|
|
|
|
/// It is better to have 100 functions operate on one data structure than
|
|
|
|
/// to have 10 functions operate on 10 data structures.
|
|
|
|
/// -Alan Perlis
|
2017-11-16 02:48:25 +01:00
|
|
|
///
|
2017-09-08 11:32:49 +02:00
|
|
|
struct ircd::m::event
|
2017-08-26 06:39:36 +02:00
|
|
|
:json::tuple
|
2017-08-23 23:10:28 +02:00
|
|
|
<
|
2017-11-16 02:48:25 +01:00
|
|
|
json::property<name::auth_events, json::array>,
|
2017-09-26 06:42:07 +02:00
|
|
|
json::property<name::content, json::object>,
|
2017-10-03 13:10:26 +02:00
|
|
|
json::property<name::depth, int64_t>,
|
2017-10-25 18:47:03 +02:00
|
|
|
json::property<name::event_id, json::string>,
|
|
|
|
json::property<name::hashes, json::object>,
|
|
|
|
json::property<name::membership, json::string>,
|
|
|
|
json::property<name::origin, json::string>,
|
2017-09-08 12:08:29 +02:00
|
|
|
json::property<name::origin_server_ts, time_t>,
|
2017-10-25 18:47:03 +02:00
|
|
|
json::property<name::prev_events, json::array>,
|
|
|
|
json::property<name::prev_state, json::array>,
|
2018-02-15 23:57:56 +01:00
|
|
|
json::property<name::redacts, json::string>,
|
2017-10-25 18:47:03 +02:00
|
|
|
json::property<name::room_id, json::string>,
|
|
|
|
json::property<name::sender, json::string>,
|
|
|
|
json::property<name::signatures, json::object>,
|
|
|
|
json::property<name::state_key, json::string>,
|
2018-02-08 22:23:01 +01:00
|
|
|
json::property<name::type, json::string>
|
2017-08-23 23:10:28 +02:00
|
|
|
>
|
|
|
|
{
|
2017-10-28 21:34:44 +02:00
|
|
|
struct prev;
|
2018-02-09 20:22:46 +01:00
|
|
|
struct fetch;
|
2018-02-21 22:43:33 +01:00
|
|
|
struct conforms;
|
2017-10-25 18:47:03 +02:00
|
|
|
|
2017-11-30 19:47:41 +01:00
|
|
|
// Common convenience aliases
|
2017-09-25 03:05:42 +02:00
|
|
|
using id = m::id::event;
|
2018-04-18 04:14:39 +02:00
|
|
|
using idx = uint64_t;
|
2017-11-30 19:47:41 +01:00
|
|
|
using closure = std::function<void (const event &)>;
|
|
|
|
using closure_bool = std::function<bool (const event &)>;
|
2018-04-18 04:14:39 +02:00
|
|
|
using closure_idx = std::function<void (const idx &)>;
|
|
|
|
using closure_idx_bool = std::function<bool (const idx &)>;
|
2018-03-21 06:03:53 +01:00
|
|
|
using closure_iov_mutable = std::function<void (json::iov &)>;
|
2017-09-25 03:05:42 +02:00
|
|
|
|
2018-03-18 04:47:21 +01:00
|
|
|
static constexpr size_t MAX_SIZE = 64_KiB;
|
|
|
|
static conf::item<size_t> max_size;
|
|
|
|
|
2018-03-23 07:53:11 +01:00
|
|
|
friend event essential(event, const mutable_buffer &content);
|
2018-03-21 06:03:53 +01:00
|
|
|
static void essential(json::iov &event, const json::iov &content, const closure_iov_mutable &);
|
|
|
|
|
2018-03-21 03:01:47 +01:00
|
|
|
static bool verify(const string_view &, const ed25519::pk &, const ed25519::sig &sig);
|
|
|
|
static bool verify(const json::object &, const ed25519::pk &, const ed25519::sig &sig);
|
2018-03-23 07:53:11 +01:00
|
|
|
friend bool verify(const event &, const ed25519::pk &, const ed25519::sig &sig);
|
|
|
|
friend bool verify(const event &, const ed25519::pk &, const string_view &origin, const string_view &pkid);
|
|
|
|
friend bool verify(const event &, const string_view &origin, const string_view &pkid); // io/yield
|
|
|
|
friend bool verify(const event &, const string_view &origin); // io/yield
|
|
|
|
friend bool verify(const event &); // io/yield
|
2018-03-21 03:01:47 +01:00
|
|
|
|
2018-03-21 01:59:08 +01:00
|
|
|
static ed25519::sig sign(const string_view &, const ed25519::sk &);
|
|
|
|
static ed25519::sig sign(const string_view &);
|
|
|
|
static ed25519::sig sign(const json::object &, const ed25519::sk &);
|
|
|
|
static ed25519::sig sign(const json::object &);
|
2018-03-23 07:53:11 +01:00
|
|
|
friend ed25519::sig sign(const event &, const ed25519::sk &);
|
|
|
|
friend ed25519::sig sign(const event &);
|
2018-03-21 01:59:08 +01:00
|
|
|
static ed25519::sig sign(json::iov &event, const json::iov &content, const ed25519::sk &);
|
2018-03-07 20:54:56 +01:00
|
|
|
static ed25519::sig sign(json::iov &event, const json::iov &content);
|
|
|
|
static string_view signatures(const mutable_buffer &, json::iov &event, const json::iov &content);
|
|
|
|
|
2018-03-23 07:53:11 +01:00
|
|
|
friend bool verify_sha256b64(const event &, const string_view &);
|
|
|
|
friend bool verify_hash(const event &, const sha256::buf &);
|
|
|
|
friend bool verify_hash(const event &);
|
|
|
|
|
|
|
|
friend sha256::buf hash(const event &);
|
2018-03-07 20:54:56 +01:00
|
|
|
static sha256::buf hash(json::iov &event, const string_view &content);
|
|
|
|
static string_view hashes(const mutable_buffer &, json::iov &event, const string_view &content);
|
|
|
|
|
2017-09-08 11:32:49 +02:00
|
|
|
using super_type::tuple;
|
2018-01-20 14:48:39 +01:00
|
|
|
using super_type::operator=;
|
|
|
|
|
2018-04-18 04:14:39 +02:00
|
|
|
event(const idx &, const mutable_buffer &buf);
|
2017-11-16 02:48:25 +01:00
|
|
|
event(const id &, const mutable_buffer &buf);
|
|
|
|
event() = default;
|
2017-08-23 23:10:28 +02:00
|
|
|
};
|
2018-02-06 00:19:20 +01:00
|
|
|
#pragma GCC diagnostic pop
|
2017-10-25 18:47:03 +02:00
|
|
|
|
2017-11-16 02:48:25 +01:00
|
|
|
namespace ircd::m
|
|
|
|
{
|
|
|
|
void for_each(const event::prev &, const std::function<void (const event::id &)> &);
|
|
|
|
size_t degree(const event::prev &);
|
|
|
|
size_t count(const event::prev &);
|
|
|
|
|
|
|
|
std::string pretty(const event::prev &);
|
|
|
|
std::string pretty_oneline(const event::prev &);
|
|
|
|
}
|
|
|
|
|
2018-02-06 00:19:20 +01:00
|
|
|
#pragma GCC diagnostic push
|
|
|
|
#pragma GCC diagnostic ignored "-Wsubobject-linkage"
|
2017-10-28 21:34:44 +02:00
|
|
|
struct ircd::m::event::prev
|
|
|
|
:json::tuple
|
|
|
|
<
|
|
|
|
json::property<name::auth_events, json::array>,
|
2017-11-16 02:48:25 +01:00
|
|
|
json::property<name::prev_state, json::array>,
|
|
|
|
json::property<name::prev_events, json::array>
|
2017-10-28 21:34:44 +02:00
|
|
|
>
|
|
|
|
{
|
|
|
|
enum cond :int;
|
|
|
|
|
2018-02-10 22:28:22 +01:00
|
|
|
std::tuple<event::id, string_view> auth_events(const uint &idx) const;
|
|
|
|
std::tuple<event::id, string_view> prev_states(const uint &idx) const;
|
|
|
|
std::tuple<event::id, string_view> prev_events(const uint &idx) const;
|
|
|
|
|
|
|
|
event::id auth_event(const uint &idx) const;
|
|
|
|
event::id prev_state(const uint &idx) const;
|
|
|
|
event::id prev_event(const uint &idx) const;
|
|
|
|
|
2017-10-28 21:34:44 +02:00
|
|
|
using super_type::tuple;
|
|
|
|
using super_type::operator=;
|
|
|
|
};
|
2018-02-06 00:19:20 +01:00
|
|
|
#pragma GCC diagnostic pop
|
|
|
|
|
2018-02-09 20:22:46 +01:00
|
|
|
struct ircd::m::event::fetch
|
|
|
|
:event
|
|
|
|
{
|
|
|
|
std::array<db::cell, event::size()> cell;
|
|
|
|
db::row row;
|
2018-04-18 04:14:39 +02:00
|
|
|
bool valid;
|
2018-02-09 20:22:46 +01:00
|
|
|
|
2018-04-18 04:14:39 +02:00
|
|
|
public:
|
|
|
|
fetch(const idx &, std::nothrow_t);
|
|
|
|
fetch(const idx &);
|
|
|
|
fetch(const id &, std::nothrow_t);
|
|
|
|
fetch(const id &);
|
2018-02-09 20:22:46 +01:00
|
|
|
fetch();
|
|
|
|
|
2018-04-18 04:14:39 +02:00
|
|
|
static bool event_id(const idx &, std::nothrow_t, const id::closure &);
|
|
|
|
static void event_id(const idx &, const id::closure &);
|
|
|
|
|
|
|
|
static idx index(const id &, std::nothrow_t);
|
|
|
|
static idx index(const id &);
|
|
|
|
static idx index(const event &, std::nothrow_t);
|
|
|
|
static idx index(const event &);
|
|
|
|
|
|
|
|
friend bool seek(fetch &, const idx &, std::nothrow_t);
|
|
|
|
friend void seek(fetch &, const idx &);
|
|
|
|
friend bool seek(fetch &, const id &, std::nothrow_t);
|
|
|
|
friend void seek(fetch &, const id &);
|
2018-02-09 20:22:46 +01:00
|
|
|
};
|
2018-02-21 03:09:39 +01:00
|
|
|
|
2018-03-09 16:11:00 +01:00
|
|
|
/// Device to evaluate the conformity of an event object. This is an 'in vitro'
|
|
|
|
/// or 'pure' evaluation: it determines if the event is reasonably sane enough
|
|
|
|
/// to be evaluated further using only the information in the event itself. It
|
|
|
|
/// requires nothing external and conducts no IO etc..
|
|
|
|
///
|
|
|
|
/// This evaluation does not throw or stop when a check fails: instead it
|
|
|
|
/// collects the failures allowing the user to further determine how to proceed
|
|
|
|
/// at their own discretion.
|
|
|
|
///
|
2018-02-21 22:43:33 +01:00
|
|
|
struct ircd::m::event::conforms
|
2018-02-21 03:09:39 +01:00
|
|
|
{
|
|
|
|
enum code :uint;
|
|
|
|
|
|
|
|
uint64_t report {0};
|
|
|
|
|
|
|
|
bool clean() const;
|
|
|
|
operator bool() const;
|
|
|
|
bool operator!() const;
|
|
|
|
bool has(const uint &code) const;
|
|
|
|
bool has(const code &code) const;
|
|
|
|
string_view string(const mutable_buffer &out) const;
|
|
|
|
|
|
|
|
void set(const code &code);
|
|
|
|
void del(const code &code);
|
2018-02-28 05:55:59 +01:00
|
|
|
void operator|=(const code &) &;
|
2018-02-21 03:09:39 +01:00
|
|
|
|
2018-02-21 22:43:33 +01:00
|
|
|
conforms() = default;
|
|
|
|
conforms(const event &);
|
2018-02-21 23:24:34 +01:00
|
|
|
conforms(const event &, const uint64_t &skip);
|
2018-02-21 03:09:39 +01:00
|
|
|
|
2018-02-22 00:00:02 +01:00
|
|
|
static code reflect(const string_view &);
|
2018-02-21 03:09:39 +01:00
|
|
|
friend string_view reflect(const code &);
|
2018-02-21 22:43:33 +01:00
|
|
|
friend std::ostream &operator<<(std::ostream &, const conforms &);
|
2018-02-21 03:09:39 +01:00
|
|
|
};
|
|
|
|
|
2018-03-09 16:11:00 +01:00
|
|
|
/// Report codes corresponding to the checks conducted by event::conforms.
|
|
|
|
/// Developers: If you add a code here you must also add a string reflection
|
|
|
|
/// in the definition file.
|
|
|
|
///
|
2018-02-21 22:43:33 +01:00
|
|
|
enum ircd::m::event::conforms::code
|
2018-02-21 03:09:39 +01:00
|
|
|
:uint
|
|
|
|
{
|
2018-02-21 23:24:34 +01:00
|
|
|
INVALID_OR_MISSING_EVENT_ID, ///< event_id empty or failed mxid grammar check
|
|
|
|
INVALID_OR_MISSING_ROOM_ID, ///< room_id empty or failed mxid grammar check
|
|
|
|
INVALID_OR_MISSING_SENDER_ID, ///< sender empty or failed mxid grammar check
|
|
|
|
MISSING_TYPE, ///< type empty
|
|
|
|
MISSING_ORIGIN, ///< origin empty
|
|
|
|
INVALID_ORIGIN, ///< origin not a proper domain
|
|
|
|
INVALID_OR_MISSING_REDACTS_ID, ///< for m.room.redaction
|
|
|
|
MISSING_MEMBERSHIP, ///< for m.room.member, membership empty
|
|
|
|
INVALID_MEMBERSHIP, ///< for m.room.member (does not check actual states)
|
|
|
|
MISSING_CONTENT_MEMBERSHIP, ///< for m.room.member, content.membership
|
|
|
|
INVALID_CONTENT_MEMBERSHIP, ///< for m.room.member, content.membership
|
|
|
|
MISSING_PREV_EVENTS, ///< for non-m.room.create, empty prev_events
|
|
|
|
MISSING_PREV_STATE, ///< for state_key'ed, empty prev_state
|
|
|
|
DEPTH_NEGATIVE, ///< depth < 0
|
|
|
|
DEPTH_ZERO, ///< for non-m.room.create, depth=0
|
2018-03-09 16:11:00 +01:00
|
|
|
MISSING_SIGNATURES, ///< no signatures
|
|
|
|
MISSING_ORIGIN_SIGNATURE, ///< no signature for origin
|
|
|
|
MISMATCH_ORIGIN_SENDER, ///< sender mxid host not from origin
|
|
|
|
MISMATCH_ORIGIN_EVENT_ID, ///< event_id mxid host not from origin
|
2018-03-12 04:48:34 +01:00
|
|
|
SELF_REDACTS, ///< event redacts itself
|
|
|
|
SELF_PREV_EVENT, ///< event_id self-referenced in prev_events
|
|
|
|
SELF_PREV_STATE, ///< event_id self-referenced in prev_state
|
|
|
|
DUP_PREV_EVENT, ///< duplicate references in prev_events
|
|
|
|
DUP_PREV_STATE, ///< duplicate references in prev_state
|
2018-02-21 03:09:39 +01:00
|
|
|
|
|
|
|
_NUM_
|
|
|
|
};
|