7 #vexport full_file_path {PS | EPS | TEX | PDF | SVG | PGF } : exports the view to a vector file of a given format
8 #Testing export to TEX format
15 vpoint p1 -300 -300 -300
16 vdrawtext OpenCascade -300 -300 -300 000 255 000 0 0 000 0 15 1 Courier
17 vpoint p2 -300 -300 -100
18 vdrawtext OpenCascade -300 -300 -100 000 255 000 0 0 000 0 15 1 Courier
19 vpoint p3 -100 -100 -300
20 vdrawtext OpenCascade -100 -100 -300 000 255 000 0 0 000 0 15 1 Courier
21 vpoint p4 -100 -100 -100
22 vdrawtext OpenCascade -100 -100 -100 000 255 000 0 0 000 0 15 1 Courier
25 vpoint p5 -300 -100 -300
26 vdrawtext OpenCascade -300 -100 -300 000 255 000 0 0 000 0 15 1 Courier
27 vpoint p6 -100 -300 -300
28 vdrawtext OpenCascade -100 -300 -300 000 255 000 0 0 000 0 15 1 Courier
29 vpoint p7 -300 -100 -100
30 vdrawtext OpenCascade -300 -100 -100 000 255 000 0 0 000 0 15 1 Courier
31 vpoint p8 -100 -300 -100
32 vdrawtext OpenCascade -100 -300 -100 000 255 000 0 0 000 0 15 1 Courier
34 vaxis ax1 100 100 100 100 100 0
36 box a 110 110 110 200 200 200
39 set aFile $imagedir/${test_image}.tex
43 if { [file exists ${aFile}] } {
44 puts "Export to TEX file was done"
45 set filesize [file size ${aFile}]
46 puts "Size of TEX file = $filesize"
47 if { $filesize >= 1500 } {
48 puts "Faulty : Export to TEX file was done but size of file is incorrect"
51 puts "Faulty : Export to TEX file was not done"