src/misc/extra/extraUtilUtil.c File Reference

#include <stdio.h>
#include "extra.h"

Include dependency graph for extraUtilUtil.c:

Go to the source code of this file.

Defines
#define	EXTRA_RLIMIT_DATA_DEFAULT   67108864
Functions
long	Extra_CpuTime ()
int	Extra_GetSoftDataLimit ()
void	Extra_UtilGetoptReset ()
int	Extra_UtilGetopt (int argc, char *argv[], char *optstring)
char *	Extra_UtilPrintTime (long t)
char *	Extra_UtilStrsav (char *s)
char *	Extra_UtilTildeExpand (char *fname)
int	Extra_UtilCheckFile (char *filename, char *mode)
char *	Extra_UtilFileSearch (char *file, char *path, char *mode)
void	Extra_UtilMMout_Of_Memory (long size)
Variables
char *	globalUtilOptarg
int	globalUtilOptind = 0
static char *	pScanStr
void(*	Extra_UtilMMoutOfMemory )() = Extra_UtilMMout_Of_Memory

---

Define Documentation

#define EXTRA_RLIMIT_DATA_DEFAULT   67108864

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

FileName [extraUtilUtil.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [extra]

Synopsis [Old SIS utilities.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

extraUtilUtil.c,v 1.0 2003/02/01 00:00:00 alanmi Exp

] DECLARATIONS ///

Definition at line 28 of file extraUtilUtil.c.

---

Function Documentation

long Extra_CpuTime

(

)

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

Synopsis [util_cpu_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 61 of file extraUtilUtil.c.

{
    return clock();
}

int Extra_GetSoftDataLimit

(

)

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

Synopsis [getSoftDataLimit()]

Description []

SideEffects []

SeeAlso []

Definition at line 77 of file extraUtilUtil.c.

{
    return EXTRA_RLIMIT_DATA_DEFAULT;
}

int Extra_UtilCheckFile	(	char *	filename,
		char *	mode
	)

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

Synopsis [check_file()]

Description []

SideEffects []

SeeAlso []

Definition at line 219 of file extraUtilUtil.c.

{
    FILE *fp;
    int got_file;

    if (strcmp(mode, "x") == 0) {
        mode = "r";
    }
    fp = fopen(filename, mode);
    got_file = (fp != 0);
    if (fp != 0) {
        (void) fclose(fp);
    }
    return got_file;
}

char* Extra_UtilFileSearch	(	char *	file,
		char *	path,
		char *	mode
	)

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

Synopsis [util_file_search()]

Description []

SideEffects []

SeeAlso []

Definition at line 246 of file extraUtilUtil.c.

{
    int quit;
    char *buffer, *filename, *save_path, *cp;

    if (path == 0 || strcmp(path, "") == 0) {
        path = ".";             /* just look in the current directory */
    }

    save_path = path = Extra_UtilStrsav(path);
    quit = 0;
    do {
        cp = strchr(path, ':');
        if (cp != 0) {
            *cp = '\0';
        } else {
            quit = 1;
        }

        /* cons up the filename out of the path and file name */
        if (strcmp(path, ".") == 0) {
            buffer = Extra_UtilStrsav(file);
        } else {
            buffer = ALLOC(char, strlen(path) + strlen(file) + 4);
            (void) sprintf(buffer, "%s/%s", path, file);
        }
        filename = Extra_UtilTildeExpand(buffer);
        FREE(buffer);

        /* see if we can access it */
        if (Extra_UtilCheckFile(filename, mode)) {
            FREE(save_path);
            return filename;
        }
        FREE(filename);
        path = ++cp;
    } while (! quit); 

    FREE(save_path);
    return 0;
}

int Extra_UtilGetopt	(	int	argc,
		char *	argv[],
		char *	optstring
	)

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

Synopsis [util_getopt()]

Description []

SideEffects []

SeeAlso []

Definition at line 111 of file extraUtilUtil.c.

{
    register int c;
    register char *place;

    globalUtilOptarg = NULL;

    if (pScanStr == NULL || *pScanStr == '\0') {
    if (globalUtilOptind == 0) globalUtilOptind++;
    if (globalUtilOptind >= argc) return EOF;
    place = argv[globalUtilOptind];
    if (place[0] != '-' || place[1] == '\0') return EOF;
    globalUtilOptind++;
    if (place[1] == '-' && place[2] == '\0') return EOF;
    pScanStr = place+1;
    }

    c = *pScanStr++;
    place = strchr(optstring, c);
    if (place == NULL || c == ':') {
    (void) fprintf(stderr, "%s: unknown option %c\n", argv[0], c);
    return '?';
    }
    if (*++place == ':') {
    if (*pScanStr != '\0') {
        globalUtilOptarg = pScanStr;
        pScanStr = NULL;
    } else {
        if (globalUtilOptind >= argc) {
        (void) fprintf(stderr, "%s: %c requires an argument\n", 
            argv[0], c);
        return '?';
        }
        globalUtilOptarg = argv[globalUtilOptind];
        globalUtilOptind++;
    }
    }
    return c;
}

void Extra_UtilGetoptReset

(

)

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

Synopsis [util_getopt_reset()]

Description []

SideEffects []

SeeAlso []

Definition at line 93 of file extraUtilUtil.c.

{
    globalUtilOptarg = 0;
    globalUtilOptind = 0;
    pScanStr = 0;
}

void Extra_UtilMMout_Of_Memory

(

long

size

)

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

Synopsis [MMout_of_memory()]

Description []

SideEffects []

SeeAlso []

Definition at line 303 of file extraUtilUtil.c.

{
    (void) fflush(stdout);
    (void) fprintf(stderr, "\nout of memory allocating %u bytes\n",
                   (unsigned) size);
        assert( 0 );
    exit(1);
}

char* Extra_UtilPrintTime

(

long

t

)

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

Synopsis [util_print_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 162 of file extraUtilUtil.c.

{
    static char s[40];

    (void) sprintf(s, "%ld.%02ld sec", t/1000, (t%1000)/10);
    return s;
}

char* Extra_UtilStrsav

(

char *

s

)

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

Synopsis [Extra_UtilStrsav()]

Description []

SideEffects []

SeeAlso []

Definition at line 182 of file extraUtilUtil.c.

{
    if(s == NULL) {  /* added 7/95, for robustness */
       return s;
    }
    else {
       return strcpy(ALLOC(char, strlen(s)+1), s);
    }
}

char* Extra_UtilTildeExpand

(

char *

fname

)

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

Synopsis [util_tilde_expand()]

Description []

SideEffects []

SeeAlso []

Definition at line 203 of file extraUtilUtil.c.

{
    return Extra_UtilStrsav( fname );
}

---

Variable Documentation

void(* Extra_UtilMMoutOfMemory)() = Extra_UtilMMout_Of_Memory

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

Synopsis [MMoutOfMemory()]

Description []

SideEffects []

SeeAlso []

char* globalUtilOptarg

Definition at line 41 of file extraUtilUtil.c.

int globalUtilOptind = 0

Definition at line 42 of file extraUtilUtil.c.

char* pScanStr [static]

Definition at line 44 of file extraUtilUtil.c.