29.11.2012 Views

MetaFun - Pragma ADE

MetaFun - Pragma ADE

MetaFun - Pragma ADE

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

332<br />

〈pseudo function〉<br />

→ define\_linear\_shade ( 〈pair expr〉 , 〈pair expr〉 , 〈color expr〉 , 〈color expr〉 )<br />

| define\_circular\_shade ( 〈pair expr〉 , 〈pair expr〉 , 〈path expr〉 , 〈path expr〉 , 〈color expr〉 , 〈color expr〉 )<br />

| predefined\_linear\_shade ( 〈path expr〉 , 〈numeric expr〉 , 〈color expr〉 , 〈color expr〉 )<br />

| predefined\_circular\_shade ( 〈path expr〉 , 〈numeric expr〉 , 〈color expr〉 , 〈color expr〉 )<br />

External figures are just files, so the string passed as first argument needs to be a valid filename.<br />

Additionally, they need to be given dimensions.<br />

〈pseudo procedure〉<br />

→ externalfigure 〈string expression〉 〈transformer〉<br />

An external METAPOST graphic can be loaded by filename and figure number. The normal transformations<br />

can be applied.<br />

〈pseudo procedure〉<br />

→ loadfigure 〈string expression〉 〈figure number〉 〈transformer〉<br />

〈figure number〉<br />

→ number 〈numeric expression〉<br />

A graphic text is (normally) an outline representation of a snippet of text typeset by TEX. This<br />

procedure has a couple of dedicated options.<br />

〈pseudo procedure〉<br />

→ graphictext 〈string expression〉 〈transformer〉 〈text option list〉<br />

| regraphictext 〈transformer〉 〈text option list〉<br />

〈text option list〉<br />

→ 〈empty〉<br />

| 〈text drawing option〉 〈text option list〉<br />

〈text drawing option〉<br />

→ 〈drawing option〉<br />

| reversefill<br />

| outlinefill<br />

| withdrawcolor 〈color expression〉<br />

| withfillcolor 〈color expression〉<br />

〈pseudo procedure〉<br />

→ resetgraphictextdirective<br />

| graphictextdirective 〈string expression〉<br />

〈internal variable〉<br />

→ graphictextformat<br />

METAPOST syntax Left overs

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!