Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct MvCommand	Abc_Command
	INCLUDES ///. More...

typedef struct MvAlias	Abc_Alias

typedef int(*	Cmd_CommandFuncType )(Abc_Frame_t , int, char *)

Functions
void	Cmd_Init (Abc_Frame_t *pAbc)
	MACRO DEFINITIONS ///. More...

void	Cmd_End (Abc_Frame_t *pAbc)

int	Cmd_CommandIsDefined (Abc_Frame_t pAbc, const char sName)
	DECLARATIONS ///. More...

void	Cmd_CommandAdd (Abc_Frame_t pAbc, const char sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)

ABC_DLL int	Cmd_CommandExecute (Abc_Frame_t pAbc, const char sCommand)

char *	Cmd_FlagReadByName (Abc_Frame_t pAbc, char flag)
	DECLARATIONS ///. More...

void	Cmd_FlagDeleteByName (Abc_Frame_t pAbc, const char key)

void	Cmd_FlagUpdateValue (Abc_Frame_t pAbc, const char key, char *value)

void	Cmd_HistoryAddCommand (Abc_Frame_t pAbc, const char command)
	DECLARATIONS ///. More...

void	Cmd_HistoryRead (Abc_Frame_t *p)

void	Cmd_HistoryWrite (Abc_Frame_t *p, int Limit)

void	Cmd_HistoryPrint (Abc_Frame_t *p, int Limit)

int	CmdCommandLoad (Abc_Frame_t pAbc, int argc, char *argv)
	DECLARATIONS ///. More...

Typedef Documentation

typedef struct MvAlias Abc_Alias

Definition at line 40 of file cmd.h.

typedef typedefABC_NAMESPACE_HEADER_START struct MvCommand Abc_Command

INCLUDES ///.

CFile****************************************************************

FileName [cmd.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [External declarations of the command package.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:: cmd.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]PARAMETERS ///STRUCTURE DEFINITIONS ///

Definition at line 39 of file cmd.h.

typedef int(* Cmd_CommandFuncType)(Abc_Frame_t *, int, char **)

Definition at line 54 of file cmd.h.

Function Documentation

void Cmd_CommandAdd	(	Abc_Frame_t *	pAbc,
		const char *	sGroup,
		const char *	sName,
		Cmd_CommandFuncType	pFunc,
		int	fChanges
	)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 63 of file cmdApi.c.

 {
     const char * key;
     char * value;
     Abc_Command * pCommand;
     int fStatus;
 
     key = sName;
     if ( st__delete( pAbc->tCommands, &key, &value ) ) 
     {
         // delete existing definition for this command 
         fprintf( pAbc->Err, "Cmd warning: redefining '%s'\n", sName );
         CmdCommandFree( (Abc_Command *)value );
     }
 
     // create the new command
     pCommand = ABC_ALLOC( Abc_Command, 1 );
     pCommand->sName   = Extra_UtilStrsav( sName );
     pCommand->sGroup  = Extra_UtilStrsav( sGroup );
     pCommand->pFunc   = pFunc;
     pCommand->fChange = fChanges;
     fStatus = st__insert( pAbc->tCommands, pCommand->sName, (char *)pCommand );
     assert( !fStatus );  // the command should not be in the table
 }

ABC_DLL int Cmd_CommandExecute	(	Abc_Frame_t *	pAbc,
		const char *	sCommand
	)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 99 of file cmdApi.c.

 {
     int fStatus = 0, argc, loop;
     const char * sCommandNext;
     char **argv;
 
     if ( !pAbc->fAutoexac && !pAbc->fSource ) 
         Cmd_HistoryAddCommand(pAbc, sCommand);
     sCommandNext = sCommand;
     do 
     {
         sCommandNext = CmdSplitLine( pAbc, sCommandNext, &argc, &argv );
         loop = 0;
         fStatus = CmdApplyAlias( pAbc, &argc, &argv, &loop );
         if ( fStatus == 0 ) 
             fStatus = CmdCommandDispatch( pAbc, &argc, &argv );
         CmdFreeArgv( argc, argv );
     } 
     while ( fStatus == 0 && *sCommandNext != '\0' );
     return fStatus;
 }

int Cmd_CommandIsDefined	(	Abc_Frame_t *	pAbc,
		const char *	sName
	)

DECLARATIONS ///.

CFile****************************************************************

FileName [cmdApi.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [External procedures of the command package.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:: cmdApi.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file cmdApi.c.

 {
     return st__is_member( pAbc->tCommands, sName );
 }

void Cmd_End ( Abc_Frame_t * pAbc )

Function********************************************************************

Synopsis [Ends the command package.]

Description [Ends the command package. Tables are freed.]

SideEffects []

SeeAlso []

Definition at line 127 of file cmd.c.

 {
     st__generator * gen;
     char * pKey, * pValue;
     Cmd_HistoryWrite( pAbc, ABC_INFINITY );
 
 //    st__free_table( pAbc->tCommands, (void (*)()) 0, CmdCommandFree );
 //    st__free_table( pAbc->tAliases,  (void (*)()) 0, CmdCommandAliasFree );
 //    st__free_table( pAbc->tFlags,    free, free );
 
     st__foreach_item( pAbc->tCommands, gen, (const char **)&pKey, (char **)&pValue )
         CmdCommandFree( (Abc_Command *)pValue );
     st__free_table( pAbc->tCommands );
 
     st__foreach_item( pAbc->tAliases, gen, (const char **)&pKey, (char **)&pValue )
         CmdCommandAliasFree( (Abc_Alias *)pValue );
     st__free_table( pAbc->tAliases );
 
     st__foreach_item( pAbc->tFlags, gen, (const char **)&pKey, (char **)&pValue )
         ABC_FREE( pKey ), ABC_FREE( pValue );
     st__free_table( pAbc->tFlags );
 
     Vec_PtrFreeFree( pAbc->aHistory );
 }

void Cmd_FlagDeleteByName	(	Abc_Frame_t *	pAbc,
		const char *	key
	)

Function********************************************************************

Synopsis [Deletes a set value by calling instead of unset command.]

Description [Deletes a set value by calling instead of unset command.]

SideEffects []

Definition at line 90 of file cmdFlag.c.

 {
     char *value;
     if ( !key )
         return;
     if ( st__delete( pAbc->tFlags, &key, &value ) ) 
     {
         ABC_FREE(key);
         ABC_FREE(value);
     }
 }

char* Cmd_FlagReadByName	(	Abc_Frame_t *	pAbc,
		char *	flag
	)

DECLARATIONS ///.

CFile****************************************************************

FileName [cmdFlag.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [Procedures working with flags.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:: cmdFlag.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function********************************************************************

Synopsis [Looks up value of flag in table of named values.]

Description [The command parser maintains a table of named values. These are manipulated using the 'set' and 'unset' commands. The value of the named flag is returned, or NULL is returned if the flag has not been set.]

SideEffects []

Definition at line 47 of file cmdFlag.c.

 {
     char * value;
     if ( st__lookup(pAbc->tFlags, flag, &value) )
         return value;
     return NULL;
 }

void Cmd_FlagUpdateValue	(	Abc_Frame_t *	pAbc,
		const char *	key,
		char *	value
	)

Function********************************************************************

Synopsis [Updates a set value by calling instead of set command.]

Description [Updates a set value by calling instead of set command.]

SideEffects []

Definition at line 65 of file cmdFlag.c.

 {
     char * oldValue, * newValue;
     if ( !key )
         return;
     if ( value )
         newValue = Extra_UtilStrsav(value);
     else
         newValue = Extra_UtilStrsav("");
 //        newValue = NULL;
     if ( st__delete(pAbc->tFlags, &key, &oldValue) )
         ABC_FREE(oldValue);
     st__insert( pAbc->tFlags, key, newValue );
 }

void Cmd_HistoryAddCommand	(	Abc_Frame_t *	p,
		const char *	command
	)

DECLARATIONS ///.

CFile****************************************************************

FileName [cmdHist.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [Procedures working with history.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:: cmdHist.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 48 of file cmdHist.c.

 {
     int nLastLooked =   10;  // do not add history if the same entry appears among the last entries
     int nLastSaved  = 1000;  // when saving a file, save no more than this number of last entries
     char Buffer[ABC_MAX_STR];
     int Len;
     if ( p->fBatchMode )
         return;
     Len = strlen(command);
     strcpy( Buffer, command );
     if ( Buffer[Len-1] == '\n' )
         Buffer[Len-1] = 0;
     if ( strlen(Buffer) > 3 &&
          strncmp(Buffer,"set",3) && 
          strncmp(Buffer,"unset",5) && 
          strncmp(Buffer,"time",4) && 
          strncmp(Buffer,"quit",4) && 
          strncmp(Buffer,"alias",5) && 
 //         strncmp(Buffer,"source",6) && 
          strncmp(Buffer,"history",7) && strncmp(Buffer,"hi ", 3) && strcmp(Buffer,"hi") &&
          Buffer[strlen(Buffer)-1] != '?' )
     {
         char * pStr = NULL;
         int i, Start = Abc_MaxInt( 0, Vec_PtrSize(p->aHistory) - nLastLooked );
         // do not enter if the same command appears among nLastLooked commands
         Vec_PtrForEachEntryStart( char *, p->aHistory, pStr, i, Start )
             if ( !strcmp(pStr, Buffer) )
                 break;
         if ( i == Vec_PtrSize(p->aHistory) )
         { // add new entry
             Vec_PtrPush( p->aHistory, Extra_UtilStrsav(Buffer) );
             Cmd_HistoryWrite( p, nLastSaved );
         }
         else
         { // put at the end
             Vec_PtrRemove( p->aHistory, pStr );
             Vec_PtrPush( p->aHistory, pStr );
         }
     }
 }

void Cmd_HistoryPrint	(	Abc_Frame_t *	p,
		int	Limit
	)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 161 of file cmdHist.c.

 {
 #if defined(WIN32) 
     char * pStr; 
     int i;
     Limit = Abc_MaxInt( 0, Vec_PtrSize(p->aHistory)-Limit );
     printf( "================== Command history ==================\n" );
     Vec_PtrForEachEntryStart( char *, p->aHistory, pStr, i, Limit )
         printf( "%s\n", pStr );
     printf( "=====================================================\n" );
 #endif
 }

void Cmd_HistoryRead ( Abc_Frame_t * p )

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 100 of file cmdHist.c.

 {
 #if defined(WIN32) 
     char Buffer[ABC_MAX_STR];
     FILE * pFile;
     assert( Vec_PtrSize(p->aHistory) == 0 );
     pFile = fopen( "abc.history", "rb" );
     if ( pFile == NULL )
         return;
     while ( fgets( Buffer, ABC_MAX_STR, pFile ) != NULL )
     {
         int Len = strlen(Buffer);
         if ( Buffer[Len-1] == '\n' )
             Buffer[Len-1] = 0;
         Vec_PtrPush( p->aHistory, Extra_UtilStrsav(Buffer) );
     }
     fclose( pFile );
 #endif
 }

void Cmd_HistoryWrite	(	Abc_Frame_t *	p,
		int	Limit
	)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 131 of file cmdHist.c.

 {
 #if defined(WIN32) 
     FILE * pFile;
     char * pStr; 
     int i;
     pFile = fopen( "abc.history", "wb" );
     if ( pFile == NULL )
     {
         Abc_Print( 0, "Cannot open file \"abc.history\" for writing.\n" );
         return;
     }
     Limit = Abc_MaxInt( 0, Vec_PtrSize(p->aHistory)-Limit );
     Vec_PtrForEachEntryStart( char *, p->aHistory, pStr, i, Limit )
         fprintf( pFile, "%s\n", pStr );
     fclose( pFile );
 #endif
 }

void Cmd_Init ( Abc_Frame_t * pAbc )

MACRO DEFINITIONS ///.

FUNCTION DEFINITIONS ///

MACRO DEFINITIONS ///.

Function********************************************************************

Synopsis [Initializes the command package.]

SideEffects [Commands are added to the command table.]

SeeAlso [Cmd_End]

Definition at line 79 of file cmd.c.

 {
     pAbc->tCommands = st__init_table(strcmp, st__strhash);
     pAbc->tAliases  = st__init_table(strcmp, st__strhash);
     pAbc->tFlags    = st__init_table(strcmp, st__strhash);
     pAbc->aHistory  = Vec_PtrAlloc( 100 );
     Cmd_HistoryRead( pAbc );
 
     Cmd_CommandAdd( pAbc, "Basic", "time",          CmdCommandTime,            0 );
     Cmd_CommandAdd( pAbc, "Basic", "echo",          CmdCommandEcho,            0 );
     Cmd_CommandAdd( pAbc, "Basic", "quit",          CmdCommandQuit,            0 );
     Cmd_CommandAdd( pAbc, "Basic", "history",       CmdCommandHistory,         0 );
     Cmd_CommandAdd( pAbc, "Basic", "alias",         CmdCommandAlias,           0 );
     Cmd_CommandAdd( pAbc, "Basic", "unalias",       CmdCommandUnalias,         0 );
     Cmd_CommandAdd( pAbc, "Basic", "help",          CmdCommandHelp,            0 );
     Cmd_CommandAdd( pAbc, "Basic", "source",        CmdCommandSource,          0 );
     Cmd_CommandAdd( pAbc, "Basic", "set",           CmdCommandSetVariable,     0 );
     Cmd_CommandAdd( pAbc, "Basic", "unset",         CmdCommandUnsetVariable,   0 );
     Cmd_CommandAdd( pAbc, "Basic", "undo",          CmdCommandUndo,            0 );
     Cmd_CommandAdd( pAbc, "Basic", "recall",        CmdCommandRecall,          0 );
     Cmd_CommandAdd( pAbc, "Basic", "empty",         CmdCommandEmpty,           0 );
 #if defined(WIN32) && !defined(__cplusplus)
     Cmd_CommandAdd( pAbc, "Basic", "scandir",       CmdCommandScanDir,         0 );
     Cmd_CommandAdd( pAbc, "Basic", "renamefiles",   CmdCommandRenameFiles,     0 );
     Cmd_CommandAdd( pAbc, "Basic", "ls",            CmdCommandLs,              0 );
     Cmd_CommandAdd( pAbc, "Basic", "scrgen",        CmdCommandScrGen,          0 );
 #endif
     Cmd_CommandAdd( pAbc, "Basic", "version",       CmdCommandVersion,         0 );
 
     Cmd_CommandAdd( pAbc, "Various", "sis",         CmdCommandSis,             1 );
     Cmd_CommandAdd( pAbc, "Various", "mvsis",       CmdCommandMvsis,           1 );
     Cmd_CommandAdd( pAbc, "Various", "capo",        CmdCommandCapo,            0 );
     Cmd_CommandAdd( pAbc, "Various", "starter",     CmdCommandStarter,         0 );
 
     Cmd_CommandAdd( pAbc, "Various", "load_plugin", Cmd_CommandAbcLoadPlugIn,  0 );
 }

int CmdCommandLoad	(	Abc_Frame_t *	pAbc,
		int	argc,
		char **	argv
	)

DECLARATIONS ///.

CFile****************************************************************

FileName [cmdApi.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [External procedures of the command package.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:: cmdApi.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 48 of file cmdLoad.c.

 {
     Vec_Str_t * vCommand;
     FILE * pFile;
     int i;
     vCommand = Vec_StrAlloc( 100 );
     Vec_StrAppend( vCommand, "abccmd_" );
     Vec_StrAppend( vCommand, argv[0] );
     Vec_StrAppend( vCommand, ".exe" );
     Vec_StrPush( vCommand, 0 );
     // check if there is the binary
     if ( (pFile = fopen( Vec_StrArray(vCommand), "r" )) == NULL )
     {
         Vec_StrFree( vCommand );
         Abc_Print( -1, "Cannot run the binary \"%s\".\n\n", Vec_StrArray(vCommand) );
         return 1;
     }
     fclose( pFile );
     Vec_StrPop( vCommand );
     // add other arguments
     for ( i = 1; i < argc; i++ )
     {
         Vec_StrAppend( vCommand, " " );
         Vec_StrAppend( vCommand, argv[i] );
     }
     Vec_StrPush( vCommand, 0 );
     // run the command line
     if ( Util_SignalSystem( Vec_StrArray(vCommand) ) )
     {
         Vec_StrFree( vCommand );
         Abc_Print( -1, "The following command has returned non-zero exit status:\n" );
         Abc_Print( -1, "\"%s\"\n", Vec_StrArray(vCommand) );
         return 1;
     }
     Vec_StrFree( vCommand );
     return 0;
 }

Typedefs

Functions

Typedef Documentation

Function Documentation