refactor(tazjin/rlox): Add Interpreter trait for switching impls
Change-Id: Iae28d64ce879014c5e5d7e145c536c1f16ad307d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2418 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
This commit is contained in:
parent
d6d3c12efb
commit
1ff7a2686c
8 changed files with 125 additions and 102 deletions
|
|
@ -1,7 +1,8 @@
|
|||
use crate::treewalk::errors::{Error, ErrorKind};
|
||||
use crate::treewalk::parser::{self, Block, Expr, Literal, Statement};
|
||||
use crate::treewalk::resolver;
|
||||
use crate::treewalk::scanner::{self, TokenKind};
|
||||
use crate::treewalk::treewalk::resolver;
|
||||
use crate::Lox;
|
||||
use std::collections::HashMap;
|
||||
use std::rc::Rc;
|
||||
use std::sync::RwLock;
|
||||
|
|
@ -174,10 +175,13 @@ pub struct Interpreter {
|
|||
env: Rc<RwLock<Environment>>,
|
||||
}
|
||||
|
||||
impl Interpreter {
|
||||
impl Lox for Interpreter {
|
||||
type Value = Value;
|
||||
type Error = Error;
|
||||
|
||||
/// Create a new interpreter and configure the initial global
|
||||
/// variable set.
|
||||
pub fn create() -> Self {
|
||||
fn create() -> Self {
|
||||
let mut globals = HashMap::new();
|
||||
|
||||
globals.insert(
|
||||
|
|
@ -193,6 +197,27 @@ impl Interpreter {
|
|||
}
|
||||
}
|
||||
|
||||
fn interpret(&mut self, code: String) -> Result<Value, Vec<Error>> {
|
||||
let chars: Vec<char> = code.chars().collect();
|
||||
|
||||
let mut program = scanner::scan(&chars).and_then(|tokens| parser::parse(tokens))?;
|
||||
|
||||
let globals = self
|
||||
.env
|
||||
.read()
|
||||
.expect("static globals lock poisoned")
|
||||
.values
|
||||
.keys()
|
||||
.map(Clone::clone)
|
||||
.collect::<Vec<String>>();
|
||||
|
||||
resolver::resolve(&globals, &mut program).map_err(|e| vec![e])?;
|
||||
self.interpret_block_with_env(None, &program)
|
||||
.map_err(|e| vec![e])
|
||||
}
|
||||
}
|
||||
|
||||
impl Interpreter {
|
||||
// Environment modification helpers
|
||||
fn define_var(&mut self, name: &scanner::Token, value: Value) -> Result<(), Error> {
|
||||
self.env
|
||||
|
|
@ -221,21 +246,6 @@ impl Interpreter {
|
|||
.get(ident, var.name.line, depth)
|
||||
}
|
||||
|
||||
// Interpreter itself
|
||||
pub fn interpret(&mut self, mut program: Block) -> Result<Value, Error> {
|
||||
let globals = self
|
||||
.env
|
||||
.read()
|
||||
.expect("static globals lock poisoned")
|
||||
.values
|
||||
.keys()
|
||||
.map(Clone::clone)
|
||||
.collect::<Vec<String>>();
|
||||
|
||||
resolver::resolve(&globals, &mut program)?;
|
||||
self.interpret_block_with_env(None, &program)
|
||||
}
|
||||
|
||||
/// Interpret the block in the supplied environment. If no
|
||||
/// environment is supplied, a new one is created using the
|
||||
/// current one as its parent.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue