version 1.1, 2018/09/19 05:45:08 |
version 1.3, 2019/03/27 05:34:47 |
|
|
/* $OpenXM$ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/parse/gc_risa.c,v 1.2 2018/10/01 07:48:01 noro Exp $ */ |
|
|
#if defined(VISUAL) || defined(__MINGW32__) |
#if defined(VISUAL) || defined(__MINGW32__) |
#include "private/gcconfig.h" |
#include "private/gcconfig.h" |
Line 240 extern int GC_free_space_numerator; |
|
Line 240 extern int GC_free_space_numerator; |
|
|
|
void Risa_GC_get_adj(int *nm, int *dn) { |
void Risa_GC_get_adj(int *nm, int *dn) { |
*nm = GC_free_space_numerator; |
*nm = GC_free_space_numerator; |
*dn = GC_free_space_divisor; |
*dn = GC_get_free_space_divisor(); |
} |
} |
|
|
void Risa_GC_set_adj(int nm, int dn) { |
void Risa_GC_set_adj(int nm, int dn) { |
GC_free_space_numerator = nm; |
GC_free_space_numerator = nm; |
GC_free_space_divisor = dn; |
GC_set_free_space_divisor(dn); |
} |
} |
#else |
#else |
void Risa_GC_get_adj(int *nm, int *dn) { |
void Risa_GC_get_adj(int *nm, int *dn) { |
*nm = 1; |
*nm = 1; |
*dn = GC_free_space_divisor; |
*dn = GC_get_free_space_divisor(); |
} |
} |
|
|
void Risa_GC_set_adj(int nm, int dn) { |
void Risa_GC_set_adj(int nm, int dn) { |
GC_free_space_divisor = dn/nm; |
GC_set_free_space_divisor(dn/nm); |
} |
} |
|
#endif |
double GC_get_gctime() { |
double GC_get_gctime() { |
return 0.0; |
return 0.0; |
} |
} |
#endif |
|
|
|
#if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__) |
#if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__) |
#include <signal.h> |
#include <signal.h> |