Hlavní navigace

Programujeme v PostScriptu

Pavel Tišnovský

PostScript se od všech dříve popisovaných formátů liší především v tom, že je v něm možné psát jednoduché i poměrně složité a rozsáhlé programy (například každé písmeno je v PostScriptovém fontu popsáno jednou procedurou). V dnešním článku si proto zevrubně programovací jazyk PostScriptu popíšeme.

Obsah

1. Programujeme v PostScriptu
2. Zásobníky
3. Obrácená polská notace (postfixový zápis matematických výrazů)
4. Operátory pro ovládání zásobníku
5. Aritmetické operátory
6. Relační a booleovské operátory
7. Odkazy na další informační zdroje
8. Obsah dalšího pokračování tohoto seriálu

1. Programujeme v PostScriptu

Ve všech předchozích částech tohoto seriálu jsme si popisovali rastrové i vektorové grafické formáty (či metaformáty), ve kterých byly informace o grafických objektech uložené v pevně zadaných a předem popsaných datových strukturách, tj. bez možnosti uložení jakéhokoli (procedurálního) programového kódu. Jedinou výjimkou byly v tomto ohledu skoky v animovaných GIFech, ty však není možné chápat jako plnohodnotný programovací jazyk. PostScript se od těchto grafických formátů v mnoha ohledech odlišuje, protože je to patrně nejrozšířenější a současně i nejznámější turingovsky kompletní programovací jazyk, který je založený na principu abstraktního vícezásobníkového procesoru, podobně jako programovací jazyk Forth, kterým jsem se již před dvěma lety na Rootu podrobně zabýval v samostatném seriálu.

Přitom je zajímavé, že následník PostScriptu, tj. formát PDF (Portable Document Format), je v tomto ohledu spíše chudý příbuzný. I to svědčí o způsobu vývoje „moderního“ softwaru, kdy je naprogramovaná funkcionalita nahrazována popisnými daty. Pravděpodobně nejdále v tomto směru došla některá schémata XML, ve kterých se i podmínky či cykly zapisují pomocí značek XML a ne programovým kódem. V následujících kapitolách si ukážeme základy programování v jazyku PostScript. Výklad začneme popisem zásobníků a obrácené polské notace (RPN). Posléze si popíšeme základní operátory, zejména aritmetické operátory, operátory pro ovládání zásobníku operandů, relační i booleovské operátory a operátory pro konverzi mezi různými datovými typy.

2. Zásobníky

Like all programming languages, the PostScript language builds on elements and ideas from several of the great programming languages. The syntax most closely resembles that of the programming language FORTH. It incorporates a postfix notation in which operators are preceded by their operands. The number of special characters is small and there are no reserved words.
PostScript ® LANGUAGE REFERENCE, third edition
(Adobe Systems Incorporated)

Programovací jazyk PostScript je, podobně jako programovací jazyk Forth či tradiční unixovská utilita dc, postaven nad abstraktním několikazásob­níkovým procesorem. Proto se při programování PostScriptu nevyhneme častým manipulacím se zásobníky, zejména se zásobníkem operandů. Tyto manipulace se buď provádí pomocí explicitně zadaných příkazů (například duplikace hodnoty uložené na zásobníku pomocí operátoru dup) nebo implicitními operacemi (například při provádění matematických výpočtů nebo při volání vestavěných funkcí). Mezi příkazy, které se zásobníkem manipulují, implicitně patří již dříve popsané funkce, jakou je moveto, která ze zásobníku přečte a posléze odstraní dva číselné parametry představující pozici bodu v rovině.

Zásobníky jsou v PostScriptu použity z několika důvodů. Asi nejvýznamnějším důvodem je, že se „zásobníkový kód“ velmi jednoduše a přitom rychle interpretuje. Ostatně mnoho abstraktních (virtuálních) procesorů je právě z tohoto důvodu postaveno na zásobnících; typickým příkladem je virtuální zdroj jazyka Java (JVM) či Pythonu. Nenechte se zmást paměťovou náročností Javy – příčina jejích obrovských paměťových nároků netkví v zásobníkovém kódu (právě naopak), ale v tom, že se pro každý i sebemenší javovský program načítá prakticky celé běhové prostředí Javy s několika tisíci třídami a rozhraními. Ale například Java Kilobyte Machine resp.  KVM běží, kromě PDA a mobilních telefonů, i na stařičkém ZX Spectru!

Další příčinou použití zásobníků v PostScriptu je unifikace všech operací. Zatímco se v běžné matematice vyskytují všechny tři zápisy matematických výrazů (prefixový, infixový i postfixový) a je definitoricky stanovena priorita některých operátorů, PostScript používá všude pouze postfixový zápis. Nepřímo s tím souvisí i způsob ukládání parametrů na zásobník před voláním funkcí a možnost návratu více hodnot z funkce (například minule zmiňovaný příkaz transform na zásobník vrací dvě hodnoty, což je v jiných programovacích jazycích většinou těžko dosažitelná operace). Třetí příčinou použití zásobníků je poměrně značná obliba Forthu v době navrhování PostScriptu. Ostatně volba programovacího jazyka na základě jeho oblíbenosti také není ničím novým – stačí se podívat na historii Cobolu či Javy.

3. Obrácená polská notace (postfixový zápis matematických výrazů)

V této kapitole si vysvětlíme princip postfixového zápisu matematických výrazů, který je také nazýván obrácená polská notace (RPN – Reverse Polish Notation), včetně způsobu práce RPN na zásobníkových procesorech. Název polská notace byl zvolen na počest polského matematika Jana Lukasiewicze, který v roce 1920 navrhl dvě možnosti psaní matematických výrazů bez nutnosti definice priorit operací a také bez použití závorek, kterým se při použití dnes nejpoužívanější infixové notace v mnoha případech nevyhneme. Notace, při které se operátory píšou až za operandy (tedy „obráceně“), se nazývá RPN či postfixová notace (ostatně i v samotném názvu PostScriptu je postfixová notace skryta). Poznámka: následující text vznikl úpravou textu uvedeného ve článku Utilita DC vydaného dne 14.2.2006.

If you're a frequent calculator user, you owe it to yourself to investigate the advantages of RPN. RPN stands for Reverse Polish Notation. Reverse Polish Notation was developed in 1920 by Jan Lukasiewicz as a way to write a mathematical expression without using parentheses and brackets. Hewlett-Packard Co., realizing that Lukasiewicz's met­hod was superior to standard algebraic expressions when using calculators and computers, adapted RPN for its first hand-held scientific calculator, the HP35, in 1972.
Hewlett-Packard Development Company The RPN Method: An Overview and History

Už na základní škole se však každý člověk učí takzvanou infixovou notaci zápisu, ve které se nejčastěji používané matematické operátory, jakými jsou sčítání, odčítání, násobení a dělení, zapisují mezi své operandy. Vzhledem k různé prioritě operátorů (například operátor násobení má definitoricky větší prioritu než sčítání) je však nutné v infixové notaci při zápisu složitějších výrazů velmi často používat závorky. Rozdíl mezi následujícími dvěma výrazy uvedenými v infixové notaci je zřejmý (znakem × je zapsán operátor násobení):

a+b×c
(a+b)×c 

Infixová notace se používá i při zápisu dalších operací, například operací logických (konjunkce, disjunkce) či množinových (sjednocení množin, průnik množin, doplněk množiny atd.). I u takových výrazů se mnohdy nevyhneme závorkám. Při použití postfixové notace však nejsou závorky ve výrazech nikdy zapotřebí, protože se priorita operací vyjadřuje přímo posloupností operátorů. Výše uvedené dva výrazy lze tedy do postfixové notace přepsat následovně:

a b c * +   nebo též   b c * a +
a b + c *   nebo též   c a b + * 

Všimněte si, že u výše uvedených RPN výrazů napsaných na levé straně se oproti infixové notaci nemění pořadí operátorů. Toho se velmi často využívá při algoritmickém převodu mezi infixovou a postfixovou notací a také při ručním zápisu RPN výrazů. Tento převod provádí vlastně každý překladač či interpreter programovacího jazyka, a to buď přímo (mimochodem většinou opět s využitím zásobníku, do kterého jsou ukládány kódy požadovaných matematických operací a pozice závorek), nebo takzvaným rekurzivním sestupem podle gramatických pravidel daného jazyka. V PostScriptu se interpreter tímto převodem nemusí zabývat, protože na vstupu má již dopředu zpracovaný postfixový kód, který je možné bez dalšího složitého zpracování přímo interpretovat.

Jaké jsou však výhody postfixového zápisu výrazů oproti zápisu infixovému? Mezi základní přednost patří už zmíněná absence závorek, pomocí nichž se v infixové notaci mění priority operací. Priorita je totiž v postfixové notaci velmi intuitivně určena přímo pozicí operátoru či funkce ve výrazu. Toho využívaly i kalkulačky HP, které žádné klávesy se závorkami neobsahovaly. Původní klávesnice byly vybaveny pouze tlačítky s číslicemi, čtyřmi klávesami pro základní matematické operace (ty se zadávaly za operandy) a klávesou [Enter], která prováděla uložení právě zobrazené hodnoty na displeji do zásobníku operandů (konkrétně na jeho vrchol označovaný symboly TOP či SP).

Mezi druhou výhodu postfixové notace patří – pro mnohé možná poněkud překvapivě – konzistence zápisu. Ve skutečnosti se totiž v běžně používané infixové notaci zapisují pouze některé základní matematické operace jako je sčítání, násobení nebo dělení. Další operace se zapisují pomocí funkcí v prefixové notaci (například sinus, odmocnina, logaritmus, minimum) a některé dokonce v notaci postfixové (pravděpodobně nejznámější „postfixovou funkcí“ je faktoriál, který se zapisuje znakem vykřičníku umístěného za operand).

Pomocí postfixové notace je možné zapisovat všechny operace i funkce, dokonce ani nezáleží na počtu operandů (stírá se tím rozdíl mezi unárními, binárními, ternárními apod. operacemi). Ve skutečnosti není v postfixové notaci prakticky žádný rozdíl mezi operacemi a funkcemi, takže pro ně není nutné zavádět nějaká zvláštní syntaktická pravidla. Mezi běžně používané funkce, které mají dva operandy, patří logaritmus o libovolném základu, exponenciální funkce a například také (spíše programátorská avšak velmi praktická) funkce atan2.

Důsledkem výše uvedených skutečností je fakt, že znaky běžně používané pro aritmetické operátory je možné použít i pro jiné účely, podobně jako například v jazyce Lisp nebo Scheme (což jsou mimochodem jazyky používající prefixovou notaci, tou se zde však nebudeme zabývat).

4. Operátory pro ovládání zásobníku

Zásobník (anglicky stack), jenž je použit při zpracování aritmetických výrazů zapsaných v postfixové notaci, je z hlediska programování a programovacích technik dynamická datová struktura, pomocí které lze, podobně jako u implementačně příbuzného jednosměrně či obousměrně vázaného seznamu, ukládat a zpětně získávat data. Zásobník se od seznamu a dalších dynamických datových struktur, jako je fronta, strom či graf, liší především množinou základních operací, určenou pro práci s touto datovou strukturou.

Datová struktura zásobník nebo jeho hardwarová implementace se někdy označuje akronymem LIFO, který pochází z anglického výrazu Last In – First Out. Tento výraz docela přesně vystihuje základní vlastnost zásobníku: data, která byla do zásobníku vložena nejpozději, lze nejdříve přečíst. Naopak to platí samozřejmě také: nejdříve vložená data do zásobníku lze přečíst až po vyjmutí všech později vložených dat. Čistě implementovaný zásobník totiž neumožňuje přímo manipulovat s daty uloženými pod jeho vrcholem (to však není případ PostScriptu, který obsahuje operátory typu index, jež mohou zasahovat i hluboko do zásobníku).

Zásobník si můžeme znázornit i graficky spolu se dvěma základními operacemi: vložení prvku (operace push) a vyjmutí prvku spolu s navrácením jeho hodnoty (operace pop):

43_1
Dynamická datová struktura zásobník společně s dvojicí základních operací

V PostScriptu je pro ovládání zásobníku operandů (to je zásobník používaný pro výpočty) určeno několik operátorů, z nichž ty nejdůležitější jsou vypsány v následující tabulce:

Operátor Význam operátoru
clear vymazání všech objektů ze zásobníku (vyprázdnění zásobníku)
count na zásobník se uloží číslo reprezentující počet položek v něm uložených (hloubka zásobníku)
copy na zásobníku se zduplikuje posledních n položek
dup duplikace (kopie) hodnoty uložené na vrcholu zásobníku
pop opak předchozího operátoru – odstranění položky z vrcholu zásobníku (ve Forthu se jednalo o příkaz „drop“)
exch prohození dvou položek na zásobníku
index na vrchol zásobníku se zkopíruje n-tá položka
mark na zásobník se uloží značka (speciální hodnota)
cleartomark vymazání nejvyšších položek na zásobníku až po vloženou značku
counttomark na zásobník se uloží počet položek až po vloženou značku

Použití těchto operátorů je jednoduché. Stačí si uvědomit, že zápis čísla automaticky znamená jeho uložení na vrchol zásobníku:

1 2 3 4 count clear
1 dup clear
1 2 exch clear
1 2 mark 3 4 cleartomark 

5. Aritmetické operátory

Aritmetické operátory pracují s jednou či dvěma číselnými položkami uloženými na zásobníku. Tyto položky jsou ze zásobníku odebrány, je s nimi provedena požadovaná operace a výsledek operace (vždy jedno číslo) je uložen zpět na zásobník. PostScript rozeznává několik typů číselných údajů, nejčastěji se setkáme s celými čísly (integer) a čísly reálnými (real). O převod mezi těmito dvěma datovými typy se starají operátory zaokrouhlení.

Operátor Význam operátoru
add součet dvou hodnot uložených na nejvyšších dvou místech zásobníku
sub rozdíl dvou hodnot
mul součin dvou hodnot
div podíl dvou hodnot
idiv podíl celočíselných hodnot
mod zbytek po dělení dvou celočíselných hodnot
abs absolutní hodnota
neg otočení znaménka
ceiling zaokrouhlení směrem nahoru
floor zaokrouhlení směrem dolů
round zaokrouhlení k nebližší celočíselné hodnotě
truncate odříznutí desetinné části
sqrt výpočet druhé odmocniny
atan výpočet arkustangenty z podílu dvou hodnot (odpovídá atan2() v céčku)
sin sinus
cos kosinus
ln přirozený logaritmus
log desítkový logaritmus
epx výpočet xy

Příklad použití:

1 2 add
1 2 3 add mul
1 2 3 mul add % rozdíl od předchozího!
0.5 1 atan 

6. Relační a booleovské operátory

PostScript rozpoznává i pravdivostní (logický) datový typ boolean. Hodnoty tohoto typu jsou výsledkem dále uvedených operací. Tyto operace očekávají, že budou mít své operandy uloženy na zásobníku a výsledek opět vrací na zásobník. Všimněte si, že některé operace se chovají různě podle toho, jaké typy hodnot jsou uloženy na zásobníku (zásobník si tedy musí „pamatovat“ i typy hodnot, což je rozdíl oproti Forthu). Jedná se vlastně o formu přetěžování operátorů, a co je důležité – stejnou funkcionalitu je možné zajistit i pro uživatelské příkazy.

Operátor Význam operátoru
true ukládá na zásobník logickou hodnotu „pravda“
false ukládá na zásobník logickou hodnotu „nepravda“
eq porovnání dvou objektů na rovnost
ne porovnání dvou objektů na nerovnost
ge porovnání čísel či řetězců na relaci „větší nebo rovno“
gt porovnání čísel či řetězců na relaci „větší než“
le porovnání čísel či řetězců na relaci „menší nebo rovno“
lt porovnání čísel či řetězců na relaci „menší než“
and logický součin (na zásobníku musí být dvě logické hodnoty)
or logický součet (na zásobníku musí být dvě logické hodnoty)
xor logický exklusivní součet (na zásobníku musí být dvě logické hodnoty)
and bitový součin (na zásobníku musí být dvě celočíselné hodnoty)
or bitový součet (na zásobníku musí být dvě celočíselné hodnoty)
xor logický exklisivní součet (na zásobníku musí být dvě celočíselné hodnoty)
bitshift posun o n bitů doleva či doprava (kladná hodnota značí posun doleva, záporná posun doprava)

Příklad použití:

true false and clear
1 42 eq clear 

7. Odkazy na další informační zdroje

  1. Adobe Systems: PostScript Language Reference Manual, The Red Book,
    Adobe Systems Incorporated, 2nd ed., Addison Wesley 1990.
  2. PostScript Language Program Design,
    Addison-Wesley 1990, ISBN 0–201–14396–8
  3. PostScript Language Reference Manual,
    Addison-Wesley 1990, ISBN 0–201–18127–4
  4. PostScript Language Tutorial and Cookbook,
    Addison-Wesley 1990, ISBN 0–201–10179–3
  5. Wikipedia: PostScript,
    http://en.wiki­pedia.org/wiki/Pos­tScript
  6. Paul Bourke: PostScript Tutorial,
    http://local.was­p.uwa.edu.au/~pbou­rke/dataformat­s/postscript/
  7. A First Guide to PostScript,
    http://www.ta­ilrecursive.or­g/postscript/pos­tscript.html

8. Obsah dalšího pokračování tohoto seriálu

V následují části seriálu o grafických formátech si ukážeme tvorbu nových příkazů (operátorů, funkcí, maker), použití podmíněných příkazů a také vytváření programových smyček.

Našli jste v článku chybu?

8. 6. 2007 16:26

Ano, mate pravdu, samozrejme jsem myslel operandy. Operatory se uz z principu musi prehazovat (tou pozici se vlastne nahrazuji zavorky a priority), jinak by nebylo mozne rozepsat napr. vyraz:

a+b*c

na:

abc*+





8. 6. 2007 10:25

mikee (neregistrovaný)
...teším se na další díly.
Root.cz: Nová třída SD karet A1 s vysokým výkonem

Nová třída SD karet A1 s vysokým výkonem

DigiZone.cz: R2B2 a Hybrid uzavřely partnerství

R2B2 a Hybrid uzavřely partnerství

Vitalia.cz: 7 originálních adventních kalendářů pro mlsné

7 originálních adventních kalendářů pro mlsné

Vitalia.cz: To nejhorší při horečce u dětí: Febrilní křeče

To nejhorší při horečce u dětí: Febrilní křeče

Vitalia.cz: Jak vybrat ořechy do cukroví a kde mají levné

Jak vybrat ořechy do cukroví a kde mají levné

Lupa.cz: Kdo pochopí vtip, může jít do ČT vyvíjet weby

Kdo pochopí vtip, může jít do ČT vyvíjet weby

Podnikatel.cz: Vládu obejde, kvůli EET rovnou do sněmovny

Vládu obejde, kvůli EET rovnou do sněmovny

DigiZone.cz: Sat novinky: slovenská TV8 HD i ruský NTV Mir

Sat novinky: slovenská TV8 HD i ruský NTV Mir

Vitalia.cz: Proč vás každý zubař posílá na dentální hygienu

Proč vás každý zubař posílá na dentální hygienu

Root.cz: Certifikáty zadarmo jsou horší než za peníze?

Certifikáty zadarmo jsou horší než za peníze?

Lupa.cz: Co se dá měřit přes Internet věcí

Co se dá měřit přes Internet věcí

Podnikatel.cz: Podnikatelům dorazí varování od BSA

Podnikatelům dorazí varování od BSA

Lupa.cz: Propustili je z Avastu, už po nich sahá ESET

Propustili je z Avastu, už po nich sahá ESET

120na80.cz: Co všechno ovlivňuje ženskou plodnost?

Co všechno ovlivňuje ženskou plodnost?

DigiZone.cz: Česká televize mění schéma ČT :D

Česká televize mění schéma ČT :D

Lupa.cz: Insolvenční řízení kvůli cookies? Vítejte v ČR

Insolvenční řízení kvůli cookies? Vítejte v ČR

Měšec.cz: Zdravotní a sociální pojištění 2017: Připlatíte

Zdravotní a sociální pojištění 2017: Připlatíte

Vitalia.cz: Láska na vozíku: Přitažliví jsme pro tzv. pečovatelky

Láska na vozíku: Přitažliví jsme pro tzv. pečovatelky

Měšec.cz: Jak vymáhat výživné zadarmo?

Jak vymáhat výživné zadarmo?

120na80.cz: 5 nejčastějších mýtů o kondomech

5 nejčastějších mýtů o kondomech