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     ! 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.