sat3_common_idioms.h File Reference

#include <hpgcc3.h>

Go to the source code of this file.

Functions
int	sat3_pop_int (int def)
BOOL	sat3_push_int_zint (int n)
BOOL	sat3_push_int_real (int n)
BOOL	sat3_push_int_bint (int n)
BOOL	sat3_push_llong_zint (LONGLONG n)
BOOL	sat3_push_decn_zint (decNumber *dcn)
decNumber *	sat3_pop_decn (char *def)
double	sat3_pop_dbl (double def)
BOOL	sat3_push_dbl_real (double x)
char *	sat3_pop_string_alloc ()
char *	sat3_pop_string (char *s, int strl)
BOOL	sat3_push_string (const char *s)

---

Function Documentation

double sat3_pop_dbl

(

double

def

)

decNumber* sat3_pop_decn

(

char *

def

)

int sat3_pop_int

(

int

def

)

char* sat3_pop_string	(	char *	s,
		int	strl
	)

char* sat3_pop_string_alloc

(

)

BOOL sat3_push_dbl_real

(

double

x

)

BOOL sat3_push_decn_zint

(

decNumber *

dcn

)

BOOL sat3_push_int_bint

(

int

n

)

BOOL sat3_push_int_real

(

int

n

)

BOOL sat3_push_int_zint

(

int

n

)

BOOL sat3_push_llong_zint

(

LONGLONG

n

)

BOOL sat3_push_string

(

const char *

s

)