blob: f5e79c55ef36f61f0c7dfdf84495789670ef1d71 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#include <stdio.h>
/** generate a temporary file name **/
char * tmpnam(char *s)
{
static int ntimescalled = 0;
static char path[L_tmpnam];
if (ntimescalled >= TMP_MAX) {
return NULL;
}
ntimescalled++;
if (s == NULL) {
s = path;
}
/*
RETURN_SUCCESS(a pointer to the temporary file name);
*/
return s;
}
/***
generates a unique file name that can be used as a
temporary file. A new file name is generated every time the function is called
up to CONSTANT(TMP_MAX) times.
If ARGUMENT(s) is CONSTANT(NULL), the temporary name is stored in a static
internal buffer. This buffer may be overwritten by additional calls to
THIS().
If ARGUMENT(s) is not CONSTANT(NULL), it should point to a TYPE(char) array of
at least CONSTANT(L_tmpnam) characters. The temporary name will be copied to
this array.
***/
/*
IMPLEMENTATION(Behavior if THIS() is called more than CONSTANT(TMP_MAX) times)
STDC(1)
*/
|
