dev/latex/sources_MetaPost/bc-interdit.mp

   1 prologues:=1;
   2 outputtemplate:="%j.mps";
   3 beginfig(1);
   4 linecap := butt;
   5 linejoin := mitered;
   6 drawoptions (withcolor (1.000000,1.000000,1.000000));
   7 fill (89.019501,711.479980)..controls (89.019501,716.171997) and (85.210899,719.979980)..(80.519501,719.979980)
   8     ..controls (75.828102,719.979980) and (72.019501,716.171997)..(72.019501,711.479980)
   9     ..controls (72.019501,706.789001) and (75.828102,702.979980)..(80.519501,702.979980)
  10     ..controls (85.210899,702.979980) and (89.019501,706.789001)..(89.019501,711.479980)
  11     --cycle;
  12 drawoptions (withcolor (0.000000,0.000000,0.000000));
  13 pickup pencircle scaled 0.398506bp;
  14 draw (89.019501,711.479980)..controls (89.019501,716.171997) and (85.210899,719.979980)..(80.519501,719.979980)
  15     ..controls (75.828102,719.979980) and (72.019501,716.171997)..(72.019501,711.479980)
  16     ..controls (72.019501,706.789001) and (75.828102,702.979980)..(80.519501,702.979980)
  17     ..controls (85.210899,702.979980) and (89.019501,706.789001)..(89.019501,711.479980)
  18     --cycle;
  19 drawoptions (withcolor (1.000000,0.000000,0.000000));
  20 pickup pencircle scaled 0.000000bp;
  21 fill (88.246101,711.479980)..controls (88.246101,715.745972) and (84.785202,719.206970)..(80.519501,719.206970)
  22     ..controls (76.253899,719.206970) and (72.792999,715.745972)..(72.792999,711.479980)
  23     ..controls (72.792999,707.215027) and (76.253899,703.754028)..(80.519501,703.754028)
  24     ..controls (84.785202,703.754028) and (88.246101,707.215027)..(88.246101,711.479980)
  25     --cycle;
  26 drawoptions (withcolor (1.000000,1.000000,1.000000));
  27 linejoin := rounded;
  28 fill (80.519501,710.320007)--(75.496101,710.320007)--(75.496101,712.640991)
  29     --(85.542999,712.640991)--(85.542999,710.320007)--cycle;
  30 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
  31 picture pic;
  32 pic:=currentpicture;
  33 currentpicture:=nullpicture;
  34 drawoptions();
  35 draw pic scaled(r);
  36 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
  37 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
  38 draw (z0+(10.5,2));
  39 draw (z1-(10.5,2));
  40 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);
  41 endfig;
  42 end