forked from Orchid/orchid
Changes in api and upwards
- Removed out-of-stack error reporting - Revised module system to match previous Orchid system - Errors are now in a Vec everywhere - Implemented atoms and lexer - Started implementation of line parser - Tree is now ephemeral to avoid copying Atoms held inside - Moved numbers into std and the shared parser into base - Started implementation of Commands
This commit is contained in:
@@ -2,93 +2,87 @@ use std::borrow::Cow;
|
||||
use std::num::NonZeroU64;
|
||||
use std::sync::Arc;
|
||||
|
||||
use never::Never;
|
||||
use orchid_api::interner::TStr;
|
||||
use orchid_api_derive::Coding;
|
||||
use orchid_api_traits::{Encode, Request};
|
||||
use orchid_base::id_store::IdStore;
|
||||
use orchid_base::interner::{deintern, Tok};
|
||||
use orchid_base::location::Pos;
|
||||
use orchid_extension::atom::{Atomic, TypAtom};
|
||||
use orchid_extension::atom::{Atomic, ReqPck, TypAtom};
|
||||
use orchid_extension::atom_owned::{OwnedAtom, OwnedVariant};
|
||||
use orchid_extension::conv::TryFromExpr;
|
||||
use orchid_extension::error::{ProjectError, ProjectResult};
|
||||
use orchid_extension::expr::{ExprHandle, OwnedExpr};
|
||||
use orchid_extension::system::{downcast_atom, SysCtx};
|
||||
use orchid_extension::expr::ExprHandle;
|
||||
use orchid_extension::system::SysCtx;
|
||||
|
||||
pub static STR_REPO: IdStore<Arc<String>> = IdStore::new();
|
||||
|
||||
#[derive(Clone, Coding)]
|
||||
pub(crate) enum StringVal {
|
||||
Val(NonZeroU64),
|
||||
Int(TStr),
|
||||
}
|
||||
#[derive(Copy, Clone, Coding)]
|
||||
pub(crate) struct StringGetVal;
|
||||
pub struct StringGetVal;
|
||||
impl Request for StringGetVal {
|
||||
type Response = String;
|
||||
}
|
||||
|
||||
pub(crate) enum StringAtom {
|
||||
Val(NonZeroU64),
|
||||
Int(Tok<String>),
|
||||
}
|
||||
impl Atomic for StringAtom {
|
||||
pub struct StrAtom(NonZeroU64);
|
||||
impl Atomic for StrAtom {
|
||||
type Variant = OwnedVariant;
|
||||
type Data = StringVal;
|
||||
type Data = NonZeroU64;
|
||||
type Req = StringGetVal;
|
||||
}
|
||||
impl StringAtom {
|
||||
pub(crate) fn new_int(tok: Tok<String>) -> Self { Self::Int(tok) }
|
||||
pub(crate) fn new(str: Arc<String>) -> Self { Self::Val(STR_REPO.add(str).id()) }
|
||||
impl StrAtom {
|
||||
pub fn new(str: Arc<String>) -> Self { Self(STR_REPO.add(str).id()) }
|
||||
}
|
||||
impl Clone for StringAtom {
|
||||
fn clone(&self) -> Self {
|
||||
match &self {
|
||||
Self::Int(t) => Self::Int(t.clone()),
|
||||
Self::Val(v) => Self::Val(STR_REPO.add(STR_REPO.get(*v).unwrap().clone()).id()),
|
||||
}
|
||||
}
|
||||
impl Clone for StrAtom {
|
||||
fn clone(&self) -> Self { Self(STR_REPO.add(STR_REPO.get(self.0).unwrap().clone()).id()) }
|
||||
}
|
||||
impl StringAtom {
|
||||
fn try_local_value(&self) -> Option<Arc<String>> {
|
||||
match self {
|
||||
Self::Int(tok) => Some(tok.arc()),
|
||||
Self::Val(id) => STR_REPO.get(*id).map(|r| r.clone()),
|
||||
}
|
||||
}
|
||||
fn get_value(&self) -> Arc<String> { self.try_local_value().expect("no string found for ID") }
|
||||
impl StrAtom {
|
||||
fn try_local_value(&self) -> Option<Arc<String>> { STR_REPO.get(self.0).map(|r| r.clone()) }
|
||||
fn local_value(&self) -> Arc<String> { self.try_local_value().expect("no string found for ID") }
|
||||
}
|
||||
impl OwnedAtom for StringAtom {
|
||||
fn val(&self) -> Cow<'_, Self::Data> {
|
||||
Cow::Owned(match self {
|
||||
Self::Int(tok) => StringVal::Int(tok.marker()),
|
||||
Self::Val(id) => StringVal::Val(*id),
|
||||
})
|
||||
}
|
||||
fn same(&self, _ctx: SysCtx, other: &Self) -> bool { self.get_value() == other.get_value() }
|
||||
fn handle_req(
|
||||
&self,
|
||||
_ctx: SysCtx,
|
||||
StringGetVal: Self::Req,
|
||||
rep: &mut (impl std::io::Write + ?Sized),
|
||||
) {
|
||||
self.get_value().encode(rep)
|
||||
impl OwnedAtom for StrAtom {
|
||||
fn val(&self) -> Cow<'_, Self::Data> { Cow::Owned(self.0) }
|
||||
fn same(&self, _ctx: SysCtx, other: &Self) -> bool { self.local_value() == other.local_value() }
|
||||
fn handle_req(&self, _ctx: SysCtx, pck: impl ReqPck<Self>) {
|
||||
self.local_value().encode(pck.unpack().1)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, Clone)]
|
||||
pub struct IntStrAtom(Tok<String>);
|
||||
impl Atomic for IntStrAtom {
|
||||
type Variant = OwnedVariant;
|
||||
type Data = TStr;
|
||||
type Req = Never;
|
||||
}
|
||||
impl From<Tok<String>> for IntStrAtom {
|
||||
fn from(value: Tok<String>) -> Self { Self(value) }
|
||||
}
|
||||
impl OwnedAtom for IntStrAtom {
|
||||
fn val(&self) -> Cow<'_, Self::Data> { Cow::Owned(self.0.marker()) }
|
||||
fn handle_req(&self, _ctx: SysCtx, pck: impl ReqPck<Self>) { pck.never() }
|
||||
}
|
||||
|
||||
#[derive(Clone)]
|
||||
pub struct OrcString(TypAtom<StringAtom>);
|
||||
pub enum OrcString {
|
||||
Val(TypAtom<StrAtom>),
|
||||
Int(Tok<String>),
|
||||
}
|
||||
impl OrcString {
|
||||
pub fn get_string(&self) -> Arc<String> {
|
||||
match &self.0.value {
|
||||
StringVal::Int(tok) => deintern(*tok).arc(),
|
||||
StringVal::Val(id) => match STR_REPO.get(*id) {
|
||||
match &self {
|
||||
Self::Int(tok) => tok.arc(),
|
||||
Self::Val(atom) => match STR_REPO.get(**atom) {
|
||||
Some(rec) => rec.clone(),
|
||||
None => Arc::new(self.0.request(StringGetVal)),
|
||||
None => Arc::new(atom.request(StringGetVal)),
|
||||
},
|
||||
}
|
||||
}
|
||||
}
|
||||
impl From<Tok<String>> for OrcString {
|
||||
fn from(value: Tok<String>) -> Self { OrcString::Int(value) }
|
||||
}
|
||||
|
||||
pub struct NotString(Pos);
|
||||
impl ProjectError for NotString {
|
||||
const DESCRIPTION: &'static str = "A string was expected";
|
||||
@@ -96,9 +90,12 @@ impl ProjectError for NotString {
|
||||
}
|
||||
impl TryFromExpr for OrcString {
|
||||
fn try_from_expr(expr: ExprHandle) -> ProjectResult<OrcString> {
|
||||
(OwnedExpr::new(expr).foreign_atom().map_err(|expr| expr.pos.clone()))
|
||||
.and_then(|fatom| downcast_atom(fatom).map_err(|f| f.pos))
|
||||
.map_err(|p| NotString(p).pack())
|
||||
.map(OrcString)
|
||||
if let Ok(v) = TypAtom::<StrAtom>::downcast(expr.clone()) {
|
||||
return Ok(OrcString::Val(v));
|
||||
}
|
||||
match TypAtom::<IntStrAtom>::downcast(expr) {
|
||||
Ok(t) => Ok(OrcString::Int(deintern(*t))),
|
||||
Err(e) => Err(NotString(e.0).pack()),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user