![Grisha Kruglov](/assets/img/avatar_default.png)
Sync needs to operate over a "mentat transaction", not just a "db transaction". This shuffle allows internal mentat crates to consume InProgress, which models the concept of a "mentat transaction".
179 lines
4.9 KiB
Rust
179 lines
4.9 KiB
Rust
// Copyright 2016 Mozilla
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License"); you may not use
|
|
// this file except in compliance with the License. You may obtain a copy of the
|
|
// License at http://www.apache.org/licenses/LICENSE-2.0
|
|
// Unless required by applicable law or agreed to in writing, software distributed
|
|
// under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
|
|
// CONDITIONS OF ANY KIND, either express or implied. See the License for the
|
|
// specific language governing permissions and limitations under the License.
|
|
|
|
#![allow(dead_code)]
|
|
|
|
use std; // To refer to std::result::Result.
|
|
|
|
use std::collections::BTreeSet;
|
|
|
|
use rusqlite;
|
|
|
|
use edn;
|
|
|
|
use core_traits::{
|
|
Attribute,
|
|
ValueType,
|
|
};
|
|
|
|
use db_traits::errors::{
|
|
DbError,
|
|
};
|
|
use query_algebrizer_traits::errors::{
|
|
AlgebrizerError,
|
|
};
|
|
use query_projector_traits::errors::{
|
|
ProjectorError,
|
|
};
|
|
use query_pull_traits::errors::{
|
|
PullError,
|
|
};
|
|
use sql_traits::errors::{
|
|
SQLError,
|
|
};
|
|
|
|
#[cfg(feature = "syncable")]
|
|
use tolstoy_traits::errors::{
|
|
TolstoyError,
|
|
};
|
|
|
|
pub type Result<T> = std::result::Result<T, MentatError>;
|
|
|
|
#[derive(Debug, Fail)]
|
|
pub enum MentatError {
|
|
#[fail(display = "bad uuid {}", _0)]
|
|
BadUuid(String),
|
|
|
|
#[fail(display = "path {} already exists", _0)]
|
|
PathAlreadyExists(String),
|
|
|
|
#[fail(display = "variables {:?} unbound at query execution time", _0)]
|
|
UnboundVariables(BTreeSet<String>),
|
|
|
|
#[fail(display = "invalid argument name: '{}'", _0)]
|
|
InvalidArgumentName(String),
|
|
|
|
#[fail(display = "unknown attribute: '{}'", _0)]
|
|
UnknownAttribute(String),
|
|
|
|
#[fail(display = "invalid vocabulary version")]
|
|
InvalidVocabularyVersion,
|
|
|
|
#[fail(display = "vocabulary {}/version {} already has attribute {}, and the requested definition differs", _0, _1, _2)]
|
|
ConflictingAttributeDefinitions(String, u32, String, Attribute, Attribute),
|
|
|
|
#[fail(display = "existing vocabulary {} too new: wanted version {}, got version {}", _0, _1, _2)]
|
|
ExistingVocabularyTooNew(String, u32, u32),
|
|
|
|
#[fail(display = "core schema: wanted version {}, got version {:?}", _0, _1)]
|
|
UnexpectedCoreSchema(u32, Option<u32>),
|
|
|
|
#[fail(display = "Lost the transact() race!")]
|
|
UnexpectedLostTransactRace,
|
|
|
|
#[fail(display = "missing core attribute {}", _0)]
|
|
MissingCoreVocabulary(edn::query::Keyword),
|
|
|
|
#[fail(display = "schema changed since query was prepared")]
|
|
PreparedQuerySchemaMismatch,
|
|
|
|
#[fail(display = "provided value of type {} doesn't match attribute value type {}", _0, _1)]
|
|
ValueTypeMismatch(ValueType, ValueType),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
IoError(#[cause] std::io::Error),
|
|
|
|
/// We're just not done yet. Message that the feature is recognized but not yet
|
|
/// implemented.
|
|
#[fail(display = "not yet implemented: {}", _0)]
|
|
NotYetImplemented(String),
|
|
|
|
// It would be better to capture the underlying `rusqlite::Error`, but that type doesn't
|
|
// implement many useful traits, including `Clone`, `Eq`, and `PartialEq`.
|
|
#[fail(display = "SQL error: {}", _0)]
|
|
RusqliteError(String),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
EdnParseError(#[cause] edn::ParseError),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
DbError(#[cause] DbError),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
AlgebrizerError(#[cause] AlgebrizerError),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
ProjectorError(#[cause] ProjectorError),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
PullError(#[cause] PullError),
|
|
|
|
#[fail(display = "{}", _0)]
|
|
SQLError(#[cause] SQLError),
|
|
|
|
#[cfg(feature = "syncable")]
|
|
#[fail(display = "{}", _0)]
|
|
TolstoyError(#[cause] TolstoyError),
|
|
}
|
|
|
|
impl From<std::io::Error> for MentatError {
|
|
fn from(error: std::io::Error) -> MentatError {
|
|
MentatError::IoError(error)
|
|
}
|
|
}
|
|
|
|
impl From<rusqlite::Error> for MentatError {
|
|
fn from(error: rusqlite::Error) -> MentatError {
|
|
MentatError::RusqliteError(error.to_string())
|
|
}
|
|
}
|
|
|
|
impl From<edn::ParseError> for MentatError {
|
|
fn from(error: edn::ParseError) -> MentatError {
|
|
MentatError::EdnParseError(error)
|
|
}
|
|
}
|
|
|
|
impl From<DbError> for MentatError {
|
|
fn from(error: DbError) -> MentatError {
|
|
MentatError::DbError(error)
|
|
}
|
|
}
|
|
|
|
impl From<AlgebrizerError> for MentatError {
|
|
fn from(error: AlgebrizerError) -> MentatError {
|
|
MentatError::AlgebrizerError(error)
|
|
}
|
|
}
|
|
|
|
impl From<ProjectorError> for MentatError {
|
|
fn from(error: ProjectorError) -> MentatError {
|
|
MentatError::ProjectorError(error)
|
|
}
|
|
}
|
|
|
|
impl From<PullError> for MentatError {
|
|
fn from(error: PullError) -> MentatError {
|
|
MentatError::PullError(error)
|
|
}
|
|
}
|
|
|
|
impl From<SQLError> for MentatError {
|
|
fn from(error: SQLError) -> MentatError {
|
|
MentatError::SQLError(error)
|
|
}
|
|
}
|
|
|
|
#[cfg(feature = "syncable")]
|
|
impl From<TolstoyError> for MentatError {
|
|
fn from(error: TolstoyError) -> MentatError {
|
|
MentatError::TolstoyError(error)
|
|
}
|
|
}
|