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
|
(* This is an example of using convert.awk to convert a jgraph file to
an awk script and then use that awk script to plot several instances
of the original jgraph file. Here, disk.awk is used to plot a disk
drive 6 times.
*)
newgraph
xaxis size 4 min 0 max 5.4 nodraw
yaxis size 2 min 0 max 2 nodraw
newcurve marktype box marksize 2 .5 fill 1 pts 2.75 1.5
shell : echo "0 0" | awk -f disk.awk
shell : echo "1 0" | awk -f disk.awk
shell : echo "2 0" | awk -f disk.awk
shell : echo "3 0" | awk -f disk.awk
shell : echo "4 0" | awk -f disk.awk
shell : echo "5 0" | awk -f disk.awk
shell : echo "" | \
awk ' {for (i = 0; i < 6; i++) { \
printf("newline rarrows pts 2.75 1.25 %d.2 .4\n", i) }} '
newstring hjc vjc fontsize 12 x 2.75 y 1.5 : Controller
title fontsize 16 : Disk Array
|
