# 2.11BSD#431 - /usr/src/new/PORT/B/src/bint/b1obj.h

##### Macros

    Field             X
    Formal            X
    Funprd            X
    How_to            X
    Is_ELT            X
    Is_compound       X
    Is_filed          X
    Is_formal         X
    Is_function       X
    Is_howto          X
    Is_list           X
    Is_locloc         X
    Is_number         X
    Is_parsetree      X
    Is_predicate      X
    Is_refinement     X
    Is_simploc        X
    Is_table          X
    Is_tbseloc        X
    Is_text           X
    Is_tlt            X
    Is_trimloc        X
    Lastfield         X
    Nfields           X
    Perm              X
    Refinement        X
    Simploc           X
    Tbseloc           X
    Trimloc           X
    k_Overfields      X
    mk_compound       X
    one               X
    zero              X

##### typedef's

    relation          X

       1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
       2:
       3: /*
       4:   $Header: b1obj.h,v 1.4 85/08/22 16:42:02 timo Exp $
       5: */
       6:
       7: /* B values, locations, environments: the B abstract machine */
       8:
       9: /****************************** general ******************************/
      10:
      11: typedef int relation; /* < 0, == 0, > 0 */
      12: relation compare();
      13:
      14: #define Is_text(v) (Type(v) == Tex)
      15: #define Is_number(v) (Type(v) == Num)
      16: #define Is_compound(v) (Type(v) == Com)
      17: #define Is_list(v) (Type(v) == Lis || Type(v) == ELT)
      18: #define Is_table(v) (Type(v) == Tab || Type(v) == ELT)
      19: #define Is_tlt(v) (Type(v)==Tex || Type(v)==Lis || Type(v)==Tab || Type(v)==ELT)
      20: #define Is_ELT(v) (Type(v) == ELT)
      21:
      22: #define Is_parsetree(v) (Type(v) == Ptn)
      23: #define Is_locloc(v) IsSmallInt(v)
      24: #define Is_simploc(v) (Type(v) == Sim)
      25: #define Is_tbseloc(v) (Type(v) == Tse)
      26: #define Is_trimloc(v) (Type(v) == Tri)
      27: #define Is_refinement(v) (Type(v) == Ref)
      28: #define Is_formal(v) (Type(v) == For)
      29: #define Is_filed(v) (Type(v) == Per)
      30: #define Is_function(v) (Type(v) == Fun)
      31: #define Is_predicate(v) (Type(v) == Prd)
      32: #define Is_howto(v) (Type(v) == How)
      33:
      34: value grab_num();
      35: value regrab_num();
      36: value grab_rat();
      37: value grab_tex();
      38: value grab_com();
      39: value grab_elt();
      40: value grab_lis();
      41: value grab_tab();
      42: value grab_ptn();
      43: value grab_sim();
      44: value grab_tri();
      45: value grab_tse();
      46: value grab_how();
      47: value grab_for();
      48: value grab_per();
      49: value grab_fun();
      50: value grab_prd();
      51: value grab_ref();
      52:
      53: value copy();
      54: /* Procedure release(); */
      55: /* Procedure uniql(); */
      56: /* Procedure uniq_assoc(); */
      57: double hash();
      58:
      59: /****************************** Texts ******************************/
      60: string strcpy(), strncpy(), strcat(), sprintf(), index();
      61:
      62: bool character();
      63:
      64: value mk_text();
      65: char charval();
      66: string strval();
      67:
      68: value concat();
      69: value behead();
      70: value curtail();
      71: #ifdef INTEGRATION
      72: value trim();
      73: #endif
      74: value repeat();
      75:
      76: value adjleft();
      77: value centre();
      78: value adjright();
      79:
      80: value convert();
      81:
      82: /****************************** Numbers ******************************/
      83:
      84: /* Predicates */
      85: bool integral();        /* is the value an integer? */
      86: bool large();       /* can a number be represented by a C int? */
      87:
      88: /* Constants */
      89: #define zero MkSmallInt(0)
      90: #define one MkSmallInt(1)
      91:
      92: /* Conversion of abstract values to concrete objects */
      93: double numval();     /* numeric value of any number */
      94: int intval();        /* numeric value of integral number */
      95: intlet propintlet(); /* converts int to intlet */
      96: string convnum();    /* character string approximation of any number */
      97: relation numcomp();  /* comparison of two numbers: yields -1, 0 or 1 */
      98: double numhash();    /* hashes any abstract number to a 'double' */
      99:
     100: /* Conversion of concrete objects to abstract numbers */
     101: value numconst();    /* string argument */
     102: value mk_integer();  /* int argument */
     103:
     104: /* Functions on numbers */
     105: value sum();
     106: value diff();
     107: value negated();
     108: value prod();
     109: value quot();
     110: value modulo();
     111: value floorf();
     112: value ceilf();
     113: value round1();
     114: value round2();
     115: value mod();
     116: value power();
     117: value absval();
     118: value signum();
     119: value numerator();
     120: value denominator();
     121: value approximate();
     122: value random();
     123: value root1();
     124: value sin1();
     125: value cos1();
     126: value tan1();
     127: value atn1();
     128: value exp1();
     129: value log1();
     130: value root2();
     131: value atn2();
     132: value log2();
     133: value pi();
     134: value e();
     135:
     136: /****************************** Compounds ******************************/
     137: #define Nfields(c) Length(c)
     138: #define Field(c, i) ((Ats(c)+(i)))
     139: #define k_Overfields for (k= 0; k < len; k++)
     140: #define Lastfield(k) ((k) == len-1)
     141:
     142: #define mk_compound(len) grab_com(len)
     143:
     144: /****************************** Lists ******************************/
     145: value mk_numrange();
     146: value mk_charrange();
     147:
     148: /* Procedure insert(); */
     149: /* Procedure remove(); */
     150:
     151: /****************************** Tables ******************************/
     152:
     153: value keys();
     154: bool in_keys();
     155: value associate();
     156:
     157: /* Procedure replace(); */
     158: /* Procedure delete(); */
     159:
     160: value* adrassoc();
     161: value* key();
     162: value* assoc();
     163:
     164: /****************************** Texts, Lists, and Tables *******************/
     165: value mk_elt();
     166:
     167: bool in();
     168:
     169: value size();
     170: value size2();
     171: value min1();
     172: value min2();
     173: value max1();
     174: value max2();
     175: value th_of();
     176: value thof();
     177:
     178: int length(); /* The same as size, temporary until part2 is written in B */
     179: bool empty(); /* whether #v=0: also temporary */
     180:
     181: /****************************** Other kinds of value ************************/
     182:
     183: #define Simploc(l) ((simploc *)Ats(l))
     184: #define Tbseloc(l) ((tbseloc *)Ats(l))
     185: #define Trimloc(l) ((trimloc *)Ats(l))
     186: #define Funprd(f)  ((funprd *)Ats(f))
     187: #define How_to(u)  ((how *)Ats(u))
     188: #define Formal(f)  ((formal *)Ats(f))
     189: #define Refinement(r) ((ref *)Ats(r))
     190: #define Perm(p) ((per *)Ats(p))
     191:
     192: loc mk_simploc();
     193: loc mk_trimloc();
     194: loc mk_tbseloc();
     195:
     196: value mk_per();
     197: fun mk_fun();
     198: prd mk_prd();
     199: value mk_how();
     200: value mk_ref();

#### Defined typedef's

relation defined in line 11; used 21 times

- in line 12, 97
- in /usr/src/new/PORT/B/src/bint/b1lta.c line 213, 562-563(2), 589-590(2)
- in /usr/src/new/PORT/B/src/bint/b1nuI.c line 187
- in /usr/src/new/PORT/B/src/bint/b1nuR.c line 245
- in /usr/src/new/PORT/B/src/bint/b1num.c line 142-143(2)
- in /usr/src/new/PORT/B/src/bint/b1obj.c line 23, 36-39(2), 256, 283
- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 382, 412-413(2), 611
- in /usr/src/new/PORT/B/src/bint/b2stc.c line 355

#### Defined macros

Field defined in line 138; used 89 times

- in /usr/src/new/PORT/B/src/bint/b1obj.c line 61(2), 91, 157
- in /usr/src/new/PORT/B/src/bint/b2ana.c line 136
- in /usr/src/new/PORT/B/src/bint/b2cmd.c line 259
- in /usr/src/new/PORT/B/src/bint/b2dis.c line 236-238(2), 246, 254
- in /usr/src/new/PORT/B/src/bint/b2exp.c line 91-92(2), 180, 414-415(2), 443
- in /usr/src/new/PORT/B/src/bint/b2fix.c line 42
- in /usr/src/new/PORT/B/src/bint/b2gen.c line 289, 474
- in /usr/src/new/PORT/B/src/bint/b2stc.c line 349, 578-581(2), 604-612(4), 691
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 27-29(3), 53-59(3), 71, 145-146(2)
- in /usr/src/new/PORT/B/src/bint/b2uni.c line 350
- in /usr/src/new/PORT/B/src/bint/b3env.c line 91-92(3), 101-103(3), 113-114(2)
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 116-125(7), 148-151(3), 160-169(6)
- in /usr/src/new/PORT/B/src/bint/b3int.c line 217
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 51, 170(2), 195(2), 219-221(3), 240, 265, 335, 349
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 137
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 463, 528-533(2), 559, 571-573(2), 595-597(2)
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 46(2), 59(2), 95(2)

Formal defined in line 188; used 5 times

- in /usr/src/new/PORT/B/src/bint/b3sta.c line 411, 499, 561, 575, 599

Funprd defined in line 186; used 5 times

- in /usr/src/new/PORT/B/src/bint/b2gen.c line 439
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 451, 474, 483, 492

How_to defined in line 187; used 7 times

- in /usr/src/new/PORT/B/src/bint/b2gen.c line 531
- in /usr/src/new/PORT/B/src/bint/b3sou.c line 58, 212, 542-546(2), 896
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 518

Is_ELT defined in line 20; used 8 times

- in /usr/src/new/PORT/B/src/bint/b1lta.c line 399, 432, 934
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 146
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 61, 91-92(3)

Is_compound defined in line 16; used 32 times

- in /usr/src/new/PORT/B/src/bint/b1obj.c line 88
- in /usr/src/new/PORT/B/src/bint/b3env.c line 88, 99, 111
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 89, 108, 137-142(2)
- in /usr/src/new/PORT/B/src/bint/b3int.c line 311, 322
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 51, 75, 164-166(2), 191-192(2), 214, 238, 263, 333, 347
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 107, 132
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 489, 557, 570, 589-593(2)
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 44, 57, 93(2)

Is_filed defined in line 29; used 3 times

- in /usr/src/new/PORT/B/src/bint/b3sou.c line 628, 713, 841

Is_formal defined in line 28; used 4 times

- in /usr/src/new/PORT/B/src/bint/b3sta.c line 413, 560, 574, 598

Is_function defined in line 30; used 3 times

- in /usr/src/new/PORT/B/src/bint/b3fpr.c line 136
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 447, 472

Is_howto defined in line 32; never used
Is_list defined in line 17; used 11 times

- in /usr/src/new/PORT/B/src/bint/b1lta.c line 929, 951
- in /usr/src/new/PORT/B/src/bint/b1obj.c line 105
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 287, 297
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 146
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 63, 91-97(4)

Is_locloc defined in line 23; used 3 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 18, 25, 156

Is_number defined in line 15; used 17 times

- in /usr/src/new/PORT/B/src/bint/b1num.c line 56, 74, 228
- in /usr/src/new/PORT/B/src/bint/b1obj.c line 87
- in /usr/src/new/PORT/B/src/bint/b1tex.c line 359, 381, 434
- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 100
- in /usr/src/new/PORT/B/src/bint/b3fpr.c line 171-175(2)
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 38, 55
- in /usr/src/new/PORT/B/src/bint/b3int.c line 81
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 109
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 55, 89(2)

Is_parsetree defined in line 22; used 5 times

- in /usr/src/new/PORT/B/src/bint/b1com.c line 22
- in /usr/src/new/PORT/B/src/bint/b2dis.c line 148
- in /usr/src/new/PORT/B/src/bint/b2fix.c line 202
- in /usr/src/new/PORT/B/src/bint/b3int.c line 75
- in /usr/src/new/PORT/B/src/bint/b3tra.c line 136

Is_predicate defined in line 31; used 3 times

- in /usr/src/new/PORT/B/src/bint/b3fpr.c line 138
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 447, 481

Is_refinement defined in line 27; used 1 times

- in /usr/src/new/PORT/B/src/bint/b3sta.c line 510

Is_simploc defined in line 24; used 10 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 22, 45, 91, 126, 158, 232, 258, 329, 343
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 30

Is_table defined in line 18; used 17 times

- in /usr/src/new/PORT/B/src/bint/b1lta.c line 459, 491, 564, 1021
- in /usr/src/new/PORT/B/src/bint/b1obj.c line 112
- in /usr/src/new/PORT/B/src/bint/b3env.c line 94, 106, 116
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 67, 176, 246
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 158
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 70, 91-92(2), 102(2)

Is_tbseloc defined in line 25; used 8 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 30, 61, 91, 126, 171, 242, 266
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 34

Is_text defined in line 14; used 37 times

- in /usr/src/new/PORT/B/src/bint/b1lta.c line 564, 591(2)
- in /usr/src/new/PORT/B/src/bint/b1obj.c line 97
- in /usr/src/new/PORT/B/src/bint/b1tex.c line 355, 377, 409(2), 430, 455, 498-503(2)
- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 528-529(2), 558-559(2)
- in /usr/src/new/PORT/B/src/bint/b2ana.c line 178
- in /usr/src/new/PORT/B/src/bint/b2dis.c line 147
- in /usr/src/new/PORT/B/src/bint/b2exp.c line 601
- in /usr/src/new/PORT/B/src/bint/b2fix.c line 56, 62, 111, 123, 139
- in /usr/src/new/PORT/B/src/bint/b3err.c line 147, 203, 222
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 22, 54, 138
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 105, 162
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 106, 115
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 56, 90(2)

Is_tlt defined in line 19; used 11 times

- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 98, 356, 365, 514, 524, 544, 554, 578, 630
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 110
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 309

Is_trimloc defined in line 26; used 7 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 74, 95, 161, 198, 235, 261
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 42

Lastfield defined in line 140; used 1 times

- in /usr/src/new/PORT/B/src/bint/b3scr.c line 138

Nfields defined in line 137; used 41 times

- in /usr/src/new/PORT/B/src/bint/b1obj.c line 59-60(3), 89, 152
- in /usr/src/new/PORT/B/src/bint/b2ana.c line 134
- in /usr/src/new/PORT/B/src/bint/b2dis.c line 232, 243, 251
- in /usr/src/new/PORT/B/src/bint/b2fix.c line 43
- in /usr/src/new/PORT/B/src/bint/b2gen.c line 287, 472
- in /usr/src/new/PORT/B/src/bint/b2stc.c line 345, 577, 602, 688
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 67
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 108, 147, 158
- in /usr/src/new/PORT/B/src/bint/b3int.c line 215, 273, 285
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 165-168(3), 192(2), 216, 239, 264, 334, 348
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 133
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 591
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 45(2), 58(2), 94(2)

Perm defined in line 190; used 1 times

- in /usr/src/new/PORT/B/src/bint/b3sou.c line 629

Refinement defined in line 189; used 2 times

- in /usr/src/new/PORT/B/src/bint/b3sta.c line 435, 511

Simploc defined in line 183; used 8 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 23, 46, 159, 233, 259, 330, 344
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 31

Tbseloc defined in line 184; used 6 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 31, 62, 172, 243, 267
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 35

Trimloc defined in line 185; used 2 times

- in /usr/src/new/PORT/B/src/bint/b3loc.c line 96, 163

k_Overfields defined in line 139; used 12 times

- in /usr/src/new/PORT/B/src/bint/b1obj.c line 90
- in /usr/src/new/PORT/B/src/bint/b2gen.c line 473
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 170, 194, 218, 240, 265, 335, 349
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 46, 59, 95

mk_compound defined in line 142; used 16 times

- in /usr/src/new/PORT/B/src/bint/b2cmd.c line 258
- in /usr/src/new/PORT/B/src/bint/b2exp.c line 412, 441, 533
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 52-54(2), 144
- in /usr/src/new/PORT/B/src/bint/b2uni.c line 348
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 115, 147
- in /usr/src/new/PORT/B/src/bint/b3int.c line 215
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 462, 524, 565
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 45, 58

one defined in line 90; used 36 times

- in /usr/src/new/PORT/B/src/bint/b1fun.c line 239, 502
- in /usr/src/new/PORT/B/src/bint/b1lta.c line 286, 653, 686, 713, 982
- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 68, 104, 249
- in /usr/src/new/PORT/B/src/bint/b2dis.c line 192
- in /usr/src/new/PORT/B/src/bint/b2fix.c line 70
- in /usr/src/new/PORT/B/src/bint/b2gen.c line 22-25(2)
- in /usr/src/new/PORT/B/src/bint/b2stc.c line 44, 171
- in /usr/src/new/PORT/B/src/bint/b2tcE.c line 73, 219, 228
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 154
- in /usr/src/new/PORT/B/src/bint/b2uni.c line 211
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 44, 116, 125, 161-162(3)
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 109, 141, 316
- in /usr/src/new/PORT/B/src/bint/b3mai.c line 288, 303
- in /usr/src/new/PORT/B/src/bint/b3sou.c line 212, 336, 745
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 38

zero defined in line 89; used 14 times

- in /usr/src/new/PORT/B/src/bint/b1fun.c line 482, 499
- in /usr/src/new/PORT/B/src/bint/b1tex.c line 438
- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 92, 219
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 314
- in /usr/src/new/PORT/B/src/bint/b2uni.c line 199
- in /usr/src/new/PORT/B/src/bint/b3err.c line 422
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 94(2), 113(2), 142(2)

#### Usage of this include

b1obj.h used 43 times

- in /usr/src/new/PORT/B/src/bint/b1com.c line 16
- in /usr/src/new/PORT/B/src/bint/b1fun.c line 13
- in /usr/src/new/PORT/B/src/bint/b1lta.c line 11
- in /usr/src/new/PORT/B/src/bint/b1mem.c line 10
- in /usr/src/new/PORT/B/src/bint/b1nuA.c line 11
- in /usr/src/new/PORT/B/src/bint/b1nuC.c line 11
- in /usr/src/new/PORT/B/src/bint/b1nuG.c line 9
- in /usr/src/new/PORT/B/src/bint/b1nuI.c line 10
- in /usr/src/new/PORT/B/src/bint/b1nuQ.c line 8
- in /usr/src/new/PORT/B/src/bint/b1nuR.c line 11
- in /usr/src/new/PORT/B/src/bint/b1num.c line 11
- in /usr/src/new/PORT/B/src/bint/b1obj.c line 10
- in /usr/src/new/PORT/B/src/bint/b1tex.c line 10
- in /usr/src/new/PORT/B/src/bint/b1tlt.c line 11
- in /usr/src/new/PORT/B/src/bint/b1val.c line 11
- in /usr/src/new/PORT/B/src/bint/b2ana.c line 8
- in /usr/src/new/PORT/B/src/bint/b2cmd.c line 9
- in /usr/src/new/PORT/B/src/bint/b2dis.c line 8
- in /usr/src/new/PORT/B/src/bint/b2exp.c line 8
- in /usr/src/new/PORT/B/src/bint/b2fix.c line 8
- in /usr/src/new/PORT/B/src/bint/b2gen.c line 9
- in /usr/src/new/PORT/B/src/bint/b2stc.c line 10
- in /usr/src/new/PORT/B/src/bint/b2syn.c line 9
- in /usr/src/new/PORT/B/src/bint/b2tar.c line 8
- in /usr/src/new/PORT/B/src/bint/b2tcE.c line 10
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 10
- in /usr/src/new/PORT/B/src/bint/b2tcU.c line 10
- in /usr/src/new/PORT/B/src/bint/b2tes.c line 8
- in /usr/src/new/PORT/B/src/bint/b2uni.c line 9
- in /usr/src/new/PORT/B/src/bint/b3env.c line 10
- in /usr/src/new/PORT/B/src/bint/b3err.c line 30
- in /usr/src/new/PORT/B/src/bint/b3fil.c line 13
- in /usr/src/new/PORT/B/src/bint/b3fpr.c line 10
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 10
- in /usr/src/new/PORT/B/src/bint/b3int.c line 12
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 10
- in /usr/src/new/PORT/B/src/bint/b3mai.c line 12
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 12
- in /usr/src/new/PORT/B/src/bint/b3sig.c line 11
- in /usr/src/new/PORT/B/src/bint/b3sou.c line 14
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 120
- in /usr/src/new/PORT/B/src/bint/b3tra.c line 11
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 9

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