Compare commits
No commits in common. "73e33444c9e7a33e8db782549690ee232161be2e" and "2afe480be196b55b0bcea168ae498fe2a8933251" have entirely different histories.
73e33444c9
...
2afe480be1
@ -16,15 +16,9 @@ function min(x, y)
|
|||||||
return m
|
return m
|
||||||
end
|
end
|
||||||
|
|
||||||
function f(x)
|
|
||||||
return x + 5
|
|
||||||
end
|
|
||||||
|
|
||||||
global sometable = {}
|
global sometable = {}
|
||||||
sometable["hello"] = { add(10)(15) }
|
sometable["hello"] = {}
|
||||||
print(#sometable["hello"])
|
|
||||||
sometable["hello"].there = "my dude"
|
sometable["hello"].there = "my dude"
|
||||||
print(sometable.hello.there)
|
|
||||||
|
|
||||||
print(max(11.12345, 9))
|
print(max(11.12345, 9))
|
||||||
print(add(10)(15))
|
print(add(10)(15))
|
||||||
|
|||||||
84
src/ast.rs
84
src/ast.rs
@ -272,7 +272,7 @@ impl Parse for Statement {
|
|||||||
|
|
||||||
Ok(Self::Assignment(
|
Ok(Self::Assignment(
|
||||||
None,
|
None,
|
||||||
vec![(access.0, access.1.0)],
|
vec![(access.0.0, access.0.1)],
|
||||||
ExpressionList(vec![expression]),
|
ExpressionList(vec![expression]),
|
||||||
))
|
))
|
||||||
} else if let Ok(expr) = stream.parse() {
|
} else if let Ok(expr) = stream.parse() {
|
||||||
@ -290,10 +290,12 @@ pub enum AccessModifier {
|
|||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Clone)]
|
#[derive(Debug, Clone)]
|
||||||
pub struct IndexedAccess(Vec<Node<Expression>>);
|
pub struct IndexedAccess(Node<String>, Vec<Node<Expression>>);
|
||||||
|
|
||||||
impl Parse for IndexedAccess {
|
impl Parse for IndexedAccess {
|
||||||
fn parse(mut stream: TokenStream) -> Result<Self, TokenStreamError> {
|
fn parse(mut stream: TokenStream) -> Result<Self, TokenStreamError> {
|
||||||
|
let name = stream.parse()?;
|
||||||
|
|
||||||
let mut expressions = Vec::new();
|
let mut expressions = Vec::new();
|
||||||
while let Some(Token::Symbol('[') | Token::Symbol('.')) = stream.peek() {
|
while let Some(Token::Symbol('[') | Token::Symbol('.')) = stream.peek() {
|
||||||
match stream.next().unwrap() {
|
match stream.next().unwrap() {
|
||||||
@ -313,19 +315,18 @@ impl Parse for IndexedAccess {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
Ok(IndexedAccess(expressions))
|
Ok(IndexedAccess(name, expressions))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Clone)]
|
#[derive(Debug, Clone)]
|
||||||
pub struct IndexedAssignment(Node<String>, IndexedAccess);
|
pub struct IndexedAssignment(IndexedAccess);
|
||||||
|
|
||||||
impl Parse for IndexedAssignment {
|
impl Parse for IndexedAssignment {
|
||||||
fn parse(mut stream: TokenStream) -> Result<Self, TokenStreamError> {
|
fn parse(mut stream: TokenStream) -> Result<Self, TokenStreamError> {
|
||||||
let name = stream.parse()?;
|
|
||||||
let access = stream.parse()?;
|
let access = stream.parse()?;
|
||||||
stream.expect_symbol('=')?;
|
stream.expect_symbol('=')?;
|
||||||
Ok(IndexedAssignment(name, access))
|
Ok(IndexedAssignment(access))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -337,8 +338,7 @@ pub enum Expression {
|
|||||||
FunctionDefinition(Vec<Node<String>>, Block),
|
FunctionDefinition(Vec<Node<String>>, Block),
|
||||||
FunctionCall(Box<Node<Expression>>, Node<ExpressionList>),
|
FunctionCall(Box<Node<Expression>>, Node<ExpressionList>),
|
||||||
Literal(Literal),
|
Literal(Literal),
|
||||||
TableConstructor(Vec<(Option<Node<Expression>>, Node<Expression>)>),
|
TableConstructor,
|
||||||
IndexedAccess(Box<Node<Expression>>, Box<Node<Expression>>),
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Parse for Expression {
|
impl Parse for Expression {
|
||||||
@ -372,7 +372,6 @@ pub struct PrimaryExpression(Node<Expression>);
|
|||||||
#[derive(Debug, Clone, Copy)]
|
#[derive(Debug, Clone, Copy)]
|
||||||
pub enum UnaryOperator {
|
pub enum UnaryOperator {
|
||||||
Negation,
|
Negation,
|
||||||
Length,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Parse for UnaryOperator {
|
impl Parse for UnaryOperator {
|
||||||
@ -380,7 +379,6 @@ impl Parse for UnaryOperator {
|
|||||||
if let Some(token) = stream.next() {
|
if let Some(token) = stream.next() {
|
||||||
match token {
|
match token {
|
||||||
Token::Symbol('-') => Ok(UnaryOperator::Negation),
|
Token::Symbol('-') => Ok(UnaryOperator::Negation),
|
||||||
Token::Symbol('#') => Ok(UnaryOperator::Length),
|
|
||||||
_ => Err(stream.expected_err("unop")),
|
_ => Err(stream.expected_err("unop")),
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
@ -497,28 +495,15 @@ impl Parse for PrimaryExpression {
|
|||||||
Expression::Literal(Literal::Nil)
|
Expression::Literal(Literal::Nil)
|
||||||
} else if let Some(Token::Symbol('{')) = peeked {
|
} else if let Some(Token::Symbol('{')) = peeked {
|
||||||
stream.next();
|
stream.next();
|
||||||
|
|
||||||
let mut entries = Vec::new();
|
|
||||||
if let Ok(entry) = stream.parse::<TableConstructorEntry>() {
|
|
||||||
entries.push((entry.0, entry.1));
|
|
||||||
while let Some(Token::Symbol(',') | Token::Symbol(';')) = stream.peek() {
|
|
||||||
stream.next();
|
|
||||||
let entry = stream.parse::<TableConstructorEntry>()?;
|
|
||||||
entries.push((entry.0, entry.1))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
stream.expect_symbol('}')?;
|
stream.expect_symbol('}')?;
|
||||||
Expression::TableConstructor(entries)
|
Expression::TableConstructor
|
||||||
} else {
|
} else {
|
||||||
Expression::ValueRef(stream.parse()?)
|
Expression::ValueRef(stream.parse()?)
|
||||||
};
|
};
|
||||||
|
|
||||||
while let Some(Token::Symbol('(') | Token::Symbol('[') | Token::Symbol('.')) = stream.peek()
|
while let Some(Token::Symbol('(') | Token::Symbol('[')) = stream.peek() {
|
||||||
{
|
match stream.next().unwrap() {
|
||||||
match stream.peek().unwrap() {
|
|
||||||
Token::Symbol('(') => {
|
Token::Symbol('(') => {
|
||||||
stream.next();
|
|
||||||
let expression_list = stream.parse::<Node<ExpressionList>>()?;
|
let expression_list = stream.parse::<Node<ExpressionList>>()?;
|
||||||
stream.expect(Token::Symbol(')'))?;
|
stream.expect(Token::Symbol(')'))?;
|
||||||
expression = Expression::FunctionCall(
|
expression = Expression::FunctionCall(
|
||||||
@ -529,19 +514,7 @@ impl Parse for PrimaryExpression {
|
|||||||
expression_list,
|
expression_list,
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
Token::Symbol('[') | Token::Symbol('.') => {
|
Token::Symbol('[') => todo!(),
|
||||||
let meta = Metadata::produce(&mut stream, pre.clone());
|
|
||||||
let IndexedAccess(accesses) = stream.parse()?;
|
|
||||||
for access in accesses {
|
|
||||||
expression = Expression::IndexedAccess(
|
|
||||||
Box::new(Node {
|
|
||||||
kind: expression,
|
|
||||||
meta: meta.clone(),
|
|
||||||
}),
|
|
||||||
Box::new(access),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
_ => panic!(),
|
_ => panic!(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -600,39 +573,6 @@ fn parse_binop_rhs(
|
|||||||
Ok(lhs.0)
|
Ok(lhs.0)
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Clone)]
|
|
||||||
struct TableConstructorEntry(Option<Node<Expression>>, Node<Expression>);
|
|
||||||
|
|
||||||
impl Parse for TableConstructorEntry {
|
|
||||||
fn parse(mut stream: TokenStream) -> Result<Self, TokenStreamError> {
|
|
||||||
if let Some(Token::Symbol('[')) = stream.peek() {
|
|
||||||
stream.next();
|
|
||||||
let key = stream.parse()?;
|
|
||||||
stream.expect_symbol(']')?;
|
|
||||||
stream.expect_symbol('=')?;
|
|
||||||
let value = stream.parse()?;
|
|
||||||
Ok(TableConstructorEntry(Some(key), value))
|
|
||||||
} else {
|
|
||||||
if let (Some(Token::Word(_)), Some(Token::Symbol('='))) =
|
|
||||||
(stream.peek(), stream.peek2())
|
|
||||||
{
|
|
||||||
let key = stream.parse::<Node<String>>()?;
|
|
||||||
let key = key.with(Expression::Literal(Literal::String(key.kind.clone())));
|
|
||||||
if let Some(Token::Symbol('=')) = stream.peek() {
|
|
||||||
stream.next();
|
|
||||||
let value = stream.parse()?;
|
|
||||||
Ok(TableConstructorEntry(Some(key), value))
|
|
||||||
} else {
|
|
||||||
Ok(TableConstructorEntry(None, key))
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
let value = stream.parse()?;
|
|
||||||
Ok(TableConstructorEntry(None, value))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Debug, Clone)]
|
#[derive(Debug, Clone)]
|
||||||
pub enum Literal {
|
pub enum Literal {
|
||||||
Float(LuaFloat),
|
Float(LuaFloat),
|
||||||
|
|||||||
@ -2,7 +2,7 @@ use std::collections::{HashMap, HashSet};
|
|||||||
|
|
||||||
use crate::{
|
use crate::{
|
||||||
ast::{AccessModifier, BinaryOperator, Block, Expression, Literal, Statement, UnaryOperator},
|
ast::{AccessModifier, BinaryOperator, Block, Expression, Literal, Statement, UnaryOperator},
|
||||||
vm::{Constant, Instruction, LuaBool, LuaInteger},
|
vm::{Constant, Instruction, LuaBool},
|
||||||
};
|
};
|
||||||
|
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
@ -401,24 +401,8 @@ impl Expression {
|
|||||||
constants
|
constants
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
Expression::TableConstructor(entries) => {
|
Expression::TableConstructor => {
|
||||||
let mut constants = HashSet::new();
|
let constants = HashSet::new();
|
||||||
let mut counter = 1;
|
|
||||||
for (key, value) in entries {
|
|
||||||
if let Some(key) = key {
|
|
||||||
constants.extend(key.kind.find_constants(scope));
|
|
||||||
} else {
|
|
||||||
constants.insert(Constant::Integer(LuaInteger(counter)));
|
|
||||||
counter += 1;
|
|
||||||
}
|
|
||||||
constants.extend(value.kind.find_constants(scope));
|
|
||||||
}
|
|
||||||
constants
|
|
||||||
}
|
|
||||||
Expression::IndexedAccess(expr, index) => {
|
|
||||||
let mut constants = HashSet::new();
|
|
||||||
constants.extend(expr.kind.find_constants(scope));
|
|
||||||
constants.extend(index.kind.find_constants(scope));
|
|
||||||
constants
|
constants
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -525,7 +509,6 @@ impl Expression {
|
|||||||
for reg in ®isters {
|
for reg in ®isters {
|
||||||
match op {
|
match op {
|
||||||
UnaryOperator::Negation => instructions.push(Instruction::Unm(*reg, *reg)),
|
UnaryOperator::Negation => instructions.push(Instruction::Unm(*reg, *reg)),
|
||||||
UnaryOperator::Length => instructions.push(Instruction::Len(*reg, *reg)),
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
(instructions, registers)
|
(instructions, registers)
|
||||||
@ -641,67 +624,12 @@ impl Expression {
|
|||||||
));
|
));
|
||||||
(instructions, vec![reg])
|
(instructions, vec![reg])
|
||||||
}
|
}
|
||||||
Expression::TableConstructor(entries) => {
|
Expression::TableConstructor => {
|
||||||
let mut instructions = Vec::new();
|
let mut instructions = Vec::new();
|
||||||
let reg = scope.register_counter.next();
|
let reg = scope.register_counter.next();
|
||||||
instructions.push(Instruction::NewTable(reg));
|
instructions.push(Instruction::NewTable(reg));
|
||||||
|
|
||||||
let mut counter = 1;
|
|
||||||
for (key, value) in entries {
|
|
||||||
if let Some(key) = key {
|
|
||||||
let (instr, key_regs) = key.kind.compile(state, scope, Some(1));
|
|
||||||
instructions.extend(instr);
|
|
||||||
let (instr, value_regs) = value.kind.compile(state, scope, Some(1));
|
|
||||||
instructions.extend(instr);
|
|
||||||
instructions.push(Instruction::SetTable(
|
|
||||||
reg,
|
|
||||||
*key_regs.first().unwrap(),
|
|
||||||
*value_regs.first().unwrap(),
|
|
||||||
));
|
|
||||||
} else {
|
|
||||||
let (instr, value_regs) = value.kind.compile(
|
|
||||||
state,
|
|
||||||
scope,
|
|
||||||
if entries.len() == 1 { None } else { Some(1) },
|
|
||||||
);
|
|
||||||
instructions.extend(instr);
|
|
||||||
|
|
||||||
if value_regs.len() > 0 {
|
|
||||||
let key_reg = scope.register_counter.next();
|
|
||||||
instructions.push(Instruction::LoadK(
|
|
||||||
key_reg,
|
|
||||||
state.get_constant(&Constant::Integer(LuaInteger(counter))),
|
|
||||||
));
|
|
||||||
instructions.push(Instruction::SetTable(
|
|
||||||
reg,
|
|
||||||
key_reg,
|
|
||||||
*value_regs.first().unwrap(),
|
|
||||||
));
|
|
||||||
counter += 1;
|
|
||||||
} else {
|
|
||||||
instructions.push(Instruction::SetList(reg));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
(instructions, vec![reg])
|
(instructions, vec![reg])
|
||||||
}
|
}
|
||||||
Expression::IndexedAccess(expr, index) => {
|
|
||||||
let mut instructions = Vec::new();
|
|
||||||
let (instr, expr_regs) = expr.kind.compile(state, scope, Some(1));
|
|
||||||
instructions.extend(instr);
|
|
||||||
let (instr, index_regs) = index.kind.compile(state, scope, Some(1));
|
|
||||||
instructions.extend(instr);
|
|
||||||
|
|
||||||
let local = scope.register_counter.next();
|
|
||||||
instructions.push(Instruction::GetTable(
|
|
||||||
local,
|
|
||||||
*expr_regs.first().unwrap(),
|
|
||||||
*index_regs.first().unwrap(),
|
|
||||||
));
|
|
||||||
|
|
||||||
(instructions, vec![local])
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
97
src/vm.rs
97
src/vm.rs
@ -7,7 +7,7 @@ use crate::{
|
|||||||
ast::{BinaryOperator, UnaryOperator},
|
ast::{BinaryOperator, UnaryOperator},
|
||||||
};
|
};
|
||||||
|
|
||||||
#[derive(Clone, Hash, PartialEq, Eq, Copy, PartialOrd, Ord)]
|
#[derive(Clone, Hash, PartialEq, Eq, Copy)]
|
||||||
pub struct VMFloat(u64);
|
pub struct VMFloat(u64);
|
||||||
|
|
||||||
impl VMFloat {
|
impl VMFloat {
|
||||||
@ -37,7 +37,7 @@ impl Debug for LuaFloat {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Clone, Copy, Hash, PartialEq, Eq, PartialOrd, Ord)]
|
#[derive(Clone, Copy, Hash, PartialEq, Eq)]
|
||||||
pub struct LuaInteger(pub i64);
|
pub struct LuaInteger(pub i64);
|
||||||
|
|
||||||
impl Debug for LuaInteger {
|
impl Debug for LuaInteger {
|
||||||
@ -58,7 +58,7 @@ impl From<&LuaInteger> for LuaFloat {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Clone, Copy, Hash, PartialEq, Eq, PartialOrd, Ord)]
|
#[derive(Clone, Copy, Hash, PartialEq, Eq)]
|
||||||
pub struct LuaBool(pub bool);
|
pub struct LuaBool(pub bool);
|
||||||
|
|
||||||
impl Debug for LuaBool {
|
impl Debug for LuaBool {
|
||||||
@ -124,8 +124,6 @@ pub enum Instruction {
|
|||||||
SetUpVal(u16, u16),
|
SetUpVal(u16, u16),
|
||||||
/// R(A)[R(B)] := R(C)
|
/// R(A)[R(B)] := R(C)
|
||||||
SetTable(u16, u16, u16),
|
SetTable(u16, u16, u16),
|
||||||
/// R(A) := all values returned from previous function
|
|
||||||
SetList(u16),
|
|
||||||
/// R(A) := R(B)[R(C)]
|
/// R(A) := R(B)[R(C)]
|
||||||
GetTable(u16, u16, u16),
|
GetTable(u16, u16, u16),
|
||||||
/// R(A) := {}
|
/// R(A) := {}
|
||||||
@ -134,8 +132,6 @@ pub enum Instruction {
|
|||||||
Add(u16, u16, u16),
|
Add(u16, u16, u16),
|
||||||
/// R(A) := -R(B)
|
/// R(A) := -R(B)
|
||||||
Unm(u16, u16),
|
Unm(u16, u16),
|
||||||
/// R(A) := #R(B) (length operator)
|
|
||||||
Len(u16, u16),
|
|
||||||
/// R(A) := R(B) == R(C)
|
/// R(A) := R(B) == R(C)
|
||||||
Equal(u16, u16, u16),
|
Equal(u16, u16, u16),
|
||||||
/// R(A) := R(B) < R(C)
|
/// R(A) := R(B) < R(C)
|
||||||
@ -176,7 +172,6 @@ impl Debug for Instruction {
|
|||||||
Instruction::GetTable(arg0, arg1, arg2) => {
|
Instruction::GetTable(arg0, arg1, arg2) => {
|
||||||
write!(f, "GETTABLE {} {} {}", arg0, arg1, arg2)
|
write!(f, "GETTABLE {} {} {}", arg0, arg1, arg2)
|
||||||
}
|
}
|
||||||
Instruction::SetList(arg0) => write!(f, "SETLIST {}", arg0),
|
|
||||||
Instruction::NewTable(arg0) => write!(f, "NEWTABLE {}", arg0),
|
Instruction::NewTable(arg0) => write!(f, "NEWTABLE {}", arg0),
|
||||||
Instruction::Jmp(arg0) => write!(f, "JMP {}", arg0),
|
Instruction::Jmp(arg0) => write!(f, "JMP {}", arg0),
|
||||||
Instruction::Test(arg0, arg1, arg2) => write!(f, "TEST {} {} {}", arg0, arg1, arg2),
|
Instruction::Test(arg0, arg1, arg2) => write!(f, "TEST {} {} {}", arg0, arg1, arg2),
|
||||||
@ -192,7 +187,6 @@ impl Debug for Instruction {
|
|||||||
Instruction::Add(arg0, arg1, arg2) => write!(f, "ADD {} {} {}", arg0, arg1, arg2),
|
Instruction::Add(arg0, arg1, arg2) => write!(f, "ADD {} {} {}", arg0, arg1, arg2),
|
||||||
Instruction::LoadNil(arg0, arg1) => write!(f, "LOADNIL {} {}", arg0, arg1),
|
Instruction::LoadNil(arg0, arg1) => write!(f, "LOADNIL {} {}", arg0, arg1),
|
||||||
Instruction::Unm(arg0, arg1) => write!(f, "UNM {} {}", arg0, arg1),
|
Instruction::Unm(arg0, arg1) => write!(f, "UNM {} {}", arg0, arg1),
|
||||||
Instruction::Len(arg0, arg1) => write!(f, "LEN {} {}", arg0, arg1),
|
|
||||||
Instruction::Or(arg0, arg1, arg2) => write!(f, "OR {} {} {}", arg0, arg1, arg2),
|
Instruction::Or(arg0, arg1, arg2) => write!(f, "OR {} {} {}", arg0, arg1, arg2),
|
||||||
Instruction::And(arg0, arg1, arg2) => write!(f, "AND {} {} {}", arg0, arg1, arg2),
|
Instruction::And(arg0, arg1, arg2) => write!(f, "AND {} {} {}", arg0, arg1, arg2),
|
||||||
}
|
}
|
||||||
@ -215,8 +209,6 @@ pub enum RuntimeError {
|
|||||||
NotTable(Value),
|
NotTable(Value),
|
||||||
#[error("Value is not coercable to a float: {0:?}")]
|
#[error("Value is not coercable to a float: {0:?}")]
|
||||||
NotFloatable(Value),
|
NotFloatable(Value),
|
||||||
#[error("Value does not have a length: {0:?}")]
|
|
||||||
NotLengthable(Value),
|
|
||||||
#[error("{0}")]
|
#[error("{0}")]
|
||||||
Custom(String),
|
Custom(String),
|
||||||
}
|
}
|
||||||
@ -267,7 +259,7 @@ impl Value {
|
|||||||
pub fn as_indexable(self) -> Result<IndexableValue, RuntimeError> {
|
pub fn as_indexable(self) -> Result<IndexableValue, RuntimeError> {
|
||||||
match self {
|
match self {
|
||||||
Value::String(value) => Ok(IndexableValue::String(value)),
|
Value::String(value) => Ok(IndexableValue::String(value)),
|
||||||
Value::Float(value) => Ok(IndexableValue::Float(value)),
|
Value::Float(value) => Ok(IndexableValue::Number(value)),
|
||||||
Value::Integer(value) => Ok(IndexableValue::Integer(value)),
|
Value::Integer(value) => Ok(IndexableValue::Integer(value)),
|
||||||
Value::Boolean(value) => Ok(IndexableValue::Bool(value)),
|
Value::Boolean(value) => Ok(IndexableValue::Bool(value)),
|
||||||
Value::RustFunction(value) => {
|
Value::RustFunction(value) => {
|
||||||
@ -297,10 +289,10 @@ impl Value {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, PartialEq, Eq, Hash, Clone, Ord, PartialOrd)]
|
#[derive(Debug, PartialEq, Eq, Hash, Clone)]
|
||||||
pub enum IndexableValue {
|
pub enum IndexableValue {
|
||||||
String(String),
|
String(String),
|
||||||
Float(VMFloat),
|
Number(VMFloat),
|
||||||
Integer(LuaInteger),
|
Integer(LuaInteger),
|
||||||
Bool(LuaBool),
|
Bool(LuaBool),
|
||||||
RustFunction(String),
|
RustFunction(String),
|
||||||
@ -401,47 +393,6 @@ impl Value {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn len(&self) -> Result<Value, RuntimeError> {
|
|
||||||
match self {
|
|
||||||
Value::String(value) => Ok(Self::Integer(LuaInteger(value.len() as i64))),
|
|
||||||
Value::Table(table) => {
|
|
||||||
let table = table.borrow();
|
|
||||||
let mut int_indexes = table
|
|
||||||
.keys()
|
|
||||||
.filter(|v| match v {
|
|
||||||
IndexableValue::Integer(_) => true,
|
|
||||||
_ => false,
|
|
||||||
})
|
|
||||||
.map(|v| match v {
|
|
||||||
IndexableValue::Integer(int) => int.0,
|
|
||||||
_ => panic!(),
|
|
||||||
})
|
|
||||||
.collect::<Vec<_>>();
|
|
||||||
int_indexes.push(0);
|
|
||||||
int_indexes.sort();
|
|
||||||
|
|
||||||
for idx in int_indexes {
|
|
||||||
let idx_value = table.get(&IndexableValue::Integer(LuaInteger(idx)));
|
|
||||||
let idx_value_after = idx
|
|
||||||
.checked_add_unsigned(1)
|
|
||||||
.and_then(|i| table.get(&IndexableValue::Integer(LuaInteger(i))));
|
|
||||||
|
|
||||||
// Directly from https://www.lua.org/manual/5.5/manual.html#3.4.7
|
|
||||||
if (idx == 0 || idx_value.is_some()) && idx_value_after.is_none() {
|
|
||||||
return Ok(Self::Integer(LuaInteger(idx)));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
panic!()
|
|
||||||
}
|
|
||||||
Value::Float(_) => Err(RuntimeError::NotLengthable(self.clone())),
|
|
||||||
Value::Integer(_) => Err(RuntimeError::NotLengthable(self.clone())),
|
|
||||||
Value::Boolean(_) => Err(RuntimeError::NotLengthable(self.clone())),
|
|
||||||
Value::RustFunction(_) => Err(RuntimeError::NotLengthable(self.clone())),
|
|
||||||
Value::Function(_) => Err(RuntimeError::NotLengthable(self.clone())),
|
|
||||||
Value::Nil => Err(RuntimeError::NotLengthable(self.clone())),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn and(&self, other: &Value) -> Result<Value, RuntimeError> {
|
pub fn and(&self, other: &Value) -> Result<Value, RuntimeError> {
|
||||||
if self.is_truthy() {
|
if self.is_truthy() {
|
||||||
Ok(self.clone())
|
Ok(self.clone())
|
||||||
@ -817,30 +768,6 @@ impl ClosureRunner {
|
|||||||
|
|
||||||
self.set_stack(*res, value);
|
self.set_stack(*res, value);
|
||||||
}
|
}
|
||||||
Instruction::SetList(reg) => {
|
|
||||||
let table = self.stack.get(reg).cloned();
|
|
||||||
match table {
|
|
||||||
Some(value) => {
|
|
||||||
let mut table = value.borrow_mut();
|
|
||||||
if let Value::Table(table) = &mut *table {
|
|
||||||
let mut counter = 1;
|
|
||||||
for i in self.function_register..self.top {
|
|
||||||
let value = self.get_stack(i + 1);
|
|
||||||
match value {
|
|
||||||
StackValue::Value(value) => table.borrow_mut().insert(
|
|
||||||
IndexableValue::Integer(LuaInteger(counter)),
|
|
||||||
value.clone(),
|
|
||||||
),
|
|
||||||
};
|
|
||||||
counter += 1;
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
return Err(RuntimeError::NotTable(table.clone()));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
None => todo!(),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Instruction::NewTable(reg) => {
|
Instruction::NewTable(reg) => {
|
||||||
self.set_stack(
|
self.set_stack(
|
||||||
*reg,
|
*reg,
|
||||||
@ -1032,18 +959,6 @@ impl ClosureRunner {
|
|||||||
),
|
),
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
Instruction::Len(res, reg) => {
|
|
||||||
self.set_stack(
|
|
||||||
*res,
|
|
||||||
StackValue::Value(
|
|
||||||
self.stack
|
|
||||||
.get(reg)
|
|
||||||
.map(|v| v.borrow().clone())
|
|
||||||
.unwrap_or(Value::Nil)
|
|
||||||
.len()?,
|
|
||||||
),
|
|
||||||
);
|
|
||||||
}
|
|
||||||
Instruction::Or(res, lhs, rhs) => {
|
Instruction::Or(res, lhs, rhs) => {
|
||||||
let lhs = self
|
let lhs = self
|
||||||
.stack
|
.stack
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user