interp.hpp

Go to the documentation of this file.

// (C) 2016 Leonardo Silvestri
//
// This file is part of ztsdb.
//
// ztsdb is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// ztsdb is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with ztsdb.  If not, see <http://www.gnu.org/licenses/>.
 
 
 
 
#ifndef INTERP_HPP
#define INTERP_HPP
 
#include <string>
#include <stdexcept>
#include "ast.hpp"
#include "valuevar.hpp"
#include "env.hpp"
 
 
namespace zcore {
  struct InterpCtx;
}
 
 
namespace interp {
 
  struct Kont { 
 
    enum AssignType : uint64_t { 
      NORMAL   = 0x00000000,    
      GLOBAL   = 0x00000001,    
      ELLIPSIS = 0x00000010,    
      WHILE    = 0x00000100,    
      COND     = 0x00001000,    
      ARG      = 0x00010000,    
      SILENT   = 0x00100000,    
      END      = 0x01000000,    
      REF      = 0x10000000     
    };
 
    Kont() = delete;
 
    const E* var;               
    const E* control;           
    shared_ptr<BaseFrame> r;    
    shared_ptr<Kont> next;      
    uint64_t atype;             
 
    inline operator string() const { 
      stringstream ss;
 
      // Print out all the assignment flags.
      auto atype_to_string = [](uint64_t a) {
        string s;
        if (a == AssignType::NORMAL) {
          s = "N";
        }
        else {
          if (a & GLOBAL)   s += "G,";
          if (a & ELLIPSIS) s += "E,";
          if (a & WHILE)    s += "W,";
          if (a & COND)     s += "C,";
          if (a & ARG)      s += "A,";
          if (a & SILENT)   s += "S,";
          if (a & END)      s += "END,";
          if (a & REF)      s += "REF,";
          if (s.length()) {
            s = s.substr(0, s.length() - 1);
          }
        }
        return s; };
 
      ss << (next && next->var ? to_string(*next->var) : "") << "="
         << (control ? to_string(*control) : "nullptr")
         << " ["
         << " a:" << atype_to_string(atype)
         << " r:" << r << dec 
         << "]"
         << " -> " << (next ? string(*next) : "nullptr"); 
       return ss.str();
    }
  };
 
  shared_ptr<Kont> step(shared_ptr<Kont>& k, 
                        vector<shpfrm>& frameStack, 
                        zcore::InterpCtx& ic);
 
 
  shared_ptr<Kont> buildElChain(const ElNode* eln, 
                                unsigned n, 
                                shared_ptr<BaseFrame> r, 
                                shared_ptr<Kont>& k);
 
} // end namespace interp
 
 
#endif