Program.h

Go to the documentation of this file.

#pragma once 

#include "Instruction.h"
#include "Stack.h"

template<typename VirtualMachineState_t> class Program;

template<typename VirtualMachineState_t>
class ProgramLoader {
public:

    // we have a variable that is set to true each time we call push_program
    // this is useful for tracking recursion etc., if we want to make sure
    // that a lexicon calls every factor or something
    bool was_called; 

    // This is a bit of hack -- we need a line here for each kind of key we might want to a lexicon. 
    // For reasons I don't fully understand, the linker will not find this if templated. 
    
    virtual void push_program(Program<VirtualMachineState_t>& s)                      { throw NotImplementedError(); }
    virtual void push_program(Program<VirtualMachineState_t>& s, const short a)       { throw NotImplementedError(); }
    virtual void push_program(Program<VirtualMachineState_t>& s, const int a)         { throw NotImplementedError(); }
    virtual void push_program(Program<VirtualMachineState_t>& s, const std::string k) { throw NotImplementedError(); }
    
};


template<typename VirtualMachineState_t>
class Program : public Stack<Instruction> {
public:

    ProgramLoader<VirtualMachineState_t>* loader; 

    Program(ProgramLoader<VirtualMachineState_t>* pl=nullptr) : loader(pl) {
        // This is chosen with a little experimentation, designed to prevent us from having to reallocate too often
        // when we linearize, and also save us from having to compute program_size() when we linearize (since thats slow)
        this->reserve(64);
    }   
};