1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// Use device interface to draw some graphics and save as a PNG.
var font = new Font("Times-Roman");
var image = new Image("example.png");
var path, text;
var pixmap = new Pixmap(DeviceRGB, [0,0,500,600], false);
pixmap.clear(255);
var device = new DrawDevice(Identity, pixmap);
var transform = [2,0,0,2,0,0]
{
text = new Text();
{
text.showString(font, [16,0,0,-16,100,30], "Hello, world!");
text.showString(font, [0,16,16,0,15,100], "Hello, world!");
}
device.fillText(text, transform, DeviceGray, [0], 1);
path = new Path();
{
path.moveTo(10, 10);
path.lineTo(90, 10);
path.lineTo(90, 90);
path.lineTo(10, 90);
path.closePath();
}
device.fillPath(path, false, transform, DeviceRGB, [1,0,0], 1);
device.strokePath(path, {dashes:[5,10], lineWidth:3, lineCap:'Round'}, transform, DeviceRGB, [0,0,0], 1);
path = new Path();
{
path.moveTo(100,100);
path.curveTo(150,100, 200,150, 200,200);
path.curveTo(200,300, 0,300, 100,100);
path.closePath();
}
device.clipPath(path, true, transform);
{
device.fillImage(image, Concat(transform, [300,0,0,300,0,0]), 1);
}
device.popClip();
}
device.close();
pixmap.saveAsPNG("out.png");
|
