0026855: Draw commands to debug Boolean Operations Algorithm
[occt.git] / tests / bugs / modalg_2 / bug5805_14
1 puts "============"
2 puts "OCC5805"
3 puts "============"
4
5 #######################################################################
6 # BRepOffsetAPI_MakeThickSolid behaves unstably and produces very different results.
7 #######################################################################
8
9 set BugNumber OCC5805
10
11 #
12 #                    v12                   v11
13 #                    *---------------------*
14 #                    |                     |
15 #                    |                     |
16 #                    |                     |
17 #                    |                     |
18 #                    |                     |
19 #                    |                     |
20 #                    |                     |
21 #                    |                     |
22 #                    |                     |
23 #                    |                     |
24 #                    *---------------------*
25 #                    v13                   v14
26 #
27
28 set z1 5
29 set z2 -5
30
31 # quadrangle1
32 polyline UpCover 0 0 ${z1} 5 0 ${z1} 5 5 ${z1} 0 5 ${z1} 0 0 ${z1}
33
34 # quadrangle2
35 polyline BottomCover 0 0 ${z2} 5 0 ${z2} 5 5 ${z2} 0 5 ${z2} 0 0 ${z2}
36
37 set issolid 1
38 set isruled 1
39 if [catch { thrusections s ${issolid} ${isruled} UpCover BottomCover } catch_result] {
40    puts "Faulty ${BugNumber} : thrusections is wrong"
41    
42 }
43
44 set distance -0.5
45 catch { OFFSETSHAPE $distance {s_5} $calcul $type }
46
47
48 set square 402
49
50 checknbshapes result -vertex 16 -edge 24 -wire 12 -face 11 -shell 1 -solid 1 -compsolid 0 -compound 0 -shape 65
51
52 set index [lsearch [whatis s] Closed]
53 if {$index == -1} {
54   puts "Faulty ${BugNumber} : s is not Closed shape"
55   
56 }
57
58 set index [lsearch [whatis result] Closed]
59 if {$index == -1} {
60   puts "Faulty ${BugNumber} : result is not Closed shape"
61   
62 }
63
64
65 set 2dviewer 0