Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: global.vdmpp Sprache: Postscript

Original von: VDM^©

%!PS-Adobe-2.0
%%DocumentsFonts:Helvetica-Bold
%%BoundingBox: 161 555 554 730
%%Pages: 1
%%EndProlog
% Driver PostScript -> PostScript VERILOG
%%Page: 0
%% DRIVER_RESULT_PAGE_0
1 setlinecap
0.00 setlinewidth
432.42 620.96 moveto
432.42 555.50 lineto
544.62 555.50 lineto
544.62 620.96 lineto
432.42 620.96 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont
474.75 608.21 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(Sorter)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
432.42 602.26 moveto
544.62 602.26 lineto
stroke
432.42 578.88 moveto
544.62 578.88 lineto
stroke
432.42 714.46 moveto
432.42 658.36 lineto
544.62 658.36 lineto
544.62 714.46 lineto
432.42 714.46 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont
460.47 701.71 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(SortMachine)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
432.42 695.76 moveto
544.62 695.76 lineto
stroke
432.42 677.06 moveto
544.62 677.06 lineto
stroke
292.16 677.06 moveto
292.16 592.91 lineto
357.62 592.91 lineto
357.62 677.06 lineto
292.16 677.06 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont
306.70 664.31 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(CGBase)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
292.16 658.36 moveto
357.62 658.36 lineto
stroke
292.16 625.63 moveto
357.62 625.63 lineto
stroke
161.26 677.06 moveto
161.26 592.91 lineto
226.71 592.91 lineto
226.71 677.06 lineto
161.26 677.06 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont
173.20 664.31 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(vdmBase)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
161.26 658.36 moveto
226.71 658.36 lineto
stroke
161.26 625.63 moveto
226.71 625.63 lineto
stroke
395.02 636.85 moveto
395.02 591.03 lineto
stroke
395.02 591.03 moveto
432.42 591.03 lineto
stroke
395.02 683.60 moveto
395.02 636.85 lineto
stroke
395.02 683.60 moveto
432.42 683.60 lineto
stroke
395.02 645.27 moveto
395.02 628.44 lineto
378.19 636.85 lineto
395.02 645.27 lineto
stroke
357.62 636.85 moveto
378.19 636.85 lineto
stroke
264.11 634.05 moveto
stroke
264.11 634.05 moveto
292.16 634.05 lineto
stroke
264.11 642.46 moveto
264.11 625.63 lineto
247.28 634.05 lineto
264.11 642.46 lineto
stroke
226.71 634.05 moveto
247.28 634.05 lineto
stroke
showpage
%%Page: 1
%% DRIVER_RESULT_PAGE_1
%%Trailer

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.