-
Notifications
You must be signed in to change notification settings - Fork 90
/
c.c
49 lines (41 loc) · 2.85 KB
/
c.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
/* Copyright (c) 1990-2024, Jsoftware Inc. All rights reserved. */
/* Licensed use only. Any other use is in violation of copyright. */
/* */
/* Conjunctions */
#include "j.h"
// obv1 and obv2 merely pass the call to f. Since we took the inplace flags for the compound from the original a, we can pass them on too
// obsolete static DF1(obv1cell){F1PREFIP;A fs=FAV(self)->fgh[0]; AF f1=FAV(fs)->valencefns[0];A z;PROLOG(0103); z=CALL1IP(f1,w,fs); EPILOG(z);}
// obsolete static DF2(obv2cell){F2PREFIP;A fs=FAV(self)->fgh[0]; AF f2=FAV(fs)->valencefns[1];A z;PROLOG(0104); z=CALL2IP(f2,a,w,fs); EPILOG(z);}
static DF2(obv12cell){w=AT(w)&VERB?0:w; A fs=FAV(self)->fgh[0]; AF f12=FAV(fs)->valencefns[!!w];F2PREFIP;A z;PROLOG(0103); z=CALL12IP(w,f12,a,w,fs); EPILOG(z);}
static DF1(obv1){PREF1(obv12cell); R obv12cell(jt,w,self,self);}
static DF2(obv2){PREF2(obv12cell); R obv12cell(jt,a,w,self);}
// Set ASGSAFE from a&w; set INPLACE from a
F2(jtobverse){F2PREFIP;ASSERTVV(a,w); R fdef(0L,COBVERSE,VERB,obv1,obv2,a,w ,0L,((FAV(a)->flag&FAV(w)->flag&VASGSAFE)+(FAV(a)->flag&(VJTFLGOK1|VJTFLGOK2))),mr(a),lr(a),rr(a));}
// Adverse. Run f, and if that fails (and not with THROW/EXIT), run g (or use its value if it's a noun). Bivalent a,w,self or w,self
#if 0 // obsolete
static DF1(ad1){A z;
ARGCHK1(w); A *old=jt->tnextpushp;
WITHDEBUGOFF(z=CALL1(f1, w,fs);)
if(unlikely(jt->jerr==EVTHROW))R 0; // THROW is caught only by try.
if(unlikely(jt->jerr==EVEXIT))R 0; // EXIT is never caught
if(BETWEENC(jt->jerr,EVATTN,EVBREAK))CLRATTN // if the error was ATTN/BREAK, clear the source of the error
RESETERR;
if(likely(z))RETF(z); // normal return
tpop(old); // the error exit leaves the stack unpopped
R AT(gs)&NOUN?gs:CALL1(g1, w,gs);
}
#endif
static DF2(ad12){A z; A childself=FAV(self)->fgh[0];
ARGCHK2(a,w); A *old=jt->tnextpushp;
I dyad=!!(AT(w)&NOUN); self=dyad?self:w; w=dyad?w:childself; // Set w for bivalent call
WITHDEBUGOFF(z=CALL2(FAV(childself)->valencefns[dyad],a,w,childself);)
if(unlikely(jt->jerr==EVTHROW))R 0; // THROW is caught only by try.
if(unlikely(jt->jerr==EVEXIT))R 0; // EXIT is never caught
if(BETWEENC(jt->jerr,EVATTN,EVBREAK))CLRATTN // if the error was ATTN/BREAK, clear the source of the error
RESETERR;
if(likely(z))RETF(z); // normal return. fall through to execute v
tpop(old); // the error exit leaves the stack unpopped
childself=FAV(self)->fgh[1]; w=dyad?w:childself; R AT(childself)&NOUN?childself:CALL2(FAV(childself)->valencefns[dyad],a,dyad?w:childself,childself);
}
// Set ASGSAFE from operands. Noun operand is always safe
F2(jtadverse){F2PREFIP;ASSERTVVn(a,w); R fdef(0L,CADVERSE,VERB,ad12,ad12,a,w ,0L,(FAV(a)->flag&(AT(w)&VERB?FAV(w)->flag:~0)&VASGSAFE),RMAX,RMAX,RMAX);}