blob: 66d5193abb815b858f3bb764ae3248d70a6bb57f (
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/*@@
@file Banner.c
@date July 16 00:11:26 1999
@author Gabrielle Allen
@desc
Routines to deal with the Cactus banners.
@enddesc
@@*/
#include <stdlib.h>
#include <stdio.h>
#include "config.h"
#include "cctk_parameters.h"
static int number_banners = 0;
static const char **banner_strings;
void CCTKi_PrintBanners(void);
/*@@
@routine CCTK_RegisterBanner
@date July 16 00:11:26 1999
@author Gabrielle Allen
@desc
Registers a string as a banner
@enddesc
@var string
@vdesc The banner as a C string
@vtype const char *
@vio
@vcomment
@endvar
@@*/
void CCTK_RegisterBanner(const char *string)
{
const char **temp = NULL;
number_banners++;
if (number_banners == 1)
{
banner_strings = (const char **)malloc( number_banners*sizeof(const char *));
temp = banner_strings;
}
else
{
temp = realloc( banner_strings, number_banners*sizeof(const char *));
if(temp)
{
banner_strings = temp;
}
}
if(temp)
{
banner_strings[number_banners-1] = string;
}
}
/*@@
@routine CCTKi_PrintBanners
@date July 16 00:11:26 1999
@author Gabrielle Allen
@desc
Print all registered banners
@enddesc
@var string
@vdesc The banner as a C string
@vtype const char *
@vio
@vcomment
@endvar
@@*/
void CCTKi_PrintBanners(void)
{
DECLARE_CCTK_PARAMETERS
int i;
if (cctk_show_banners)
{
for (i=0;i<number_banners;i++)
{
if (banner_strings[i])
{
printf("-------------------------------------------------------------------------------------\n");
printf("%s\n",banner_strings[i]);
printf("-------------------------------------------------------------------------------------\n");
}
}
}
}
|
