Refactor to use new protocol module and sipo.
[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         RC_CLAMPED = 3, ///< argument values have been clamped.
133 } ResultCode;
134
135 typedef struct
136 {
137         const char *p;
138         int sz;
139 } str_parm;
140
141 /** union that contains parameters passed to and from commands */
142 typedef union { long l; str_parm s; } parms;
143 /** pointer to commands */
144 typedef ResultCode (*CmdFuncPtr)(parms args_results[]);
145
146 /**
147  * Define a command that can be tokenized by the parser.
148  *
149  * The format strings are sequences of characters, one for each
150  * parameter/result. Valid characters are:
151  *
152  *  d - a long integer, in decimal format
153  *  s - a var string (in RAM)
154  *
155  * \note To create and fill an instance for this function, it is strongly
156  * advised to use \c DECLARE_CMD_HUNK (cmd_hunk.h).
157  */
158 struct CmdTemplate
159 {
160         const char *name;          ///< Name of command
161         const char *arg_fmt;       ///< Format string for the input
162         const char *result_fmt;    ///< Format string for the output
163         CmdFuncPtr func;           ///< Pointer to the handler function
164         uint16_t   flags;          ///< Currently unused.
165 };
166
167 #define REGISTER_FUNCTION parser_register_cmd
168
169 /**
170  * Utility function to register a command.
171  *
172  * \param NAME Command name to register
173  */
174 #define REGISTER_CMD(NAME) \
175         do { \
176                 if (!REGISTER_FUNCTION(&cmd_ ## NAME ## _template)) \
177                         ASSERT2(0, "Error in registering command, no space left"); \
178         } while (0)
179
180 /**
181  * Utility macro to create a command template.
182  *
183  * It requires that a callback function with name \a cmd_NAME
184  * is already defined.
185  * \param NAME Command name
186  * \param ARGS Input arguments
187  * \param RES Output arguments
188  * \param FLAGS Command flags
189  */
190 #define MAKE_TEMPLATE(NAME, ARGS, RES, FLAGS)          \
191 const struct CmdTemplate cmd_ ## NAME ## _template =   \
192 {                                                      \
193         #NAME, ARGS, RES, cmd_ ## NAME, FLAGS          \
194 };
195
196 /**
197  * Utility macro to create command templates and callback functions.
198  *
199  * Example for a version command:
200  * \code
201  * MAKE_CMD(ver, "", "ddd",
202  * ({
203  *      args[1].l = VERS_MAJOR;
204  *      args[2].l = VERS_MINOR;
205  *      args[3].l = VERS_REV;
206  *      RC_OK;
207  * }), 0);
208  * \endcode
209  *
210  * Remember that input and output parameters start from index 1, since
211  * args[0] is the command itself.
212  * The last line is the return value of the function.
213  *
214  * \param NAME Command name matched by the parser
215  * \param ARGS Input arguments to the command
216  * \param RES Output arguments of the command
217  * \param BODY Command body, expressed with C 'statement expression'
218  * \param FLAGS Command flags
219  */
220 #define MAKE_CMD(NAME, ARGS, RES, BODY, FLAGS)  \
221 static ResultCode cmd_ ## NAME (parms *args)    \
222 {                                               \
223         return (ResultCode)BODY;                \
224 }                                               \
225 MAKE_TEMPLATE(NAME, ARGS, RES, FLAGS)
226
227 /**
228  * Initialize the parser module
229  *
230  * \note This function must be called before any other function in this module
231  */
232 void parser_init(void);
233
234 bool parser_register_cmd(const struct CmdTemplate* cmd);
235
236
237 /**
238  * Hook for readline to provide completion support for the commands
239  * registered in the parser.
240  *
241  * \note This is meant to be used with mware/readline.c. See the
242  * documentation there for a description of this hook.
243  */
244 const char* parser_rl_match(void* dummy, const char* word, int word_len);
245
246 bool parser_process_line(const char* line);
247
248 /**
249  * Execute a command with its arguments, and fetch its results.
250  *
251  * The \a args paramenter is value-result: it provides input arguments to
252  * the callback function and it stores output values on return.
253  *
254  * \param templ Template of the command to be executed
255  * \param args Arguments for the command, and will contain the results
256  *
257  * \return False if the command returned an error, true otherwise
258  */
259 INLINE bool parser_execute_cmd(const struct CmdTemplate* templ, parms args[CONFIG_PARSER_MAX_ARGS])
260 {
261         return (templ->func(args) == 0);
262 }
263
264 const struct CmdTemplate* parser_get_cmd_template(const char* line);
265
266 bool parser_get_cmd_arguments(const char* line, const struct CmdTemplate* templ, parms args[CONFIG_PARSER_MAX_ARGS]);
267 bool get_word(const char **begin, const char **end);
268
269 #if CONFIG_ENABLE_COMPAT_BEHAVIOUR
270 /**
271  * Extract the ID from the command text line.
272  *
273  * \param line Text line to be processed (ASCIIZ)
274  * \param ID Will contain the ID extracted.
275  *
276  * \return True if everything ok, false if there is no ID
277  *
278  */
279 bool parser_get_cmd_id(const char* line, unsigned long* ID);
280 #endif
281
282
283 /** \} */ // defgroup parser
284 #endif /* MWARE_PARSER_H */
285