1 puts "TODO ?OCC11111 ALL: Faulty : Export to"
9 #vexport full_file_path {PS | EPS | TEX | PDF | SVG | PGF } : exports the view to a vector file of a given format
10 #Testing export to PDF format
17 vpoint p1 -300 -300 -300
18 vdrawtext OpenCascade -300 -300 -300 000 255 000 0 0 000 0 15 1 Courier
19 vpoint p2 -300 -300 -100
20 vdrawtext OpenCascade -300 -300 -100 000 255 000 0 0 000 0 15 1 Courier
21 vpoint p3 -100 -100 -300
22 vdrawtext OpenCascade -100 -100 -300 000 255 000 0 0 000 0 15 1 Courier
23 vpoint p4 -100 -100 -100
24 vdrawtext OpenCascade -100 -100 -100 000 255 000 0 0 000 0 15 1 Courier
27 vpoint p5 -300 -100 -300
28 vdrawtext OpenCascade -300 -100 -300 000 255 000 0 0 000 0 15 1 Courier
29 vpoint p6 -100 -300 -300
30 vdrawtext OpenCascade -100 -300 -300 000 255 000 0 0 000 0 15 1 Courier
31 vpoint p7 -300 -100 -100
32 vdrawtext OpenCascade -300 -100 -100 000 255 000 0 0 000 0 15 1 Courier
33 vpoint p8 -100 -300 -100
34 vdrawtext OpenCascade -100 -300 -100 000 255 000 0 0 000 0 15 1 Courier
36 vaxis ax1 100 100 100 100 100 0
38 box a 110 110 110 200 200 200
41 set aFile $imagedir/${test_image}.pdf
45 if { [file exists ${aFile}] } {
46 puts "Export to pdf file was done"
47 set filesize [file size ${aFile}]
49 if { $filesize != 10055 } {
50 puts "Faulty : Export to pdf file was done but size of file is incorrect"
53 puts "Faulty : Export to pdf file was not done"