trashcan 0.1.0

a simple language which compiles to Visual Basic 6 / VBA
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

//! trashcan's code analysis pipeline, including symbol table and type
//!   checking as well as various pre-codegen rewrite rules

use std::fmt;

use parser::SrcLoc;

#[derive(Clone, Debug)]
pub struct AnalysisError {
    kind: AnalysisErrorKind,
    regarding: Option<String>,
    loc: SrcLoc,
}

impl fmt::Display for AnalysisError {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        match self.kind {
            AnalysisErrorKind::DuplicateSymbol =>
                write!(f, "duplicate symbol")?,
            AnalysisErrorKind::NotDefined =>
                write!(f, "undefined item")?,
            AnalysisErrorKind::SymbolAccess =>
                write!(f, "access error")?,
            AnalysisErrorKind::TypeError =>
                write!(f, "type error")?,
            AnalysisErrorKind::InvalidStmt =>
                write!(f, "invalid statement")?,
            AnalysisErrorKind::InvalidExpr =>
                write!(f, "invalid expression")?,
            AnalysisErrorKind::FnCallError =>
                write!(f, "invalid fn call")?,
            AnalysisErrorKind::PrivateInPublic =>
                write!(f, "private item in public interface")?,
            AnalysisErrorKind::RecursiveType =>
                write!(f, "invalid recursive type")?,
        };

        if let Some(ref msg) = self.regarding {
            write!(f, ": {}", msg)?;
        }

        write!(f, " @ {}", self.loc)
    }
}

#[derive(Copy, Clone, Debug)]
pub enum AnalysisErrorKind {
    DuplicateSymbol,
    NotDefined,
    SymbolAccess,
    TypeError,
    InvalidStmt,
    InvalidExpr,
    FnCallError,
    PrivateInPublic,
    RecursiveType,
}

pub type AnalysisResult<T> = Result<T, AnalysisError>;
pub type AnalysisResultMany<T> = Result<T, Vec<AnalysisError>>;

pub mod symtab;
pub use self::symtab::*;
pub mod typecheck;
pub use self::typecheck::*;