puts "============" puts "OCC21091" puts "OCC21450" puts "============" puts "" #vexport #vexport full_file_path {PS | EPS | TEX | PDF | SVG | PGF } : exports the view to a vector file of a given format #Testing export to TEX format vfont add [locate_data_file DejaVuSans.ttf] SansFont vinit set only_screen 1 vtrihedron trihedron vpoint p1 -300 -300 -300 vdrawtext OC0 OpenCascade -pos -300 -300 -300 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p2 -300 -300 -100 vdrawtext OC1 OpenCascade -pos -300 -300 -100 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p3 -100 -100 -300 vdrawtext OC2 OpenCascade -pos -100 -100 -300 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p4 -100 -100 -100 vdrawtext OC3 OpenCascade -pos -100 -100 -100 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p5 -300 -100 -300 vdrawtext OC4 OpenCascade -pos -300 -100 -300 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p6 -100 -300 -300 vdrawtext OC5 OpenCascade -pos -100 -300 -300 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p7 -300 -100 -100 vdrawtext OC6 OpenCascade -pos -300 -100 -100 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vpoint p8 -100 -300 -100 vdrawtext OC7 OpenCascade -pos -100 -300 -100 -color 0.0 1.0 0.0 -halign left -valign bottom -angle 000 -zoom 0 -height 15 -aspect regular -font SansFont vaxis ax1 100 100 100 100 100 0 box a 110 110 110 200 200 200 vdisplay a set aFile $imagedir/${test_image}.tex vexport ${aFile} TEX if { [file exists ${aFile}] } { puts "Export to TEX file was done" set filesize [file size ${aFile}] puts "Size of TEX file = $filesize" if { $filesize > 1500 } { puts "Faulty : Export to TEX file was done but size of file is incorrect" } } else { puts "Faulty : Export to TEX file was not done" }