Restore the previous name.
[bertos.git] / bertos / mware / parser.h
1 /**
2  * \file
3  * <!--
4  * This file is part of BeRTOS.
5  *
6  * Bertos is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2 of the License, or
9  * (at your option) any later version.
10  *
11  * This program is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with this program; if not, write to the Free Software
18  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
19  *
20  * As a special exception, you may use this file as part of a free software
21  * library without restriction.  Specifically, if other files instantiate
22  * templates or use macros or inline functions from this file, or you compile
23  * this file and link it with other files to produce an executable, this
24  * file does not by itself cause the resulting executable to be covered by
25  * the GNU General Public License.  This exception does not however
26  * invalidate any other reasons why the executable file might be covered by
27  * the GNU General Public License.
28  *
29  * Copyright 2003, 2006 Develer S.r.l. (http://www.develer.com/)
30  * All Rights Reserved.
31  * -->
32  *
33  * \defgroup parser Simple RPC machinery
34  * \ingroup mware
35  * \{
36  *
37  * \brief Channel protocol parser and commands.
38  *
39  * This module provides a simple text based RPC implementation.
40  * Often there is the need to give a command to the device and receive results
41  * back. Each command may have a variable number of input and output
42  * parameters, with variable type, and a return code which indicates if the
43  * command was successfully executed or not; this module provides the machinery
44  * to facilitate the above RPC scenario.
45  * You will need to write the RPC input and reply code as well as
46  * the definition of the commands.
47  *
48  * Commands are defined using a CmdTemplate struct containing:
49  * - command name: the string that will be matched by the parser;
50  * - command arguments: a string representing type and number of input
51  *   arguments;
52  * - command output: a string representing type and number of output arguments;
53  * - function callback: function implementing the command.
54  *
55  * Once you have declared the commands, you need to register them in the
56  * parser with the function parser_register_cmd().
57  * You are strongly encouraged to use MAKE_CMD() (or alternatively
58  * MAKE_TEMPLATE()) and REGISTER_CMD() to declare and register commands.
59  *
60  * A command line can be parsed with the following steps:
61  * - find the corresponding command template with parser_get_cmd_template()
62  * - extract command arguments with parser_get_cmd_arguments()
63  * - execute the command with parser_execute_cmd()
64  *
65  * You can also provide interactive command line completion using
66  * parser_rl_match().
67  *
68  * Example:
69  * \code
70  * // Declare a buzzer command
71  * MAKE_CMD(beep, "d", "",
72  * ({
73  *      buz_beep(args[1].l);
74  *      RC_OK;
75  * }), 0)
76  *
77  * // initialize the parser
78  * parser_init();
79  * REGISTER_CMD(beep);
80  *
81  * // parse an input line
82  * char buf[80];
83  * // read line from somewhere
84  * rpc_get(buf);
85  * // now parse the line
86  * const struct CmdTemplate *templ;
87  * templ = parser_get_cmd_template(buf);
88  *
89  * // Take arguments (optionally check errors)
90  * parms args[PARSER_MAX_ARGS];
91  * parser_get_cmd_arguments(buf, templ, args);
92  * //Execute command
93  * if(!parser_execute_cmd(templ, args))
94  * {
95  *      // error
96  * }
97  * // Now args contain the outputs of the function, you can send it
98  * // back to the caller
99  * rpc_reply(args)
100  *
101  * \endcode
102  *
103  * <b>Configuration file</b>: cfg_parser.h
104  *
105  * \author Bernie Innocenti <bernie@codewiz.org>
106  * \author Stefano Fedrigo <aleph@develer.com>
107  * \author Giovanni Bajo <rasky@develer.com>
108  *
109  * $WIZ$ module_name = "parser"
110  * $WIZ$ module_configuration = "bertos/cfg/cfg_parser.h"
111  * $WIZ$ module_depends = "kfile", "hashtable"
112  */
113
114
115 #ifndef MWARE_PARSER_H
116 #define MWARE_PARSER_H
117
118 #include "cfg/cfg_parser.h"
119
120 #include <cpu/types.h>
121 #include <cfg/debug.h>
122
123 /**
124  * Error generated by the commands through the return code.
125  */
126 typedef enum
127 {
128         RC_ERROR  = -1, ///< Reply with error.
129         RC_OK     = 0,  ///< No reply (ignore reply arguments).
130         RC_REPLY  = 1,  ///< Reply command arguments.
131         RC_SKIP   = 2   ///< Skip following commands
132 } ResultCode;
133
134 typedef struct
135 {
136         const char *p;
137         int sz;
138 } str_parm;
139
140 /** union that contains parameters passed to and from commands */
141 typedef union { long l; str_parm s; } parms;
142 /** pointer to commands */
143 typedef ResultCode (*CmdFuncPtr)(parms args_results[]);
144
145 /**
146  * Define a command that can be tokenized by the parser.
147  *
148  * The format strings are sequences of characters, one for each
149  * parameter/result. Valid characters are:
150  *
151  *  d - a long integer, in decimal format
152  *  s - a var string (in RAM)
153  *
154  * \note To create and fill an instance for this function, it is strongly
155  * advised to use \c DECLARE_CMD_HUNK (cmd_hunk.h).
156  */
157 struct CmdTemplate
158 {
159         const char *name;          ///< Name of command
160         const char *arg_fmt;       ///< Format string for the input
161         const char *result_fmt;    ///< Format string for the output
162         CmdFuncPtr func;           ///< Pointer to the handler function
163         uint16_t   flags;          ///< Currently unused.
164 };
165
166 #define REGISTER_FUNCTION parser_register_cmd
167
168 /**
169  * Utility function to register a command.
170  *
171  * \param NAME Command name to register
172  */
173 #define REGISTER_CMD(NAME) \
174         do { \
175                 if (!REGISTER_FUNCTION(&cmd_ ## NAME ## _template)) \
176                         ASSERT2(0, "Error in registering command, no space left"); \
177         } while (0)
178
179 /**
180  * Utility macro to create a command template.
181  *
182  * It requires that a callback function with name \a cmd_NAME
183  * is already defined.
184  * \param NAME Command name
185  * \param ARGS Input arguments
186  * \param RES Output arguments
187  * \param FLAGS Command flags
188  */
189 #define MAKE_TEMPLATE(NAME, ARGS, RES, FLAGS)          \
190 const struct CmdTemplate cmd_ ## NAME ## _template =   \
191 {                                                      \
192         #NAME, ARGS, RES, cmd_ ## NAME, FLAGS          \
193 };
194
195 /**
196  * Utility macro to create command templates and callback functions.
197  *
198  * Example for a version command:
199  * \code
200  * MAKE_CMD(ver, "", "ddd",
201  * ({
202  *      args[1].l = VERS_MAJOR;
203  *      args[2].l = VERS_MINOR;
204  *      args[3].l = VERS_REV;
205  *      RC_OK;
206  * }), 0);
207  * \endcode
208  *
209  * Remember that input and output parameters start from index 1, since
210  * args[0] is the command itself.
211  * The last line is the return value of the function.
212  *
213  * \param NAME Command name matched by the parser
214  * \param ARGS Input arguments to the command
215  * \param RES Output arguments of the command
216  * \param BODY Command body, expressed with C 'statement expression'
217  * \param FLAGS Command flags
218  */
219 #define MAKE_CMD(NAME, ARGS, RES, BODY, FLAGS)  \
220 static ResultCode cmd_ ## NAME (parms *args)    \
221 {                                               \
222         return (ResultCode)BODY;                \
223 }                                               \
224 MAKE_TEMPLATE(NAME, ARGS, RES, FLAGS)
225
226 /**
227  * Initialize the parser module
228  *
229  * \note This function must be called before any other function in this module
230  */
231 void parser_init(void);
232
233 bool parser_register_cmd(const struct CmdTemplate* cmd);
234
235
236 /**
237  * Hook for readline to provide completion support for the commands
238  * registered in the parser.
239  *
240  * \note This is meant to be used with mware/readline.c. See the
241  * documentation there for a description of this hook.
242  */
243 const char* parser_rl_match(void* dummy, const char* word, int word_len);
244
245 bool parser_process_line(const char* line);
246
247 /**
248  * Execute a command with its arguments, and fetch its results.
249  *
250  * The \a args paramenter is value-result: it provides input arguments to
251  * the callback function and it stores output values on return.
252  *
253  * \param templ Template of the command to be executed
254  * \param args Arguments for the command, and will contain the results
255  *
256  * \return False if the command returned an error, true otherwise
257  */
258 INLINE bool parser_execute_cmd(const struct CmdTemplate* templ, parms args[CONFIG_PARSER_MAX_ARGS])
259 {
260         return (templ->func(args) == 0);
261 }
262
263 const struct CmdTemplate* parser_get_cmd_template(const char* line);
264
265 bool parser_get_cmd_arguments(const char* line, const struct CmdTemplate* templ, parms args[CONFIG_PARSER_MAX_ARGS]);
266 bool get_word(const char **begin, const char **end);
267
268 #if CONFIG_ENABLE_COMPAT_BEHAVIOUR
269 /**
270  * Extract the ID from the command text line.
271  *
272  * \param line Text line to be processed (ASCIIZ)
273  * \param ID Will contain the ID extracted.
274  *
275  * \return True if everything ok, false if there is no ID
276  *
277  */
278 bool parser_get_cmd_id(const char* line, unsigned long* ID);
279 #endif
280
281
282 /** \} */ // defgroup parser
283 #endif /* MWARE_PARSER_H */
284