1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
|
-- File: BRepAlgo_DSAccess.cdl
-- Created: Wed Aug 13 16:01:14 1997
-- Author: Prestataire Mary FABIEN
-- <fbi@langdox.paris1.matra-dtv.fr>
---Copyright: Matra Datavision 1997
class DSAccess from BRepAlgo
---Purpose:
uses
HDataStructure from TopOpeBRepDS,
Kind from TopOpeBRepDS,
Shape from TopoDS,
Wire from TopoDS,
Face from TopoDS,
Vertex from TopoDS,
ListOfInteger from TColStd,
SetOfInteger from TColStd,
MapOfInteger from TColStd,
ListOfShape from TopTools,
State from TopAbs,
CheckStatus from BRepAlgo,
EdgeConnector from BRepAlgo,
LoopSet from TopOpeBRepBuild,
HBuilder from TopOpeBRepBuild,
DataMapOfShapeInterference from BRepAlgo,
DataMapOfShapeShape from TopTools,
DataMapOfShapeListOfShape from TopTools,
DSFiller from TopOpeBRep
is
Create returns DSAccess from BRepAlgo;
Init(me: in out);
---Purpose: Clears the internal data structure, including the
--Shapes of Load().
-- Filling of the DS
Load(me : in out; S : Shape from TopoDS);
---Purpose: Loads the shape in DS.
--
Load(me : in out; S1, S2 : in out Shape from TopoDS);
---Purpose: Loads two shapes in the DS without intersecting them.
Intersect(me : in out);
---Purpose: Intersects two shapes at input and loads the DS with
-- their intersection. Clears the TopOpeBRepBuild_HBuilder if
-- necessary
Intersect(me : in out; S1, S2 : Shape from TopoDS);
---Purpose: Intersects the faces contained in two given shapes
-- and loads them in the DS. Clears the TopOpeBRepBuild_HBuilder
-- if necessary
SameDomain(me : in out;S1, S2 : Shape from TopoDS);
---Purpose: This method does the same thing as the previous,
-- but faster. There is no intersection face/face 3D.
-- The faces have the same support(surface). No test of
-- tangency (that is why it is faster). Intersects in 2d
-- the faces tangent F1 anf F2.
-- Construction des Sections
GetSectionEdgeSet(me : in out; S1,S2 : Shape from TopoDS)
---Purpose: returns compounds of Edge connected with section, which
-- contains sections between faces contained in S1 and S2.
-- returns an empty list of Shape if S1 or S2 do not contain
-- face.
-- calls GetSectionEdgeSet() if it has not already been done
---C++: return const &
returns ListOfShape from TopTools;
GetSectionEdgeSet(me : in out)
---Purpose: returns all compounds of edges connected with section
-- contained in the DS
---C++: return const &
returns ListOfShape from TopTools;
IsWire(me : in out;Compound : Shape from TopoDS)
---Purpose: NYI
returns Boolean from Standard;
Wire(me : in out;Compound : Shape from TopoDS)
---Purpose: NYI
---C++: return const &
returns Shape from TopoDS;
SectionVertex(me : in out;S1 : Shape from TopoDS;S2 : Shape from TopoDS)
---Purpose: NYI
-- returns the vertex of section, which contains the section
-- between face S1 and edge S2 (returns an empty Shape
-- if S1 is not a face or if S2 is not an edge)
---C++: return const &
returns ListOfShape from TopTools;
-- Edition de la SD
SuppressEdgeSet(me : in out; Compound : Shape from TopoDS);
---Purpose: Invalidates a complete line of section. All
-- Edges connected by Vertex or a Wire. Can be
-- a group of connected Edges, which do not form a
-- standard Wire.
ChangeEdgeSet(me : in out; Old, New : Shape from TopoDS);
---Purpose: Modifies a line of section. <New> -- should be a
-- Group of Edges connected by Vertex. -- Can be a
-- Wire. Can be a group of connected Edges that do not
-- form a standard Wire. <New> should be sub-groupn of <Old>
--
--
SuppressSectionVertex(me : in out;V : Vertex from TopoDS);
---Purpose: NYI
-- Make invalid a Vertex of section. The Vertex shoud be
-- reconstructed from a point.
Suppress(me : in out; Compound : Shape from TopoDS;
KeepComp : Shape from TopoDS)
is private;
-- Reconstruction des Shapes
Merge(me : in out; state1 : State from TopAbs;
state2 : State from TopAbs)
---C++: return const &
returns Shape from TopoDS;
Merge(me : in out; state1 : State from TopAbs)
---C++: return const &
returns Shape from TopoDS;
Propagate(me :in out;what : State from TopAbs;
FromShape : Shape from TopoDS;
LoadShape : Shape from TopoDS)
---Purpose: NYI Propagation of a state starting from the shape
-- FromShape = edge or vertex of section, face or
-- Coumpound de section. LoadShape is either S1,
-- or S2 (see the method Load). Propagation from
-- FromShape, on the states <what> of LoadShape.
-- Return a Wire in 2d, a Shell in 3d.
-- Specifications are incomplete, to be redefined for the typologies
-- correpsonding to <FromShape> and the result :
-- exemple : FromShape resultat
-- vertex wire (or edge)
-- edge of section face (or shell)
-- compound of section shell
-- ... ...
---C++: return const &
returns Shape from TopoDS;
PropagateFromSection(me : in out;SectionShape : Shape from TopoDS)
---Purpose: SectionShape est soit un Vertex de section(NYI), soit
-- une Edge de section. Propagation des shapes
-- de section en partant de SectionShape.
-- return un Compound de section.
---C++: return const &
returns Shape from TopoDS;
-- History
Modified (me: in out; S : Shape from TopoDS)
---Purpose: Returns the list of the descendant shapes of the shape <S>.
---C++: return const &
returns ListOfShape from TopTools ;
IsDeleted (me: in out; S : Shape from TopoDS)
---Purpose: Returns the fact that the shape <S> has been deleted or not
-- by the boolean operation.
returns Boolean;
-- Verification de la DS
Check(me : in out)
---Purpose: NYI
-- coherence of the internal Data Structure.
returns CheckStatus from BRepAlgo;
-- private
RemoveEdgeInterferences(me : in out;iF1 : Integer;
iF2 : Integer;
iCurve : Integer)
---purpose: case of SectEdge coming from Curve
-- for each of F1 and F2, find Edges
-- for each Edge :
-- remove the impact on geometry of vertexes
-- of SectEdge. If there is no other impact at these edges
-- and if these Edges are not SameDomain,
-- make unKeepShape.
is private;
RemoveEdgeInterferences(me : in out;iE1 : Integer;
iE2 : Integer;
SectEdge :Shape from TopoDS)
---purpose: case of SectEdge coming from Edge(s)
-- if iE1 and iE2 are Edges :
-- Remove the impact of DSEdge(= iE1 or iE2) of
-- geometry a vertex of SectEdge, and if there is nothing
-- else make unkeep on DSEdge
-- if iE1 or iE2 == 0, no interference on Edges in the DS
-- if iE1 and iE2 are Faces :
-- for each of faces F1 and F2, explode into Edges
-- for each Edge :
-- remove interferences a vertex of SectEdge as geometry.
-- If no other interferences are attached to
-- these Edges, and if these Edges are not SameDomain,
-- make unKeepShape.
is private;
RemoveFaceInterferences(me : in out;iF1 : Integer;
iF2 : Integer;
iE1 : Integer;
iE2 : Integer)
--purpose : case of SectEdge coming from Edge(s)
-- Remove the interferences between F1 and F2 concerning
-- DSEdge (= E1 or E2) :
-- a) if DSEdge is not SameDomain -> the edge is Removed
-- b) if there are no interferences of DSEdge of
-- GeomtryType == VERTEX
-- with Edge of DSFace(= F1 or F2)
-- if DSFace has no more interference and is not SameDomain,
-- make unkeep DSFace.
is private;
RemoveFaceInterferences(me : in out;iF1 : Integer;
iF2 : Integer;
iCurve : Integer)
---purpose: case of SectEdge coming from Curve
-- remove the interferences of Geometry iCurve between F1 and F2.
-- if Face(= F1 or F2) has no other interferences, and if Face
-- is not SameDomain, make unKeepShape Face.
is private;
RemoveEdgeInterferencesFromFace(me : in out;
iF1 : Integer;
iF2 : Integer;
ipv1 : Integer;
kind1 : Kind from TopOpeBRepDS;
ipv2 : Integer;
kind2 : Kind from TopOpeBRepDS)
---purpose: remove from iF1 or iF2 interferences of Edges
-- that have GeometryType kind1/kind2 and
-- Geometry ipv1/ipv2.
-- if kind1/kind2 == TopAbs_VERTEX -> RemoveEdgeFromFace
is private;
RemoveEdgeFromFace(me : in out;iF : Integer;
iV : Integer)
---purpose: remove from the DS the Edges that belong to iF
-- that have iV as Vertex if they do not have Geometry and
-- are not SameDomain.
is private;
PntVtxOnCurve(me : in out; iCurve : Integer;
ipv1 : in out Integer;
ik1 : in out Kind from TopOpeBRepDS;
ipv2 : in out Integer;
ik2 : in out Kind from TopOpeBRepDS)
---purpose: Find points/vertex on curves
is private;
PntVtxOnSectEdge(me : in out; SectEdge : Shape from TopoDS;
ipv1 : in out Integer;
ik1 : in out Kind from TopOpeBRepDS;
ipv2 : in out Integer;
ik2 : in out Kind from TopOpeBRepDS)
---purpose : Find points/Vertex on SectEdge
is private;
RemoveEdgeSameDomain(me : in out; iE1 : Integer;
iE2 : Integer)
is private;
RemoveFaceSameDomain(me : in out; C : Shape from TopoDS)
is private;
FindGoodFace(me : in out; iE : Integer;
iF1 : in out Integer;
b : in out Boolean)
---C++: return &
returns ListOfInteger from TColStd is private;
RemoveFaceSameDomain(me : in out; iF1 : Integer;
iF2 : Integer)
is private;
GoodInterf(me : in out; SectEdge : Shape from TopoDS;
kind : Kind from TopOpeBRepDS;
iPointVertex : Integer)
returns Boolean is private;
DS(me) returns HDataStructure from TopOpeBRepDS;
---C++: return const &
ChangeDS(me : in out) returns HDataStructure from TopOpeBRepDS;
---C++: return &
Builder(me) returns HBuilder from TopOpeBRepBuild;
---C++: return const &
ChangeBuilder(me : in out) returns HBuilder from TopOpeBRepBuild;
---C++: return &
fields
myHDS : HDataStructure from TopOpeBRepDS;
myDSFiller : DSFiller from TopOpeBRep;
myHB : HBuilder from TopOpeBRepBuild;
myEC : EdgeConnector from BRepAlgo;
myS1 : Shape from TopoDS;
myS2 : Shape from TopoDS;
myState1,myState2 : State from TopAbs;
myListOfCompoundOfEdgeConnected : ListOfShape from TopTools;
myCurrentList : ListOfShape from TopTools;
myRecomputeBuilderIsDone : Boolean from Standard;
myGetSectionIsDone : Boolean from Standard;
myResultShape : Shape from TopoDS;
myWire : Wire from TopoDS;
myListOfVertex : ListOfShape from TopTools;
myModified : ListOfShape from TopTools;
myEmptyShape : Shape from TopoDS;
myEmptyListOfShape : ListOfShape from TopTools;
myEmptyListOfInteger : ListOfInteger from TColStd;
myCompoundWireMap : DataMapOfShapeShape from TopTools;
mySetOfKeepPoint : SetOfInteger from TColStd;
friends
class BooleanOperations
end DSAccess from BRepAlgo;
|