HPGCC3 Documentation 3.0 R003

sat3_common_idioms.h

Go to the documentation of this file.
00001 //& *** (c) 2006-2011 The HPGCC3 Team ***
00002 //& Claudio Lapilli
00003 //& Ingo Blank
00004 //&
00005 //& This file is licensed under the terms and conditions of the
00006 //& HPGCC3 license that is included with the source distribution.
00007 //& *** (c) 2006-2011 The HPGCC3 Team ***
00008 
00009 
00010 #ifndef __SAT3_COMMON_IDIOMS_H
00011 #define __SAT3_COMMON_IDIOMS_H
00012 
00013 //  $Id: sat3_common_idioms.h 542 2008-01-28 01:43:40Z ingo $
00014 
00015 #include <hpgcc3.h>
00016 
00017 int sat3_pop_int(int def);
00018 BOOL sat3_push_int_zint(int n);
00019 BOOL sat3_push_int_real(int n);
00020 BOOL sat3_push_int_bint(int n);
00021 BOOL sat3_push_llong_zint(LONGLONG n);
00022 BOOL sat3_push_decn_zint(decNumber *dcn);
00023 decNumber *sat3_pop_decn(char *def);
00024 double sat3_pop_dbl(double def);
00025 BOOL sat3_push_dbl_real(double x);
00026 char *sat3_pop_string_alloc();
00027 char *sat3_pop_string(char *s, int strl);
00028 BOOL sat3_push_string(const char *s);
00029 
00030 #endif // __SAT3_COMMON_IDIOMS_H
00031 
00032