/* ----------------------------------------------------------------------- */
/* J-Source Version 7 - COPYRIGHT 1993 Iverson Software Inc.               */
/* 33 Major Street, Toronto, Ontario, Canada, M5S 2K9, (416) 925 6096      */
/*                                                                         */
/* J-Source is provided "as is" without warranty of any kind.              */
/*                                                                         */
/* J-Source Version 7 license agreement:  You may use, copy, and           */
/* modify the source.  You have a non-exclusive, royalty-free right        */
/* to redistribute source and executable files.                            */
/* ----------------------------------------------------------------------- */
/*                                                                         */
/* Conjunction:  Explicit Definition : and Associates                      */
/*                                                                         */
/*                                                                         */
/* Usage of the f,g,h fields of :-defined verbs:                           */
/*  f  character matrix of  left argument to :                             */
/*  g  character matrix of right argument to :                             */
/*  h  4-element vector of boxes                                           */
/*       0  vector of boxed tokens excluding labels for f                  */
/*       1  2-column matrix of (label) link (line#) for f                  */
/*       2  vector of boxed tokens excluding labels for g                  */
/*       3  2-column matrix of (label) link (line#) for g                  */

#include "j.h"
#include "a.h"
#include "d.h"

static I ensuite(w)A w;{
 RZ(w&&AN(w)&&w!=mark);
 if(!(INT&AT(w)))RZ(w=cvt(INT,w));
 ASSERT(1>=AR(w)&&INT&AT(w),EVDEFN);
 R 1+*AV(w);
}

static I nline;

static F1(label){A*v;I k;
 RZ(w);
 v=(A*)AV(w); k=i0(v[1]); RZ(symbis(*v,apv(nline-k,k,1L),local));
 R one;
}

static DF2(xd){PROLOG;DECLFG;A f,*line,loc=local,name,seq,*v,z=0;B b;DC dv;
  I i=0,n,old;
 b=a&&w&&VERB&AT(self); v=b+b+(A*)AV(sv->h);
 f=v[0]; line=(A*)AV(f); n=nline=AN(f); ASSERT(n,EVDOMAIN);
 GA(local,SYMB,twprimes[0],1,0);
 if(AN(v[1]))RZ(rank1ex(v[1],0L,1L,label));
 symbis(scnm(CALPHA),a,local);
 symbis(scnm(COMEGA),w,local);
 name=scnm(CGOTO); seq=ii(f);
 RZ(dv=debadd(DCDEFN)); dv->p=sv->s; drun=0;
 old=tbase+ttop;
 ra(self);
 do{
  tpop(old);
  symbis(name,behead(seq),local);
  dv->ln=i; dv->n=1+(0!=a);
  z=parse(ca(line[i]));
  if(!debugb&&!z) break;
  seq=srd(name,local);
  i=ensuite(seq)-1;
 } while(0<=i&&i<n);
 if(debugb&&!z){z=tpush(qpopres); qpopres=0;}
 z=car(z); ++AC(local); fa(local); local=loc;
 asgn=0;
 fa(self);
 debz();
 if(!z) jsignal(EVRESULT);
 EPILOG(z);
}

static CS1(xv1, f1(w,fs))

static CS2(xv2, g2(a,w,gs))

static DF1(xn1){RZ(   w); R vn(xd(0L,w,self));}

static DF2(xn2){RZ(a&&w); R vn(xd(a ,w,self));}

static DF1(xadv ){RZ(w);    R xd(w,0L,self);}

static DF2(xconj){RZ(a&&w); R xd(a,w, self);}

static F1(preparse){A lab,s,*sv,t,*tv,y,*yv;I i,j=0,n;
 RZ(w);
 RZ(t=every(BOX&AT(w)?w:rank1ex(w,0L,1L,box),tokens));
 n=AN(t); tv=(A*)AV(t);
 RZ(y=reshape(sc(2*n),jot)); yv=(A*)AV(y);
 for(i=0;i<n;++i){
  s=tv[i]; sv=(A*)AV(s); lab=sv[1];
  if(7<=AN(s)&&NAME&AT(lab)&&RPAR&AT(sv[2])){
   yv[j++]=lab; RZ(yv[j++]=sc(i)); sv[2]=mark; RZ(tv[i]=drop(two,s));
 }}
 R link(t,box(reshape(v2(j/2,2L),y)));
}

F2(colon){A d,h,ha,hw,m,l;B b,c;I an,at,wn,wt;C*p,*q,*r,*x,*z;
 RZ(a&&w);
 if(!AR(a)&&NUMERIC&AT(a)&&0==i0(a)){
   a=mtc;
   while(1)
   {
     l = jgets("");
	if(jerr) R 0;
	if(!l) break;
	p=(C*)AV(l);
	if(')'==*p){while(' '==*++p);if(!*p)break;}
	a=over(over(a,l),cnl);
   }
 }
 if(!AR(w)&&NUMERIC&AT(w)&&4==i0(w))R a;
 if(!AR(w)&&NUMERIC&AT(w)&&0==i0(w)){
   ASSERT(CHAR&AT(a)&&2>=AR(a),EVDOMAIN);
   if(2==AR(a))a=ravel(overr(a,scc(CNL)));
   if(!(AN(a)&&CNL==cl(a))) a=over(a,scc(CNL));
   q=p=(C*)AV(a); r=x=z=p+AN(a);
   while(p<z){
    if(':'!=*p){while(CNL!=*p)++p; ++p; continue;}
    r=p;
    while(' '==*++p);
    if(CNL==*p){x=r; break;}
    while(CNL!=*p)++p;
    ++p;
   }
   while(r<z && CNL!=*r)++r;
   if(r<z)++r;
   w=drop(sc((I)(r-q)),a);
   a=take(sc((I)(x-q)),a);
 }
 if(AN(a)&&CHAR&AT(a)&&1>=AR(a)&&strchr((C*)AV(a),CNL)){
   if(!(AN(a)&&CNL==cl(a))) a=over(a,scc(CNL));
   h=cut(ds(CBOX),sc(-2L));
   a=df1(a,h);
 }
 if(AN(w)&&CHAR&AT(w)&&1>=AR(w)&&strchr((C*)AV(w),CNL)){
   if(!(AN(w)&&CNL==cl(w))) w=over(w,scc(CNL));
   h=cut(ds(CBOX),sc(-2L));
   w=df1(w,h);
 }
 an=AN(a); at=AT(a); b=NOUN&at;
 wn=AN(w); wt=AT(w); c=NOUN&wt;
 switch(wn&&NUMERIC&wt?i0(w):0){
  case 20: R vtrans(a);
  case 21: R xtrans(0,a);
  case 22: R xtrans(1,a);
 }
 RZ(ha=hw=over(jot,jot));
 if(b){
  ASSERT(AR(a)<=1+(CHAR==at),EVRANK);
  if(an){
   ASSERT(at&BOX+CHAR,EVDOMAIN);
   RZ(ha=preparse(a));
   RZ(a= at&BOX ? ope(rankle(a)) : 2>AR(a) ? lamin1(rankle(a)) : a);
 }}
 if(!wn||wt&BOX+CHAR){
  ASSERT(AR(w)<=1+(CHAR==wt),EVRANK);
  if(wn){
   RZ(hw=preparse(w));
   RZ(w= wt&BOX ? ope(rankle(w)) : 2>AR(w) ? lamin1(rankle(w)) : w);
 }}
 RZ(h=over(ha,hw));
 if(wn&&NUMERIC&wt) switch(i0(w)){
  case 1:  R fdef(CCOLON, ADV,  xadv,0L,  a,w,h,  0L, 0L,0L,0L);
  case 2:  R fdef(CCOLON, CONJ, 0L,xconj, a,w,h,  0L, 0L,0L,0L);
  default: ASSERT(0,EVDOMAIN);
 }
 R fdef(CCOLON,VERB, b?xn1:xv1,c?xn2:xv2, a,w,h, 0L,
     b?RMAX:mr(a),c?RMAX:lr(w),c?RMAX:rr(w));
}