interpreter.h

Go to the documentation of this file.

 
#pragma once
 
#include <iostream>
#include <memory>
 
#include "dbc.h"
#include "helper.h"
#include "error.h"
 
class LineSource;
class Context;
 
class Interpreter : protected DbC {
  static Interpreter * instance_;  
  Context * curctx_{};             
  LineSource * linesource_{};      
  struct PimplTime;
  PimplTime * pimpltime_;          
  size_t odo_changes_ = 0;         
  bool verbose_ = false;                    
  bool odo_ = false;                        
  std::ostream cout_{ std::cout.rdbuf() };  
  size_t odo_iterations_ = 10;              
  size_t maxopeelevel_ = 2;                 
  Interpreter();
 
 
  virtual ~Interpreter();
 
 
  void help();
 
 
  static std::string strEscape( const std::string & p_s );
 
 
protected:
#ifndef DBC_IS_VOID
  bool invariant() const noexcept override {    /* LCOV_EXCL_START */
    return pimpltime_ != nullptr;
  }                                             /* LCOV_EXCL_STOP */
#endif
 
 
public:
  Interpreter( const Interpreter& ) = delete;
 
 
  Interpreter( Interpreter&& ) = delete;
 
 
  Interpreter& operator=( const Interpreter& ) = delete;
 
 
  Interpreter& operator=( Interpreter&& ) = delete;
 
 
public: /* accessor */
  static auto get() {
    if( !instance_ ) {
      instance_ = new (std::nothrow) Interpreter;
      if( instance_ == nullptr )
        panicExit();                                              /* LCOV_EXCL_LINE */
    }
 
    DBC_POST( instance_ != nullptr );
    return instance_;
  }
 
 
  static Context * getContext();
 
 
  bool getVerbose() const { return verbose_; }
 
 
  void setContext( Context * p_c ) { curctx_ = p_c; }
 
 
  __int128 getClockStart() const;
 
 
  void setOdo( bool p_odo ) { odo_ = p_odo; }
 
 
  bool getOdo() const { return odo_; }
 
 
  size_t getOdoIterations() const { return odo_iterations_; }
 
 
  size_t getMaxopeelevel() const { return maxopeelevel_; }
 
 
  std::ostream & getCout() { return cout_; }
 
 
public: /* other */
  void leonline( std::string & p_line, Context & k );
 
 
  bool getLine( std::string & p_line ) const;
 
 
  static void addchanges( size_t p_allchanges ) {
    get()->odo_changes_ += p_allchanges;
  }
 
 
  static void shutdown();
 
 
  void commandline( int p_argc, char* p_argv[] );
 
 
  void property_statistics();
 
 
  void status_statistics();
 
 
  static void memory_statistics( bool p_force, std::ostream & p_cout );
 
 
  void snap();
};