NuSMV/code/nusmv/core/parser/parser.h

Go to the documentation of this file.

/* ---------------------------------------------------------------------------


  This file is part of the ``parser'' package of NuSMV version 2. 
  Copyright (C) 1998-2001 by CMU and FBK-irst. 

  NuSMV version 2 is free software; you can redistribute it and/or 
  modify it under the terms of the GNU Lesser General Public 
  License as published by the Free Software Foundation; either 
  version 2 of the License, or (at your option) any later version.

  NuSMV version 2 is distributed in the hope that 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 library; if not, write to the Free Software 
  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307  USA.

  For more information on NuSMV see <http://nusmv.fbk.eu>
  or email to <nusmv-users@fbk.eu>.
  Please report bugs to <nusmv-users@fbk.eu>.

  To contact the NuSMV development board, email to <nusmv@fbk.eu>. 

-----------------------------------------------------------------------------*/

#ifndef __NUSMV_CORE_PARSER_PARSER_H__
#define __NUSMV_CORE_PARSER_PARSER_H__

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/node/node.h"


/*---------------------------------------------------------------------------*/
/* Macros definitions                                                        */
/*---------------------------------------------------------------------------*/

#define OPT_PARSER_IS_LAX  "parser_is_lax"

/*---------------------------------------------------------------------------*/
/* Function prototypes                                                       */
/*---------------------------------------------------------------------------*/

void Parser_Init(NuSMVEnv_ptr env);

void Parser_Quit(NuSMVEnv_ptr env);

int Parser_read_model(NuSMVEnv_ptr env,
                             char* ifile);

int Parser_ReadCmdFromString(NuSMVEnv_ptr env, int argc, const char** argv, 
                                    const char* head, const char* tail, 
                                    node_ptr* pc);

int Parser_ReadSimpExprFromString(NuSMVEnv_ptr env, const char* str_expr, 
                                         node_ptr* res);

int Parser_ReadCmdFromFile(NuSMVEnv_ptr env, const char *filename, 
                                  node_ptr* res);

int Parser_ReadSMVFromFile(NuSMVEnv_ptr env, const char* filename);

int Parser_ReadLtlExprFromFile(NuSMVEnv_ptr env, const char* filename);

int Parser_read_psl_from_string(const NuSMVEnv_ptr env,
                                       int argc, const char** argv,
                                       node_ptr* res);

int Parser_read_psl_from_file(const NuSMVEnv_ptr env,
                                     const char* filename, node_ptr* res);

int
Parser_ReadNextExprFromString(NuSMVEnv_ptr env, const char* str_expr, node_ptr* res);

int Parser_ReadTypeFromString(NuSMVEnv_ptr env,
                                     const char* str_type,
                                     node_ptr* res);

int
Parser_ReadIdentifierExprFromString(NuSMVEnv_ptr env, const char* str_expr, node_ptr* res);

int
Parser_ReadNextExprFromFile(NuSMVEnv_ptr env, const char *filename, node_ptr* res);

node_ptr Parser_get_syntax_errors_list(const NuSMVEnv_ptr env);

void Parser_get_syntax_error(node_ptr node, 
                                    const char** out_filename, 
                                    int* out_lineno, 
                                    const char** out_token,
                                    const char** out_message);

void Parser_print_syntax_error(node_ptr error, FILE* fout);

void Parser_OpenInput(const NuSMVEnv_ptr env, const char *filename);

void Parser_CloseInput(void);

void Parser_switch_to_smv(void);

int Parser_skip_multiline_comment(int (*read_function)(void));

int Parser_skip_one_line_comment(int (*read_function)(void));

#endif /* __NUSMV_CORE_PARSER_PARSER_H__ */

---