Salome HOME
Issue #2611: Partition of a solid belonging to a Compsolid
[modules/shaper.git] / src / FeaturesPlugin / Test / TestPartition.py
1 ## Copyright (C) 2014-2017  CEA/DEN, EDF R&D
2 ##
3 ## This library is free software; you can redistribute it and/or
4 ## modify it under the terms of the GNU Lesser General Public
5 ## License as published by the Free Software Foundation; either
6 ## version 2.1 of the License, or (at your option) any later version.
7 ##
8 ## This library is distributed in the hope that it will be useful,
9 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
10 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
11 ## Lesser General Public License for more details.
12 ##
13 ## You should have received a copy of the GNU Lesser General Public
14 ## License along with this library; if not, write to the Free Software
15 ## Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
16 ##
17 ## See http:##www.salome-platform.org/ or
18 ## email : webmaster.salome@opencascade.com<mailto:webmaster.salome@opencascade.com>
19 ##
20
21 #=========================================================================
22 # Initialization of the test
23 #=========================================================================
24 from ModelAPI import *
25 from GeomDataAPI import *
26 from GeomAlgoAPI import *
27 from GeomAPI import *
28 import math
29
30 __updated__ = "2014-12-16"
31
32 aSession = ModelAPI_Session.get()
33 aDocument = aSession.moduleDocument()
34 # Create a part for extrusion
35 aSession.startOperation()
36 aPartFeature = aDocument.addFeature("Part")
37 aSession.finishOperation()
38 assert (len(aPartFeature.results()) == 1)
39 # Another way is:
40 # aPart = aSession.activeDocument()
41 aPartResult = modelAPI_ResultPart(aPartFeature.firstResult())
42 aPart = aPartResult.partDoc()
43
44 #=========================================================================
45 # Create a sketch circle to extrude
46 #=========================================================================
47 aSession.startOperation()
48 aCircleSketchFeature = featureToCompositeFeature(aPart.addFeature("Sketch"))
49 origin = geomDataAPI_Point(aCircleSketchFeature.attribute("Origin"))
50 origin.setValue(0, 0, 0)
51 dirx = geomDataAPI_Dir(aCircleSketchFeature.attribute("DirX"))
52 dirx.setValue(1, 0, 0)
53 norm = geomDataAPI_Dir(aCircleSketchFeature.attribute("Norm"))
54 norm.setValue(0, 0, 1)
55 # Create circle
56 aSketchCircle = aCircleSketchFeature.addFeature("SketchCircle")
57 anCircleCentr = geomDataAPI_Point2D(aSketchCircle.attribute("circle_center"))
58 aCircleRadius = aSketchCircle.real("circle_radius")
59 anCircleCentr.setValue(0, 0)
60 aCircleRadius.setValue(50)
61 aSession.finishOperation()
62
63 #=========================================================================
64 # Make extrusion on circle
65 #=========================================================================
66 # Build shape from sketcher results
67 aCircleSketchResult = aCircleSketchFeature.firstResult()
68 aCircleSketchEdges = modelAPI_ResultConstruction(aCircleSketchResult).shape()
69 origin = geomDataAPI_Point(aCircleSketchFeature.attribute("Origin")).pnt()
70 dirX = geomDataAPI_Dir(aCircleSketchFeature.attribute("DirX")).dir()
71 norm = geomDataAPI_Dir(aCircleSketchFeature.attribute("Norm")).dir()
72 aCircleSketchFaces = ShapeList()
73 GeomAlgoAPI_SketchBuilder.createFaces(
74     origin, dirX, norm, aCircleSketchEdges, aCircleSketchFaces)
75 assert (len(aCircleSketchFaces) > 0)
76 assert (aCircleSketchFaces[0] is not None)
77 # Create extrusion
78 aSession.startOperation()
79 anExtrusionFt = aPart.addFeature("Extrusion")
80 assert (anExtrusionFt.getKind() == "Extrusion")
81 # selection type FACE=4
82 anExtrusionFt.selectionList("base").append(
83     aCircleSketchResult, aCircleSketchFaces[0])
84 anExtrusionFt.string("CreationMethod").setValue("BySizes")
85 anExtrusionFt.real("to_size").setValue(50)
86 anExtrusionFt.real("from_size").setValue(0)
87 anExtrusionFt.real("to_offset").setValue(0) #TODO: remove
88 anExtrusionFt.real("from_offset").setValue(0) #TODO: remove
89 anExtrusionFt.execute()
90 aSession.finishOperation()
91 assert (anExtrusionFt.real("to_size").value() == 50)
92
93 # Check extrusion results
94 assert (len(anExtrusionFt.results()) > 0)
95 anExtrusionResult = modelAPI_ResultBody(anExtrusionFt.firstResult())
96 assert (anExtrusionResult is not None)
97
98 #=========================================================================
99 # Create plane
100 #=========================================================================
101 aSession.startOperation()
102 aPlaneFeature = aPart.addFeature("Plane")
103 aPlaneFeature.string("creation_method").setValue("by_general_equation")
104 aPlaneFeature.string("by_other_plane_option").setValue("by_distance_from_other") # TODO: remove
105 aPlaneFeature.real("A").setValue(0.)
106 aPlaneFeature.real("B").setValue(1.)
107 aPlaneFeature.real("C").setValue(0.)
108 aPlaneFeature.real("D").setValue(1.)
109 aSession.finishOperation()
110 aPlaneResult = aPlaneFeature.firstResult()
111
112 #=========================================================================
113 # Create a partition
114 #=========================================================================
115 aSession.startOperation()
116 aPartitionFt = aPart.addFeature("Partition")
117 assert (aPartitionFt.getKind() == "Partition")
118 aPartitionFt.selectionList("base_objects").append(anExtrusionResult, anExtrusionResult.shape())
119 aPartitionFt.selectionList("base_objects").append(aPlaneResult, None)
120 aPartitionFt.execute()
121 aSession.finishOperation()
122
123 #=========================================================================
124 # Test results
125 #=========================================================================
126 aFactory = ModelAPI_Session.get().validators()
127 assert (aFactory.validate(aPartitionFt))
128 assert (len(aPartitionFt.results()) > 0)
129 aPartitionResult = modelAPI_ResultBody(aPartitionFt.firstResult())
130 assert (aPartitionResult is not None)
131 aSession.undo()
132
133 #=========================================================================
134 # Create a partition
135 #=========================================================================
136 aSession.startOperation()
137 aPartitionFt = aPart.addFeature("Partition")
138 assert (aPartitionFt.getKind() == "Partition")
139 aPartitionFt.selectionList("base_objects").append(anExtrusionResult, anExtrusionResult.shape())
140 aPartitionFt.selectionList("base_objects").append(aPlaneResult, None)
141 aPartitionFt.execute()
142 aSession.finishOperation()
143
144 #=========================================================================
145 # Test results
146 #=========================================================================
147 aFactory = ModelAPI_Session.get().validators()
148 assert (aFactory.validate(aPartitionFt))
149 assert (len(aPartitionFt.results()) > 0)
150 aPartitionResult = modelAPI_ResultBody(aPartitionFt.firstResult())
151 assert (aPartitionResult is not None)
152
153 from salome.shaper import model
154 assert(model.checkPythonDump())