src/base/cmd/cmdFlag.c File Reference

#include "mainInt.h"

Include dependency graph for cmdFlag.c:

Go to the source code of this file.

Functions
char *	Cmd_FlagReadByName (Abc_Frame_t *pAbc, char *flag)
void	Cmd_FlagUpdateValue (Abc_Frame_t *pAbc, char *key, char *value)
void	Cmd_FlagDeleteByName (Abc_Frame_t *pAbc, char *key)

---

Function Documentation

void Cmd_FlagDeleteByName	(	Abc_Frame_t *	pAbc,
		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 86 of file cmdFlag.c.

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

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

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

] DECLARATIONS /// 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 43 of file cmdFlag.c.

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

void Cmd_FlagUpdateValue	(	Abc_Frame_t *	pAbc,
		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 61 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) )
        FREE(oldValue);
    st_insert( pAbc->tFlags, key, newValue );
}