Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move functions about snapshot comparison in a separate file mc_compare.c
[simgrid.git] / src / msg / msg_environment.c
1 /* Copyright (c) 2004, 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include "msg_private.h"
8 #include "xbt/sysdep.h"
9 #include "xbt/log.h"
10 #include "xbt/dict.h"
11 #ifdef HAVE_LUA
12 #include <lua.h>
13 #include <lauxlib.h>
14 #include <lualib.h>
15 #endif
16
17 /********************************* MSG **************************************/
18
19 /** \ingroup msg_simulation
20  * \brief A platform constructor.
21  *
22  * Creates a new platform, including hosts, links and the
23  * routing_table. 
24  * \param file a filename of a xml description of a platform. This file 
25  * follows this DTD :
26  *
27  *     \include simgrid.dtd
28  *
29  * Here is a small example of such a platform 
30  *
31  *     \include small_platform.xml
32  *
33  * Have a look in the directory examples/msg/ to have a big example.
34  */
35 void MSG_create_environment(const char *file)
36 {
37   SIMIX_create_environment(file);
38 }
39
40 void MSG_post_create_environment(void) {
41   xbt_lib_cursor_t cursor;
42   void **data;
43   char *name;
44
45   /* Initialize MSG hosts */
46   xbt_lib_foreach(host_lib, cursor, name, data) {
47     if(data[SIMIX_HOST_LEVEL])
48       __MSG_host_create((smx_host_t)data[SIMIX_HOST_LEVEL]);
49   }
50 }
51
52 /**
53  * @ingroup MSG_LUA
54  * \brief A platform constructor bypassing the parser.
55  *
56  * load lua script file to set up new platform, including hosts,links
57  * and the routing table
58  */
59
60 void MSG_load_platform_script(const char *script_file)
61 {
62 #ifdef HAVE_LUA
63   lua_State *L = lua_open();
64   luaL_openlibs(L);
65
66   if (luaL_loadfile(L, script_file) || lua_pcall(L, 0, 0, 0)) {
67     printf("error: %s\n", lua_tostring(L, -1));
68     return;
69   }
70 #else
71   xbt_die
72       ("Lua is not available! It is mandatory to use MSG_load_platform_script however. Bailing out...");
73 #endif
74 }