# 2.11BSD#431 - /usr/src/new/PORT/B/src/bsmall/b2sem.h

##### Macros

    Fail              X
    Ifxeq             X
    Succ              X
    Und               X

       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(); */

#### Defined macros

Fail defined in line 8; used 3 times

- in /usr/src/new/PORT/B/src/bsmall/b2cmd.c line 83, 315
- in /usr/src/new/PORT/B/src/bsmall/b2tes.c line 183

Ifxeq defined in line 11; used 2 times

- in /usr/src/new/PORT/B/src/bsmall/b2exp.c line 402, 414

Succ defined in line 7; used 8 times

- in /usr/src/new/PORT/B/src/bsmall/b2cmd.c line 240, 258-261(2), 351, 495
- in /usr/src/new/PORT/B/src/bsmall/b2tes.c line 177, 183, 196

Und defined in line 9; used 6 times

- in /usr/src/new/PORT/B/src/bsmall/b2fpr.c line 238
- in /usr/src/new/PORT/B/src/bsmall/b2tes.c line 63
- in /usr/src/new/PORT/B/src/bsmall/b2uni.c line 270, 297, 349, 358

#### Usage of this include

b2sem.h used 13 times

- in /usr/src/new/PORT/B/src/bsmall/B1fun.c line 7
- in /usr/src/new/PORT/B/src/bsmall/B1val.c line 11
- in /usr/src/new/PORT/B/src/bsmall/b2cmd.c line 13
- in /usr/src/new/PORT/B/src/bsmall/b2err.c line 11
- in /usr/src/new/PORT/B/src/bsmall/b2exp.c line 11
- in /usr/src/new/PORT/B/src/bsmall/b2fpr.c line 9
- in /usr/src/new/PORT/B/src/bsmall/b2loc.c line 9
- in /usr/src/new/PORT/B/src/bsmall/b2mai.c line 16
- in /usr/src/new/PORT/B/src/bsmall/b2sou.c line 14
- in /usr/src/new/PORT/B/src/bsmall/b2tar.c line 9
- in /usr/src/new/PORT/B/src/bsmall/b2tes.c line 10
- in /usr/src/new/PORT/B/src/bsmall/b2typ.c line 8
- in /usr/src/new/PORT/B/src/bsmall/b2uni.c line 15

Last modified: 1985-08-27 Generated: 2016-12-26 | Generated by src2html V0.67 page hit count: 553 |