piske 0.1.2

The piske programming langauge for generative art
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

use sindra::log::LogPriority;

use visitor::state::State;
use visitor;

/// Abstract syntax tree visitor pipeline
pub fn pipeline<T>(ast: &T, mut state: &mut State) -> Result<(), String>
        where T: visitor::symbol::SymbolDefineVisitor +
                 visitor::type_visitor::TypeComputationVisitor {

    // define symbols
    match visitor::symbol::SymbolDefineVisitor::visit(ast, &mut state) {
        Ok(_) => {
            if state.logger.flush() == Some(LogPriority::Error) {
                return Err(format!("stopping due to previous error(s)"));
            }
        },
        Err(e) => {
            return Err(format!("fatal error during symbol definition: {}", e));
        }
    }

    // compute, check types
    match visitor::type_visitor::TypeComputationVisitor::visit(ast, &mut state) {
        Ok(_) => {
            if state.logger.flush() == Some(LogPriority::Error) {
                return Err(format!("stopping due to previous error(s)"));
            }
        },
        Err(e) => {
            return Err(format!("fatal error during type checking: {}", e));
        }
    }

    Ok(())
}