utilSignal.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "abc_global.h"
#include "utilSignal.h"
#include <unistd.h>

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	Util_SignalSystem (const char *cmd)
	DECLARATIONS ///. More...
int	tmpFile (const char *prefix, const char *suffix, char **out_name)
int	Util_SignalTmpFile (const char *prefix, const char *suffix, char **out_name)
	INCLUDES ///. More...
void	Util_SignalTmpFileRemove (const char *fname, int fLeave)

Function Documentation

int tmpFile	(	const char *	prefix,
		const char *	suffix,
		char **	out_name
	)

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

Synopsis [Opens a temporary file.]

Description [Opens a temporary file with given prefix and returns file descriptor (-1 on failure) and a string containing the name of the file (to be freed by caller).]

SideEffects []

SeeAlso []

Definition at line 89 of file utilFile.c.

{
#if defined(_MSC_VER) || defined(__MINGW32__)
    int i, fd;
    *out_name = (char*)malloc(strlen(prefix) + strlen(suffix) + 27);
    for (i = 0; i < 10; i++){
        sprintf(*out_name, "%s%I64X%d%s", prefix, realTimeAbs(), _getpid(), suffix);
        fd = _open(*out_name, O_CREAT | O_EXCL | O_BINARY | O_RDWR, _S_IREAD | _S_IWRITE);
        if (fd == -1){
            free(*out_name);
            *out_name = NULL;
        }
        return fd;
    }
    assert(0);  // -- could not open temporary file
    return 0;
#else
    int fd;
    *out_name = (char*)malloc(strlen(prefix) + strlen(suffix) + 7);
    assert(*out_name != NULL);
    sprintf(*out_name, "%sXXXXXX", prefix);
    fd = mkstemp(*out_name);
    if (fd == -1){
        free(*out_name);
        *out_name = NULL;
    }else{
        // Kludge:
        close(fd);
        unlink(*out_name);
        strcat(*out_name, suffix);
        fd = open(*out_name, O_CREAT | O_EXCL | O_RDWR, S_IREAD | S_IWRITE);
        if (fd == -1){
            free(*out_name);
            *out_name = NULL;
        }
    }
    return fd;
#endif
}

ABC_NAMESPACE_IMPL_START int Util_SignalSystem

(

const char *

cmd

)

DECLARATIONS ///.

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

FileName [utilSignal.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName []

Synopsis []

Author [Baruch Sterin]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - February 1, 2011.]

Revision [

Id:

utilSignal.c,v 1.00 2011/02/01 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS ///

Definition at line 46 of file utilSignal.c.

{
    return system(cmd);
}

int Util_SignalTmpFile	(	const char *	prefix,
		const char *	suffix,
		char **	out_name
	)

INCLUDES ///.

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

FileName [utilSignal.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Signal handling utilities.]

Synopsis [Signal handling utilities.]

Author [Baruch Sterin]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - February 1, 2011.]

Revision [

Id:

utilSignal.h,v 1.00 2011/02/01 00:00:00 alanmi Exp

]PARAMETERS ///BASIC TYPES ///MACRO DEFINITIONS ///FUNCTION DECLARATIONS ///

Definition at line 53 of file utilSignal.c.

{
    return tmpFile(prefix, suffix, out_name);
}

void Util_SignalTmpFileRemove	(	const char *	fname,
		int	fLeave
	)

Definition at line 58 of file utilSignal.c.

{
    if (! fLeave)
    {
        unlink(fname);
    }
}