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
|
-- File: TopoDS.cdl
-- Created: Tue Dec 11 17:08:03 1990
-- Author: Remi Lequette
---Copyright: Matra Datavision 1990, 1992
package TopoDS
---Purpose: Provides methods to cast objects of class
-- TopoDS_Shape to be onjects of more specialized
-- sub-classes. Types are verified, thus in the example
-- below, the first two blocks are correct but the third is
-- rejected by the compiler.
uses
MMgt,
TCollection,
TopAbs, -- basic enumerations : ShapeEnum, Orientation
TopLoc -- the Location (Local Coordinate System)
is
-- exceptions
exception FrozenShape inherits DomainError;
---Purpose: An attempt was made to modify a Shape already
-- shared or protected.
exception UnCompatibleShapes inherits DomainError;
---Purpose: An incorrect insertion was attempted.
-- classes
class Shape;
---Purpose: A reference to a Topological shape with Location,
-- Orientation.
class HShape;
---Purpose: Class to manipulate a Shape with handle.
class ListOfShape instantiates List from TCollection (Shape from TopoDS);
---Purpose: Used to implement the TShape.
deferred class TShape;
---Purpose: A topological shape is a structure made from other
-- shapes. This is a deferred class used to support
-- topological objects.
deferred class TVertex;
---Purpose: A Vertex is a topological point in two or three
-- dimensions.
class Vertex;
---Purpose: A TVertex with a localisation and an orientation.
deferred class TEdge;
---Purpose: A topological part of a curve in 2D or 3D, the
-- boundary is a set of oriented Vertices.
class Edge;
---Purpose: A TEdge with a localisation and an orientation.
class TWire;
---Purpose: A set of edges connected by their vertices.
class Wire;
---Purpose: A TWire with a localisation and an orientation.
class TFace;
---Purpose: A topological part of a surface or of the 2D
-- space. The boundary is a set of wires and
-- vertices.
class Face;
---Purpose: A TFace with a localisation and an orientation.
class TShell;
---Purpose: A set of faces connected by their edges.
class Shell;
---Purpose: A TShell with a localisation and an orientation.
class TSolid;
---Purpose: A Topological part of 3D space, bounded by shells,
-- edges and vertices.
class Solid;
---Purpose: A Solid with a localisation and an orientation.
class TCompSolid;
---Purpose: A set of solids connected by their faces.
class CompSolid;
---Purpose: A TCompSolid with a localisation and an
-- orientation. Casts shape S to the more specialized return type, CompSolid.
class TCompound;
---Purpose: A TCompound is an all-purpose set of Shapes.
class Compound;
---Purpose: A TCompound with a localisation and an
-- orientation.
-- Casts shape S to the more specialized return type, Compound.
class Builder;
---Purpose: A builder is an object used to create and modify
-- Data Structures. It is the root of the Builder
-- class hierarchy.
class Iterator;
---Purpose: Basic tool to access the data structure.
Vertex(S : Shape from TopoDS) returns Vertex from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Vertex& Vertex(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Vertex.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
Edge(S : Shape from TopoDS) returns Edge from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Edge& Edge(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Edge
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
Wire(S : Shape from TopoDS) returns Wire from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Wire& Wire(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Wire.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
Face(S : Shape from TopoDS) returns Face from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Face& Face(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Face.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
Shell(S : Shape from TopoDS) returns Shell from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Shell& Shell(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Shell.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
Solid(S : Shape from TopoDS) returns Solid from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Solid& Solid(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Solid.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
CompSolid(S : Shape from TopoDS) returns CompSolid from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_CompSolid& CompSolid(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, CompSolid.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
Compound(S : Shape from TopoDS) returns Compound from TopoDS
---C++: inline
---C++: return const &
---C++: alias "inline static TopoDS_Compound& Compound(TopoDS_Shape&);"
---Purpose: Casts shape S to the more specialized return type, Compound.
-- Exceptions
-- Standard_TypeMismatch if S cannot be cast to this return type.
raises TypeMismatch from Standard;
end TopoDS;
|
