home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / SOURCE / BUILT_IN.H < prev    next >
C/C++ Source or Header  |  1996-06-04  |  1KB  |  50 lines
  1. /* Copyright 1991 Digital Equipment Corporation.
  2. ** All Rights Reserved.
  3. *****************************************************************/
  4. /*     $Id: built_ins.h,v 1.4 1995/07/27 21:26:56 duchier Exp $     */
  5.  
  6. extern void init_built_in_types();
  7.  
  8. extern long check_real();
  9. extern long get_real_value();
  10. extern long unify_real_result();
  11. extern void unify_bool_result();
  12.  
  13. extern void new_built_in();
  14.  
  15. extern long file_exists();
  16. extern void exit_life();
  17. extern long abort_life();
  18. extern long c_abort();
  19.  
  20. extern ptr_psi_term stack_nil();
  21. extern ptr_psi_term stack_cons();
  22. extern ptr_psi_term stack_int();
  23. extern ptr_psi_term stack_pair();
  24. extern ptr_psi_term stack_string();
  25. extern ptr_psi_term stack_bytes();
  26.  
  27. ptr_psi_term collect_symbols();
  28.  
  29.  
  30.  
  31. /* used by collect_symbols */
  32.  
  33. #define least_sel 0
  34. #define greatest_sel 1
  35. #define op_sel 2
  36.  
  37. ptr_psi_term makePsiTerm ARGS((ptr_definition x));
  38. ptr_psi_term makePsiList ARGS((GENERIC head, ptr_psi_term (*valueFunc)(), \
  39.                                GENERIC (*nextFunc)()));
  40.  
  41. /* functions for accessing next and value fields of some structures */
  42.  
  43. ptr_psi_term intListValue();
  44. GENERIC intListNext();
  45. ptr_psi_term residListGoal();
  46. GENERIC residListNext();
  47. GENERIC unitListNext ARGS(());
  48. ptr_psi_term unitListValue ARGS(());
  49. void setUnitList ARGS((GENERIC x));
  50.