ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cmdInt.h
Go to the documentation of this file.
1
20
21#ifndef ABC__base__cmd__cmdInt_h
22#define ABC__base__cmd__cmdInt_h
23
24
28
29#include "base/main/mainInt.h"
30#include "cmd.h"
31
33
34
38
42
44{
45 char * sName; // the command name
46 char * sGroup; // the group name
47 Cmd_CommandFuncType pFunc; // the function to execute the command
48 int fChange; // set to 1 to mark that the network is changed
49};
50
51struct MvAlias
52{
53 char * sName; // the alias name
54 int argc; // the number of alias parts
55 char ** argv; // the alias parts
56};
57
61
65
66/*=== cmdAlias.c =============-========================================*/
67extern void CmdCommandAliasAdd( Abc_Frame_t * pAbc, char * sName, int argc, char ** argv );
68extern void CmdCommandAliasPrint( Abc_Frame_t * pAbc, Abc_Alias * pAlias );
69extern char * CmdCommandAliasLookup( Abc_Frame_t * pAbc, char * sCommand );
70extern void CmdCommandAliasFree( Abc_Alias * p );
71/*=== cmdUtils.c =======================================================*/
72extern int CmdCommandDispatch( Abc_Frame_t * pAbc, int * argc, char *** argv );
73extern const char * CmdSplitLine( Abc_Frame_t * pAbc, const char * sCommand, int * argc, char *** argv );
74extern int CmdApplyAlias( Abc_Frame_t * pAbc, int * argc, char *** argv, int * loop );
75extern char * CmdHistorySubstitution( Abc_Frame_t * pAbc, char * line, int * changed );
76extern FILE * CmdFileOpen( Abc_Frame_t * pAbc, char * sFileName, char * sMode, char ** pFileNameReal, int silent );
77extern void CmdFreeArgv( int argc, char ** argv );
78extern char ** CmdAddToArgv( int argc, char ** argv );
79extern void CmdCommandFree( Abc_Command * pCommand );
80extern void CmdCommandPrint( Abc_Frame_t * pAbc, int fPrintAll, int fDetails );
81extern void CmdPrintTable( st__table * tTable, int fAliases );
82
86
87
88
90
91#endif
92
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition abcapis.h:38
void CmdCommandAliasAdd(Abc_Frame_t *pAbc, char *sName, int argc, char **argv)
MACRO DEFINITIONS ///.
Definition cmdAlias.c:46
FILE * CmdFileOpen(Abc_Frame_t *pAbc, char *sFileName, char *sMode, char **pFileNameReal, int silent)
Definition cmdUtils.c:412
void CmdCommandFree(Abc_Command *pCommand)
Definition cmdUtils.c:539
char ** CmdAddToArgv(int argc, char **argv)
Definition cmdUtils.c:516
int CmdCommandDispatch(Abc_Frame_t *pAbc, int *argc, char ***argv)
Definition cmdUtils.c:97
const char * CmdSplitLine(Abc_Frame_t *pAbc, const char *sCommand, int *argc, char ***argv)
Definition cmdUtils.c:185
void CmdCommandAliasFree(Abc_Alias *p)
Definition cmdAlias.c:113
int CmdApplyAlias(Abc_Frame_t *pAbc, int *argc, char ***argv, int *loop)
Definition cmdUtils.c:271
char * CmdHistorySubstitution(Abc_Frame_t *pAbc, char *line, int *changed)
Definition cmdUtils.c:394
void CmdCommandPrint(Abc_Frame_t *pAbc, int fPrintAll, int fDetails)
Definition cmdUtils.c:558
void CmdCommandAliasPrint(Abc_Frame_t *pAbc, Abc_Alias *pAlias)
Definition cmdAlias.c:72
void CmdPrintTable(st__table *tTable, int fAliases)
Definition cmdUtils.c:726
void CmdFreeArgv(int argc, char **argv)
Definition cmdUtils.c:489
char * CmdCommandAliasLookup(Abc_Frame_t *pAbc, char *sCommand)
Definition cmdAlias.c:92
int(* Cmd_CommandFuncType)(Abc_Frame_t *, int, char **)
Definition cmd.h:54
struct MvAlias Abc_Alias
Definition cmd.h:40
typedefABC_NAMESPACE_HEADER_START struct MvCommand Abc_Command
INCLUDES ///.
Definition cmd.h:39
Cube * p
Definition exorList.c:222
char * sName
Definition cmdInt.h:53
char ** argv
Definition cmdInt.h:55
int argc
Definition cmdInt.h:54
INCLUDES ///.
Definition cmdInt.h:44
char * sName
Definition cmdInt.h:45
Cmd_CommandFuncType pFunc
Definition cmdInt.h:47
char * sGroup
Definition cmdInt.h:46
int fChange
Definition cmdInt.h:48
Definition st.h:52