src/jplus.h

Go to the documentation of this file.

/* -*- mode: c++; indent-tabs-mode:nil -*- */
#ifndef JPLUS_H
#define JPLUS_H

#include <istream>
#include <vector>
#include <set>
#include "jengine.h"

class BasicBlock;

class jplus: public jengine {
private:
  BasicBlock* program;

public:
  jplus();

  bool init(std::istream &script);

  ~jplus();
  
  bool set(std::string name, jarray data);

  jarray get(std::string name);

  std::vector<std::string> getProgram(std::set<std::string> vars);

  std::vector<std::string> getProgram();

protected:
  virtual void libInit();

private:
  // copy disabled
  jplus(const jplus &);
  const jplus& operator=(const jplus&);
};

#endif