0021762: Integration of new Boolean Operation algorithm to OCCT.
[occt.git] / src / LocOpe / LocOpe.cdl
1 -- Created on: 1995-04-25
2 -- Created by: Jacques GOUSSARD
3 -- Copyright (c) 1995-1999 Matra Datavision
4 -- Copyright (c) 1999-2012 OPEN CASCADE SAS
5 --
6 -- The content of this file is subject to the Open CASCADE Technology Public
7 -- License Version 6.5 (the "License"). You may not use the content of this file
8 -- except in compliance with the License. Please obtain a copy of the License
9 -- at http://www.opencascade.org and read it completely before using this file.
10 --
11 -- The Initial Developer of the Original Code is Open CASCADE S.A.S., having its
12 -- main offices at: 1, place des Freres Montgolfier, 78280 Guyancourt, France.
13 --
14 -- The Original Code and all software distributed under the License is
15 -- distributed on an "AS IS" basis, without warranty of any kind, and the
16 -- Initial Developer hereby disclaims all such warranties, including without
17 -- limitation, any warranties of merchantability, fitness for a particular
18 -- purpose or non-infringement. Please see the License for the specific terms
19 -- and conditions governing the rights and limitations under the License.
20
21
22
23 package LocOpe
24
25         ---Purpose: Provides  tools to implement local     topological
26         --          operations on a shape.
27
28 uses MMgt,
29      StdFail,
30      TCollection,
31      TColStd,
32      gp, 
33      Geom,
34      TColGeom,
35      TColgp,
36
37      TopAbs,
38      TopoDS,
39      TopExp,
40      TopTools,
41      BRepFill,
42      BRepSweep, 
43      TopOpeBRepDS
44 --     TopOpeBRepBuild
45
46 is 
47
48     class SplitShape;
49
50     deferred class ProjectedWires;      -- inherits TShared from MMgt
51     
52     class WiresOnShape;                 -- inherits ProjectedWires from LocOpe
53
54
55     class Spliter;
56
57     class Generator;
58
59     deferred class GeneratedShape;      -- inherits TShared from MMgt
60     
61     class GluedShape;                   -- inherits GeneratedShape from LocOpe
62     class Prism;
63     class Revol;
64
65     class Pipe;
66
67     class DPrism;
68
69     class LinearForm;
70
71     class RevolutionForm;
72
73     class Gluer;
74
75     class FindEdges;
76
77     class FindEdgesInFace;
78
79     class DataMapOfShapePnt instantiates DataMap from TCollection
80             (Shape          from TopoDS,
81          Pnt            from gp,
82          ShapeMapHasher from TopTools);
83
84     class PntFace;
85     
86     class CurveShapeIntersector;
87     
88     class CSIntersector;
89     
90
91     class BuildShape;
92
93     class SplitDrafts;
94
95
96     class SequenceOfPntFace instantiates Sequence from TCollection
97             (PntFace from LocOpe);
98
99     class SequenceOfLin instantiates Sequence from TCollection
100             (Lin from gp);
101
102     class SequenceOfCirc instantiates Sequence from TCollection
103             (Circ from gp);
104
105     private class HBuilder;    -- inherits HBuilder from TopOpeBRepBuild
106
107     private class BuildWires;   -- used in LocOpe_Spliter
108
109     enumeration Operation is
110             FUSE,
111         CUT,
112         INVALID
113     end Operation;
114
115
116     Closed(W: Wire from TopoDS; OnF: Face from TopoDS)
117         ---Purpose: Returns Standard_True  when the wire <W> is closed
118         --          on the face <OnF>.
119             returns Boolean from Standard;
120     
121
122     Closed(E: Edge from TopoDS; OnF: Face from TopoDS)
123         ---Purpose: Returns Standard_True  when the edge <E> is closed
124         --          on the face <OnF>.
125             returns Boolean from Standard;
126
127     TgtFaces(E : Edge from TopoDS; 
128                  F1: Face from TopoDS;
129                  F2: Face from TopoDS)
130         ---Purpose: Returns Standard_True  when the faces are tangent
131             returns Boolean from Standard;
132
133
134     
135 --    IsInside(F1: Face from TopoDS; F2: Face from TopoDS)
136 --         ---Purpose: Returns Standard_True when  the face F1 is in  the
137 --         --          F2 .
138 --            returns Boolean from Standard;
139    
140
141     SampleEdges(S : Shape from TopoDS;
142                     Pt: in out SequenceOfPnt from TColgp);
143
144
145 end LocOpe;
146
147
148
149
150