1
0
dust/dust-lang/src/chunk.rs

264 lines
7.6 KiB
Rust
Raw Normal View History

2024-09-10 02:57:14 +00:00
use std::fmt::{self, Debug, Display, Formatter};
2024-09-07 10:38:12 +00:00
use serde::{Deserialize, Serialize};
use crate::{
identifier_stack::Local, Identifier, IdentifierStack, Instruction, Span, Value, ValueLocation,
};
2024-09-07 10:38:12 +00:00
2024-09-07 22:48:01 +00:00
#[derive(Clone, Eq, PartialEq, Serialize, Deserialize)]
2024-09-07 10:38:12 +00:00
pub struct Chunk {
code: Vec<(u8, Span)>,
constants: Vec<Value>,
2024-09-09 23:23:49 +00:00
identifiers: IdentifierStack,
2024-09-07 10:38:12 +00:00
}
impl Chunk {
pub fn new() -> Self {
Self {
code: Vec::new(),
constants: Vec::new(),
2024-09-09 23:23:49 +00:00
identifiers: IdentifierStack::new(),
2024-09-07 10:38:12 +00:00
}
}
2024-09-07 16:15:47 +00:00
pub fn with_data(
code: Vec<(u8, Span)>,
constants: Vec<Value>,
2024-09-09 23:23:49 +00:00
identifiers: Vec<Local>,
2024-09-07 16:15:47 +00:00
) -> Self {
Self {
code,
constants,
2024-09-09 23:23:49 +00:00
identifiers: IdentifierStack::with_data(identifiers, 0),
2024-09-07 16:15:47 +00:00
}
2024-09-07 10:38:12 +00:00
}
pub fn len(&self) -> usize {
self.code.len()
}
pub fn is_empty(&self) -> bool {
self.code.is_empty()
}
2024-09-10 02:57:14 +00:00
pub fn get_code(&self, offset: usize) -> Result<&(u8, Span), ChunkError> {
2024-09-07 16:15:47 +00:00
self.code
.get(offset)
2024-09-10 05:04:30 +00:00
.ok_or(ChunkError::CodeIndexOfBounds(offset))
2024-09-07 10:38:12 +00:00
}
2024-09-10 02:57:14 +00:00
pub fn push_code(&mut self, instruction: u8, position: Span) {
2024-09-07 10:38:12 +00:00
self.code.push((instruction, position));
}
2024-09-09 23:23:49 +00:00
pub fn get_constant(&self, index: u8) -> Result<&Value, ChunkError> {
2024-09-07 10:38:12 +00:00
self.constants
2024-09-09 23:23:49 +00:00
.get(index as usize)
2024-09-07 16:15:47 +00:00
.ok_or(ChunkError::ConstantIndexOutOfBounds(index))
2024-09-07 10:38:12 +00:00
}
pub fn remove_constant(&mut self, index: u8) -> Result<Value, ChunkError> {
let index = index as usize;
if index >= self.constants.len() {
Err(ChunkError::ConstantIndexOutOfBounds(index as u8))
} else {
Ok(self.constants.remove(index))
}
}
2024-09-07 10:38:12 +00:00
pub fn push_constant(&mut self, value: Value) -> Result<u8, ChunkError> {
let starting_length = self.constants.len();
if starting_length + 1 > (u8::MAX as usize) {
2024-09-07 16:15:47 +00:00
Err(ChunkError::ConstantOverflow)
2024-09-07 10:38:12 +00:00
} else {
self.constants.push(value);
Ok(starting_length as u8)
}
}
2024-09-09 23:23:49 +00:00
pub fn contains_identifier(&self, identifier: &Identifier) -> bool {
self.identifiers.contains(identifier)
}
pub fn get_local(&self, index: u8) -> Result<&Local, ChunkError> {
self.identifiers
.get(index as usize)
.ok_or(ChunkError::IdentifierIndexOutOfBounds(index))
}
2024-09-09 23:23:49 +00:00
pub fn get_identifier(&self, index: u8) -> Result<&Identifier, ChunkError> {
2024-09-07 16:15:47 +00:00
self.identifiers
2024-09-09 23:23:49 +00:00
.get(index as usize)
.map(|local| &local.identifier)
2024-09-07 16:15:47 +00:00
.ok_or(ChunkError::IdentifierIndexOutOfBounds(index))
}
2024-09-09 23:23:49 +00:00
pub fn get_identifier_index(&self, identifier: &Identifier) -> Result<u8, ChunkError> {
self.identifiers
.get_index(identifier)
.ok_or(ChunkError::IdentifierNotFound(identifier.clone()))
}
pub fn push_constant_identifier(&mut self, identifier: Identifier) -> Result<u8, ChunkError> {
let starting_length = self.identifiers.local_count();
if starting_length + 1 > (u8::MAX as usize) {
Err(ChunkError::IdentifierOverflow)
} else {
self.identifiers
.declare(identifier, ValueLocation::ConstantStack);
Ok(starting_length as u8)
}
}
pub fn push_runtime_identifier(&mut self, identifier: Identifier) -> Result<u8, ChunkError> {
2024-09-09 23:23:49 +00:00
let starting_length = self.identifiers.local_count();
2024-09-07 16:15:47 +00:00
if starting_length + 1 > (u8::MAX as usize) {
Err(ChunkError::IdentifierOverflow)
} else {
self.identifiers
.declare(identifier, ValueLocation::RuntimeStack);
2024-09-07 16:15:47 +00:00
Ok(starting_length as u8)
}
}
2024-09-07 10:38:12 +00:00
pub fn clear(&mut self) {
self.code.clear();
self.constants.clear();
2024-09-09 23:23:49 +00:00
self.identifiers.clear();
2024-09-07 10:38:12 +00:00
}
pub fn disassemble(&self, name: &str) -> String {
let mut output = String::new();
output.push_str("# ");
2024-09-07 10:38:12 +00:00
output.push_str(name);
output.push_str("\n\n## Code\n");
output.push_str("------ ------------ ------------\n");
output.push_str("OFFSET POSITION INSTRUCTION\n");
output.push_str("------ ------------ ------------\n");
2024-09-07 10:38:12 +00:00
2024-09-07 21:16:14 +00:00
let mut previous = None;
2024-09-07 10:38:12 +00:00
for (offset, (byte, position)) in self.code.iter().enumerate() {
2024-09-07 21:16:14 +00:00
if let Some(
2024-09-10 03:24:22 +00:00
Instruction::Constant
| Instruction::DefineVariableConstant
2024-09-10 03:24:22 +00:00
| Instruction::GetVariable
| Instruction::SetVariable,
2024-09-07 21:16:14 +00:00
) = previous
{
previous = None;
2024-09-07 10:38:12 +00:00
2024-09-07 21:16:14 +00:00
continue;
2024-09-07 10:38:12 +00:00
}
2024-09-07 21:16:14 +00:00
let instruction = Instruction::from_byte(*byte).unwrap();
let display = format!(
"{offset:4} {:12} {}\n",
position.to_string(),
instruction.disassemble(self, offset)
);
2024-09-10 00:55:00 +00:00
2024-09-07 21:16:14 +00:00
previous = Some(instruction);
output.push_str(&display);
2024-09-10 00:55:00 +00:00
}
output.push_str("\n## Constants\n");
output.push_str("----- ---- -----\n");
2024-09-10 00:55:00 +00:00
output.push_str("INDEX KIND VALUE\n");
output.push_str("----- ---- -----\n");
2024-09-10 00:55:00 +00:00
for (index, value) in self.constants.iter().enumerate() {
let value_kind_display = match value {
Value::Raw(_) => "RAW ",
Value::Reference(_) => "REF ",
Value::Mutable(_) => "MUT ",
};
let display = format!("{index:3} {value_kind_display} {value}\n");
2024-09-10 00:55:00 +00:00
output.push_str(&display);
}
output.push_str("\n## Identifiers\n");
output.push_str("----- ---------- -------- -----\n");
output.push_str("INDEX IDENTIFIER LOCATION DEPTH\n");
output.push_str("----- ---------- -------- -----\n");
for (
index,
Local {
identifier,
depth,
value_location,
},
) in self.identifiers.iter().enumerate()
{
let display = format!(
"{index:3} {:10} {value_location} {depth}\n",
identifier.as_str()
);
2024-09-07 21:16:14 +00:00
output.push_str(&display);
2024-09-07 10:38:12 +00:00
}
output
}
}
impl Default for Chunk {
fn default() -> Self {
Self::new()
}
}
impl Display for Chunk {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
2024-09-10 05:04:30 +00:00
write!(f, "{}", self.disassemble("Chunk Disassembly"))
2024-09-07 10:38:12 +00:00
}
}
2024-09-07 22:48:01 +00:00
impl Debug for Chunk {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
2024-09-10 05:04:30 +00:00
write!(f, "{}", self.disassemble("Chunk Disassembly"))
2024-09-07 22:48:01 +00:00
}
}
2024-09-09 23:23:49 +00:00
#[derive(Debug, Clone, PartialEq)]
2024-09-07 10:38:12 +00:00
pub enum ChunkError {
2024-09-10 05:04:30 +00:00
CodeIndexOfBounds(usize),
2024-09-07 16:15:47 +00:00
ConstantOverflow,
2024-09-09 23:23:49 +00:00
ConstantIndexOutOfBounds(u8),
IdentifierIndexOutOfBounds(u8),
2024-09-07 16:15:47 +00:00
IdentifierOverflow,
2024-09-09 23:23:49 +00:00
IdentifierNotFound(Identifier),
2024-09-07 10:38:12 +00:00
}
2024-09-10 05:04:30 +00:00
impl Display for ChunkError {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
2024-09-10 05:04:30 +00:00
match self {
ChunkError::CodeIndexOfBounds(offset) => {
write!(f, "Code index out of bounds: {}", offset)
2024-09-10 05:04:30 +00:00
}
ChunkError::ConstantOverflow => write!(f, "Constant overflow"),
ChunkError::ConstantIndexOutOfBounds(index) => {
write!(f, "Constant index out of bounds: {}", index)
2024-09-10 05:04:30 +00:00
}
ChunkError::IdentifierIndexOutOfBounds(index) => {
write!(f, "Identifier index out of bounds: {}", index)
2024-09-10 05:04:30 +00:00
}
ChunkError::IdentifierOverflow => write!(f, "Identifier overflow"),
ChunkError::IdentifierNotFound(identifier) => {
write!(f, "Identifier not found: {}", identifier)
2024-09-10 05:04:30 +00:00
}
}
}
}