Pascal News

2689
2690
2691
2692
2693
2694
2695
2696
2697
2698
2699
2700
2701
2702
2703
2704
2705
2706
,2708
2709
2710
2711
2712
2713
2714
2715
2716
2717
2718
2719
2720
2721
2722
2723
2724
2725
2726
2727
2728
2729
2730
2731
2732
2733
2734
2735
2736
2737
2738
2739
2740
2741
2742
2743
2744
if aspstringptr then ak:=ploaded;
end,;
nilcst:
begin insym; asp:=nilptr;
for i:=1 to ptrsize diy wordslze do genHop_loc,O);
end;
lparent:
begin insym;
expresslon(fsys+[rparent]); nextif(rparent ,+0199)
end;
notsy:
begin lnsym; factor(fsys); load; genO(op_teq);
if aspboolptr thel! asperr(+0200)
end;
lbrack:
begin insym; buildset(fsys+[rbrack]); nextif(rbrack,+0201) end;
end
-end end;
procedure term(fsys:sos);
var lsy:symbol; lsp:sp; lO,11,12:integer; first:boolean;
begin with a,b do begin first:=true; 11:=11no; 10:=11;
factor( fsys+[starsy •• andsy]);
vbile find2([starsy •• andsy],fsys,+0202) do
begin if first then begin load; flrst:=false end;
isy:=sy; insym.; 11: =11no; lsp:=asp;
factor(fsys+[starsy •• andsy]); load; convert(lsp,ll);
if aspnil tben
case lsy of
starsy:
if asp=intptr tben genO(op_mul) else
if asp=realptr then genO (op_fmu) else
if asp=longptr then genO(op_dmu) else
if aspA .form=power then setop(op_and) else asperr(+0203);
slashsy:
if asp=realptr tben genO (op_fdv) else
if (asp=intptr) or (asp=longptr) then
begin lsp:=asp;
convert(realptr,11); (make real of right operand)
convert(lsp,11); (make real of left operand)
genO (op_fdv)
end
else asperr(+0204);
divsy:
if asp=intptr tben genO (op_diy) else
if asp=longptr tben genO(op,-ddv) else asperr(+0205);
modsy:
begin 12: =11no; gen1(op_mrk,O); exchange(10,12);
if asp=intptr tben gensp(MDI) else
if asp=longptr then gensp(MDL) else asperr(+0206);
end;
andsy:'
if asp=boolptr then setop(op_and) else asperr(+0207);
end {case}
end {while}
end end;
2746
2747
2748
2749
2750
2751
2752
2753
2754
2755
2756
2757
2758
2759
2760
2761
2762
2763
2764
2765
2766
2767
2768
2769
2770
2771
2772
2773
2774
2775
2776
2777
2778
2779
2781
2782
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
2793
2794
2795
2796
2797
2798
2799
2800
procedure simpleexpressionCfsys:sos);
var lsy:symbol: lSp:sp; 11:integer; signed,min,first:boolean;
begin with a do begin 11: =11no; first :=true;
signed:=(sy=plussy) or (sy=minsy);
if signed then begin min:=sy=minsy; insym end else min:=false:
term(fsys + [minsy,plussy,orsy]); lsp:=desub(asp);
if signed then
if (lsp intptr) and (lsprealptr) and (lsp longptr) then
asperr(+0208)
else if min then
begin load; first:::false; asp:=lsp; negate(11) end.;
while find2([plussy,minsy,orsy],fsys,+0209) do
begin if first then begin load; first:=false end;
lsy:=sy; insym; 11 :=lino; Isp:=asp;
term(fsys+[minsy,plussy,orsy]); load; convert(lsp,11);
if aspnil then
case lsy of
plussy:
if asp=intptr then genO (op_add) else
if asp=realptr then genO (op_fad) else
if asp=longptr then genO(op_dad) else
if aspA .form=power then setop(op_ior) else asperr(+0210);
minsy:
if asp=intptr tben genO(op_sub) else
if asp=realptr tben genO(op_fsb) else,
if asp=longptr tben genO(op_dsb) else
if asp ..... form=power then
begin setop( op com); setop( op and) end
else asperr(+0211); -
orsy:
if asp=boolptr then setop(op_ior) else asperr(+0212);
end {case}
end (while)
end end;
procedure expression; { fsys :sos }
var lsy:symbol; lsp:sp; 11,12,13,sz:integer;
begin with a do begin 11: =11no ;
simpleexpression( fsys+[eqsy •. insy]);
if find2([eqsy •• insy],fsys,+0213) then
begin 18Y:=SY; insym; lsp:=asp; loadcheap; 12:=lino;
8impleexpression( fsys); load cheap ;
if lsy=insy then
begin
if not formof( asp, [power]) then asperr( +0214) elSE
if asp=emptyset then setop(op_and) else
{this effectively replaces the word on top the
stack by the result of the I in I operator: "31;:'!e }
if not (compat(lsp,aspA .elset)