adapter_dlopen.hh

/*
 * fMBT, free Model Based Testing tool
 * Copyright (c) 2011, Intel Corporation.
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms and conditions of the GNU Lesser General Public License,
 * version 2.1, as published by the Free Software Foundation.
 *
 * This program is distributed in the hope it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for
 * more details.
 *
 * You should have received a copy of the GNU Lesser General Public License along with
 * this program; if not, write to the Free Software Foundation, Inc.,
 * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
 *
 */
#include "adapter.hh"

class Adapter_dlopen: public Adapter {
public:
  Adapter_dlopen(Log& l,const std::string& params);
  virtual ~Adapter_dlopen();
  virtual void set_actions(std::vector<std::string>* _actions);
  virtual bool init();

  virtual void execute(std::vector<int>& action);
  virtual int observe(std::vector<int>& action, bool block=false);
  virtual int check_tags(int* tag,int len,std::vector<int>& t);
  virtual void adapter_exit(Verdict::Verdict verdict,
			    const std::string& reason);

  virtual std::string stringify();
private:
  Adapter* loaded_adapter;
  void *library_handle;
};