/*
 * \brief  plugin registry interface
 * \author Christian Prochaska 
 * \date   2010-01-21
 *
 */

/*
 * Copyright (C) 2010-2012 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#ifndef _LIBC_PLUGIN__PLUGIN_REGISTRY_H_
#define _LIBC_PLUGIN__PLUGIN_REGISTRY_H_

#include <util/list.h>

#include <libc-plugin/plugin.h>

namespace Libc {

	class Plugin_registry : public List<Plugin>
	{
		public:
		
			Plugin *get_plugin_for_chdir(const char *path);
			Plugin *get_plugin_for_freeaddrinfo(struct addrinfo *res);
			Plugin *get_plugin_for_getaddrinfo(const char *node, const char *service,
			                                   const struct addrinfo *hints,
			                                   struct addrinfo **res);
			Plugin *get_plugin_for_mkdir(const char *path, mode_t mode);
			Plugin *get_plugin_for_open(const char *pathname, int flags);
			Plugin *get_plugin_for_pipe();
			Plugin *get_plugin_for_rename(const char *oldpath, const char *newpath);
			Plugin *get_plugin_for_socket(int domain, int type, int protocol);
			Plugin *get_plugin_for_stat(const char *path, struct stat *);
			Plugin *get_plugin_for_unlink(const char *path);
	};

	extern Plugin_registry *plugin_registry();
	
}

#endif /* _LIBC_PLUGIN__PLUGIN_REGISTRY_H_ */