NuSMV/code/nusmv/shell/cmd/cmd.h

Go to the documentation of this file.

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


  This file is part of the ``cmd'' 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_SHELL_CMD_CMD_H__
#define __NUSMV_SHELL_CMD_CMD_H__

/*---------------------------------------------------------------------------*/
/* Nested includes                                                           */
/*---------------------------------------------------------------------------*/
#if HAVE_CONFIG_H
# include "nusmv-config.h"
#endif

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/cinit/NuSMVEnv.h"

#define ENV_START_TIME          "cmdStartTime"

/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/

typedef int (*PFI)(NuSMVEnv_ptr env, int argc, char **argv);


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

#if NUSMV_HAVE_LIBREADLINE

char *readline(char *PROMPT);

void add_history(char *line);
#endif
#if NUSMV_HAVE_SETVBUF

int setvbuf(FILE*, char*, int mode, size_t size);
#endif
#ifdef PURIFY

void purify_all_inuse();
#endif

void Cmd_CommandAdd(NuSMVEnv_ptr env, char* name, PFI funcFp, int changes,
                           boolean reentrant);

boolean Cmd_CommandRemove(NuSMVEnv_ptr env, const char* name);

int Cmd_CommandExecute(NuSMVEnv_ptr env, char* command);

int Cmd_SecureCommandExecute(NuSMVEnv_ptr env, char* command);

FILE* Cmd_FileOpen(const NuSMVEnv_ptr env,
                          char* fileName, char* mode,
                          char** realFileName_p, int silent);

void Cmd_Init(NuSMVEnv_ptr env);

void Cmd_End(NuSMVEnv_ptr env);

FILE* CmdOpenPipe(const NuSMVEnv_ptr env, int useMore);

void CmdClosePipe(FILE* file);

FILE* CmdOpenFile(const NuSMVEnv_ptr env, const char* filename);

void CmdCloseFile(FILE* file);

Outcome Cmd_Misc_open_pipe_or_file(NuSMVEnv_ptr const env,
                                          const char* dbgFileName,
                                          FILE** outstream);

int Cmd_Misc_set_global_out_stream(NuSMVEnv_ptr env,
                                          char* filename,
                                          boolean useMore,
                                          FILE** prev_outstream);

void Cmd_Misc_restore_global_out_stream(NuSMVEnv_ptr env,
                                               char* filename,
                                               boolean use_a_pipe,
                                               FILE* prev_outstream);



int Cmd_Misc_NusmvrcSource(NuSMVEnv_ptr env);


#endif /* __NUSMV_SHELL_CMD_CMD_H__ */

---