Return to b2sem.h CVS log

Up to [CSRG BSD Unix] / 43BSD / contrib / B / src / bsmall

Annotation of 43BSD/contrib/B/src/bsmall/b2sem.h, revision 1.1.1.1

1.1       root        1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. */
                      2: /* $Header: b2sem.h,v 1.1 84/06/28 00:48:50 timo Exp $ */
                      3: 
                      4: /* bsem.h: semantics */
                      5: 
                      6: typedef bool outcome;
                      7: #define Succ Yes
                      8: #define Fail No
                      9: #define Und ((bool) '?') /* absence of REPORTed outcome */
                     10: 
                     11: #define Ifxeq(v) (xeq ? (v) : Dumval)
                     12: 
                     13: extern bool xeq;
                     14: 
                     15: extern envtab prmnvtab;
                     16: extern envchain prmnvchain;
                     17: extern env prmnv;
                     18: 
                     19: /* Locations */
                     20: loc local_loc();
                     21: loc global_loc();
                     22: 
                     23: value content();
                     24: /* Procedure check_location(); */
                     25: loc trim_loc();
                     26: loc tbsel_loc();
                     27: /* Procedure put(); */
                     28: /* Procedure l_delete(); */
                     29: /* Procedure l_insert(); */
                     30: /* Procedure l_remove(); */
                     31: /* Procedure choose(); */
                     32: /* Procedure draw(); */
                     33: /* Procedure bind(); */
                     34: 
                     35: /* Functions and Predicates */
                     36: bool is_zerfun();
                     37: bool is_monfun();
                     38: bool is_dyafun();
                     39: bool is_zerprd();
                     40: bool is_monprd();
                     41: bool is_dyaprd();
                     42: value montor();
                     43: value dyator();
                     44: value formula();
                     45: outcome proposition();
                     46: /* Procedure initfprs(); */
                     47: 
                     48: /* Expressions: */
                     49: value expr();
                     50: value obasexpr();
                     51: value tag();
                     52: value constant();
                     53: value conversion();
                     54: /* Procedure trimbc(); */
                     55: /* Procedure inittors(); */
                     56: 
                     57: /* Targets: */
                     58: loc targ();
                     59: loc bastarg();
                     60: 
                     61: /* Tests: */
                     62: outcome test();
                     63: bool relop();
                     64: outcome comparison();
                     65: 
                     66: /* Commands: */
                     67: /* Procedure command(); */
                     68: /* Procedure comm_suite(); */
                     69: /* Procedure initcom(); */
                     70: 
                     71: /* B units */
                     72: 
                     73: extern value resval; extern outcome resout;
                     74: extern bool terminated;
                     75: 
                     76: bool unit();
                     77: /* Procedure getunit(); */
                     78: /* Procedure ytu_heading(); */
                     79: bool udc();
                     80: /* Procedure udfpr(); */
                     81: bool ref_com();
                     82: /* Procedure ref_et(); */
                     83: value eva_formal();
                     84: loc loc_formal();
                     85: /* Procedure inithow(); */

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.