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
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
|
-- File: BOP_Tools.cdl
-- Created: Mon Apr 5 12:20:21 2001
-- Author: Peter KURNEV
-- <pkv@irinox>
---Copyright: Matra Datavision 2001
class Tools3D from BOPTools
---Purpose:
-- The class contains handy static functions
-- dealing with the topology
uses
Pln from gp,
Dir from gp,
Pnt from gp,
Pnt2d from gp,
Surface from Geom,
Shape from TopoDS,
Wire from TopoDS,
Face from TopoDS,
Edge from TopoDS,
Solid from TopoDS,
ShapeEnum from TopAbs,
Orientation from TopAbs,
State from TopAbs,
ListOfShape from TopTools,
Context from IntTools,
IndexedDataMapOfShapeListOfShape from TopTools
is
SubShapesAmount (myclass;
aS: Shape from TopoDS;
aT: ShapeEnum from TopAbs)
returns Integer from Standard ;
---Purpose:
-- Returns amount of sub-shapes of type <aT>
-- for the shape <aS>
--
IsConvexWire (myclass;
aW: Wire from TopoDS)
returns Boolean from Standard ;
---Purpose:
-- Returns TRUE if
-- amount of the vertices <= amount of the edges>
-- for the wire <aW>
--
RemoveSims (myclass;
aF: Face from TopoDS;
aContext:out Context from IntTools);
---Purpose:
-- Remove seam edges from face <aF>
--
RemoveSims (myclass;
aS: Shape from TopoDS;
aContext:out Context from IntTools);
---Purpose:
-- Remove seam edges from all faces of shape <aS>
--
EdgeOrientation (myclass;
aEx: Edge from TopoDS;
aF1: Face from TopoDS;
aF2: Face from TopoDS)
returns Orientation from TopAbs;
---Purpose:
-- For the draft section edge <aEx> computes orientation
-- in accordance with vector product between normals to
-- the faces <aF1>, <aF2>
--
IsSplitToReverse1 (myclass;
aE1: Edge from TopoDS;
aE2: Edge from TopoDS;
aContext:out Context from IntTools)
returns Boolean from Standard;
---Purpose:
-- Returns TRUE if direction of the edge <aE1> is not
-- the same as for the edge <aE2>
-- (using projection)
--
DoSplitSEAMOnFace (myclass;
aSp: Edge from TopoDS;
aF : Face from TopoDS);
---Purpose:
-- Make the edge <aSp> seam edge for the face <aF>
--
--modified by NIZHNY-MKK Mon Feb 17 15:02:01 2003.BEGIN
DoSplitSEAMOnFace (myclass;
theSplit : Edge from TopoDS;
theSeam : Edge from TopoDS;
theFace : Face from TopoDS;
IsReversed: out Boolean from Standard)
returns Boolean from Standard;
---Purpose:
-- Make the edge <theSplit> seam edge for the face <theFace>
-- It uses pcurves of <theSeam> to make <theSplit> seam edge.
-- IsReversed is true if pcurves of <theSplit> and <theSeam> are
-- reversed according to each other.
-- Returns true if <theSplit> was made seam edge for <theFace>
--
--modified by NIZHNY-MKK Mon Feb 17 15:02:04 2003.END
IsTouchCase (myclass;
aEx: Edge from TopoDS;
aF1: Face from TopoDS;
aF2: Face from TopoDS)
returns Boolean from Standard;
---Purpose:
-- Returns TRUE if the edge <aEx> is section edge
-- between touching faces <aF1>, <aF2>
--
GetTangentToEdge (myclass;
aE: Edge from TopoDS;
aT: Real from Standard;
aD:out Dir from gp)
returns Boolean from Standard;
---Purpose:
-- Computes tangent (3D) for the edge <aE>
-- at parameter <aT>
-- Returns TRUE if the edge <aE> is not degenerated.
--
GetTangentToEdge (myclass;
aE: Edge from TopoDS;
aD:out Dir from gp)
returns Boolean from Standard;
---Purpose:
--- Computes tangent (3D) for the edge <aE>
--- at arbitrary intermediate parameter
--- Returns TRUE if the edge <aE> is not degenerated.
---
GetNormalToFaceOnEdge (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aT: Real from Standard;
aD:out Dir from gp);
---Purpose:
--- Computes normal to the face <aF> for the point on the edge <aE>
--- at parameter <aT>
---
GetNormalToFaceOnEdge (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aD:out Dir from gp);
---Purpose:
--- Computes normal to the face <aF> for the point on the edge <aE>
--- at arbitrary intermediate parameter
---
GetBiNormal (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aT: Real from Standard;
aD:out Dir from gp);
---Purpose:
--- Computes binormal to the face <aF> for the point on the edge <aE>
--- at parameter <aT>
---
GetBiNormal (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aD:out Dir from gp);
---Purpose:
--- Computes binormal to the face <aF> for the point on the edge <aE>
--- at arbitrary intermediate parameter
---
IsSplitToReverse(myclass;
aE : Edge from TopoDS;
aSp: Edge from TopoDS)
returns Boolean from Standard;
---Purpose:
--- Returns TRUE if direction of the edge <aE1> is not
--- the same as for the edge <aE2>
---
GetAdjacentFace (myclass;
aF : Face from TopoDS;
aE : Edge from TopoDS;
aEFMap: IndexedDataMapOfShapeListOfShape from TopTools;
anAdjF:out Face from TopoDS)
returns Boolean from Standard;
---Purpose:
--- Get face <anAdjF> that is adjacent to the face <aF> through
--- the edge <aE> (using map EF <aEFMap>)
--- Returns FALSE if adjacent face is not found
---
IsKeepTwice (myclass;
aF1 : Face from TopoDS;
aF2 : Face from TopoDS;
aF2Adj: Face from TopoDS;
aSpEF2: Edge from TopoDS)
returns Boolean from Standard;
---Purpose:
--- Returns TRUE if pair of faces <aF2> and <aF2Adj>
--- that are adjacent faces through the edge <aSpEF2>
--- crosses the face <aF1> by <aSpEF2>
---
SenseFlag (myclass;
aNF1 : Dir from gp;
aNF2 : Dir from gp)
returns Integer from Standard;
---Purpose:
--- Returns 1 if scalar product aNF1* aNF2>0.
--- Returns 0 if directions aNF1 aNF2 coinside
--- Returns -1 if scalar product aNF1* aNF2<0.
---
GetNormalToSurface (myclass;
aS: Surface from Geom;
U : Real from Standard;
V : Real from Standard;
aD:out Dir from gp)
returns Boolean from Standard;
---Purpose:
--- Compute normal <aD> to surface <aS> in point (U,V)
--- Returns TRUE if directions aD1U, aD1V coinside
---
GetPlanes (myclass;
aSp : Edge from TopoDS;
aE2 : Edge from TopoDS;
aEFMap2: IndexedDataMapOfShapeListOfShape from TopTools;
aE1 : Edge from TopoDS;
aF1 : Face from TopoDS;
aST1:out State from TopAbs;
aContext:out Context from IntTools);
---Purpose:
--- Internal usage
---
Orientation (myclass;
aE : Edge from TopoDS;
aF : Face from TopoDS)
returns Orientation from TopAbs;
---Purpose:
--- Get the orientation for the edge <aE> on the face <aF>
--- Returns TopAbs_INTERNAL if the edge <aE> is not found
--- on the face <aF>
---
SignDistance (myclass;
aP : Pnt from gp;
aPL: Pln from gp)
returns Real from Standard;
---Purpose:
--- Computes signed distance between the 3D-point <aP>
--- and the plane <aPL>.
---
-- Warning:
--- The distance is not divided by sqrt(A*A+B*B+C*C)
---
GetApproxNormalToFaceOnEdge (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aT: Real from Standard;
aPx:out Pnt from gp;
aD:out Dir from gp);
---Purpose:
--- Computes normal to the face <aF> for the 3D-point that
--- belonds to the edge <aE> at parameter <aT>.
-- Output:
--- aPx - the 3D-point where the normal computed
--- aD - the normal;
---
-- Warning:
--- The normal is computed not exactly in the point on the
--- edge, but in point that is near to the edge towards to
--- the face material (so, we'll have approx. normal)
---
PointNearEdge (myclass;
aE : Edge from TopoDS;
aF : Face from TopoDS;
aT : Real from Standard;
aDt2D: Real from Standard;
aP2D :out Pnt2d from gp;
aPx :out Pnt from gp);
---Purpose:
--- Compute the point <aPx>, (<aP2D>) that is near to
--- the edge <aE> at parameter <aT> towards to the
--- material of the face <aF>. The value of shifting in
--- 2D is <aDt2D>
---
PointNearEdge (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aT: Real from Standard;
aP2D:out Pnt2d from gp;
aPx:out Pnt from gp);
---Purpose:
--- Computes the point <aPx>, (<aP2D>) that is near to
--- the edge <aE> at parameter <aT> towards to the
--- material of the face <aF>. The value of shifting in
-- 2D is dt2D=BOPTools_Tools3D::MinStepIn2d()
---
PointNearEdge (myclass;
aE: Edge from TopoDS;
aF: Face from TopoDS;
aP2D:out Pnt2d from gp;
aPx:out Pnt from gp);
---Purpose:
--- Compute the point <aPx>, (<aP2D>) that is near to
--- the edge <aE> at arbitrary parameter towards to the
--- material of the face <aF>. The value of shifting in
-- 2D is dt2D=BOPTools_Tools3D::MinStepIn2d()
---
PointToCompare (myclass;
aP1: Pnt from gp;
aP2: Pnt from gp;
aF: Face from TopoDS;
aPx:out Pnt from gp;
aContext:out Context from IntTools);
---Purpose:
--- For 3D-point <aP1> find projection point <aPx> on the face <aF>.
--- If the distance (<aP1>, <aPx>) > TolF =>
--- For 3D-point <aP2> find projection point <aPx> on the face <aF>.
--- If the distance (<aP2>, <aPx>) > TolF => returns <aP1>
---
GetPlane (myclass;
aSp : Edge from TopoDS;
aE1 : Edge from TopoDS;
aF1 : Face from TopoDS;
aF2 : Face from TopoDS;
aST:out State from TopAbs;
aContext:out Context from IntTools);
---Purpose:
--- Compute 3D-state for the point on the split edge <aSp>
--- (with base edge <aE1> and the face <aF1>) comparing with
--- the face <aF2>
---
GetPointState (myclass;
aSp : Edge from TopoDS;
aEF2 : Edge from TopoDS;
aF2Adj : Face from TopoDS;
aF1 : Face from TopoDS;
aST:out State from TopAbs);
---Purpose:
--- Compute 3D-state for the point on the split edge <aSp>
--- (with base edge <aEF2> and the adjacent face <aF2Adj>) comparing with
--- the face <aF1>
---
OrientEdgeOnFace (myclass;
aE : Edge from TopoDS;
aF : Face from TopoDS;
aER : out Edge from TopoDS);
---Purpose:
--- Get the edge <aER> from the face <aF> that is the same as
--- the edge <aE>
---
OrientTouchEdgeOnF1 (myclass;
aSp: Edge from TopoDS;
aEx: Edge from TopoDS;
aF1: Face from TopoDS;
aF2: Face from TopoDS)
returns Orientation from TopAbs;
---Purpose:
--- Computes orientation for the split edge <aSp>
--- [with base edge <aEx> and face <aF2>] on the
--- face <aF1>
---
GetSeams (myclass;
aF : Face from TopoDS;
aSimm1 : out Edge from TopoDS;
aSimm2 : out Edge from TopoDS);
---Purpose:
--- Get seam edges <aSimm1>, <aSimm2> for the face <aF>
---
GetSeam (myclass;
aF : Face from TopoDS;
aS1: Edge from TopoDS;
aS2: out Edge from TopoDS);
---Purpose:
--- Get opposite seam edge <aS2> for the face <aF> with
--- known seam edge <aS1>
---
IsValidArea (myclass;
aF : Face from TopoDS;
aNegativeFlag : out Boolean from Standard)
returns Boolean from Standard;
---Purpose:
--- Check validity of the area of face <aF>.
--- Returns TRUE if the Abs. value of the area
--- is greater than 1.e-16
---
MinStepIn2d(myclass)
returns Real from Standard;
---Purpose:
--- Returns simple step value that is used in 2D-computations
--- = 1.e-5
---
IsEmptyShape(myclass;
aS: Shape from TopoDS)
returns Boolean from Standard;
---Purpose:
--- Returns TRUE if the shape <aS> does not contain
--- geometry information (e.g. empty compound)
---
InvertShape(myclass;
aS : Shape from TopoDS;
aSInv:out Shape from TopoDS);
---Purpose:
--- Change orientations to opposite for the shape <aS>
--- and all its sub-shapes. Returns <aSInv>
---
GetStatePartIN2D(myclass;
aSp :Edge from TopoDS;
aEF1 :Edge from TopoDS;
aF1 :Face from TopoDS;
aF2 :Face from TopoDS;
aContext:out Context from IntTools)
returns State from TopAbs;
---Purpose:
--- Used in touch case
--- Compute the 3D-state for the point on the split
--- edge <aSp> (with base edge <aEF1> on face <aF1>)
--- comparing with <aF2>.
--- Used in touch case <aF1>/<aF2>
---
CheckSameDomainFaceInside(myclass; theFace1: Face from TopoDS;
theFace2: Face from TopoDS;
theContext: in out Context from IntTools)
returns Boolean from Standard;
ComputeFaceState(myclass; theFace: Face from TopoDS;
theRef : Solid from TopoDS;
theContext: in out Context from IntTools;
theState: out State from TopAbs)
returns Boolean from Standard;
TreatedAsAnalytic(myclass; aTx :Real from Standard;
aPx :Pnt from gp;
aEx :Edge from TopoDS;
aFx :Face from TopoDS;
aE1 :Edge from TopoDS;
aF1 :Face from TopoDS;
aTolTangent:Real from Standard;
aTolRadius :Real from Standard;
aState :out State from TopAbs;
aContext:out Context from IntTools)
returns Boolean from Standard;
TreatedAsAnalytic (myclass; aFx :Face from TopoDS;
aSpE1 :Edge from TopoDS;
aF1 :Face from TopoDS;
aTolTangent:Real from Standard;
aTolRadius :Real from Standard;
aState :out State from TopAbs;
aContext:out Context from IntTools)
returns Boolean from Standard;
HasAnalyticSurfaceType (myclass; aF: Face from TopoDS)
returns Boolean from Standard;
end Tools3D;
|
