src/misc/util/util_hack.h File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include <time.h>
#include <math.h>

Include dependency graph for util_hack.h:

Go to the source code of this file.

Defines
#define	EXTERN   extern
#define	NIL(type)   ((type *) 0)
#define	random   rand
#define	srandom   srand
#define	util_cpu_time   Extra_CpuTime
#define	getSoftDataLimit   Extra_GetSoftDataLimit
#define	util_getopt_reset   Extra_UtilGetoptReset
#define	util_getopt   Extra_UtilGetopt
#define	util_print_time   Extra_UtilPrintTime
#define	util_strsav   Extra_UtilStrsav
#define	util_tilde_expand   Extra_UtilTildeExpand
#define	util_file_search   Extra_UtilFileSearch
#define	MMoutOfMemory   Extra_UtilMMoutOfMemory
#define	util_optarg   globalUtilOptarg
#define	util_optind   globalUtilOptind
#define	ALLOC(type, num)   ((type *) malloc(sizeof(type) * (num)))
#define	FREE(obj)   ((obj) ? (free((char *) (obj)), (obj) = 0) : 0)
#define	REALLOC(type, obj, num)
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)
char *	Extra_UtilFileSearch (char *file, char *path, char *mode)
Variables
char *	globalUtilOptarg
int	globalUtilOptind

---

Define Documentation

#define ALLOC	(	type,
		num		)	((type *) malloc(sizeof(type) * (num)))

Definition at line 73 of file util_hack.h.

#define EXTERN   extern

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

FileName [util_hack.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [This file is used to simulate the presence of "util.h".]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 35 of file util_hack.h.

#define FREE

(

obj

)

((obj) ? (free((char *) (obj)), (obj) = 0) : 0)

Definition at line 74 of file util_hack.h.

#define getSoftDataLimit   Extra_GetSoftDataLimit

Definition at line 41 of file util_hack.h.

#define MMoutOfMemory   Extra_UtilMMoutOfMemory

Definition at line 48 of file util_hack.h.

#define NIL

(

type

)

((type *) 0)

Definition at line 36 of file util_hack.h.

#define random   rand

Definition at line 37 of file util_hack.h.

#define REALLOC	(	type,
		obj,
		num		)

Value:

((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \
        ((type *) malloc(sizeof(type) * (num))))

Definition at line 75 of file util_hack.h.

#define srandom   srand

Definition at line 38 of file util_hack.h.

#define util_cpu_time   Extra_CpuTime

Definition at line 40 of file util_hack.h.

#define util_file_search   Extra_UtilFileSearch

Definition at line 47 of file util_hack.h.

#define util_getopt   Extra_UtilGetopt

Definition at line 43 of file util_hack.h.

#define util_getopt_reset   Extra_UtilGetoptReset

Definition at line 42 of file util_hack.h.

#define util_optarg   globalUtilOptarg

Definition at line 50 of file util_hack.h.

#define util_optind   globalUtilOptind

Definition at line 51 of file util_hack.h.

#define util_print_time   Extra_UtilPrintTime

Definition at line 44 of file util_hack.h.

#define util_strsav   Extra_UtilStrsav

Definition at line 45 of file util_hack.h.

#define util_tilde_expand   Extra_UtilTildeExpand

Definition at line 46 of file util_hack.h.

---

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;
}

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;
}

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

char* globalUtilOptarg

Definition at line 41 of file extraUtilUtil.c.

int globalUtilOptind

Definition at line 42 of file extraUtilUtil.c.