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