blob: 49e627565986e2190deed01c910c9ceb084ba34f (
plain)
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
|
-- File: TopOpeBRepDS_Transition.cdl
-- Created: Thu May 26 17:35:11 1994
-- Author: Jean Yves LEBEY
-- <jyl@fuegox>
---Copyright: Matra Datavision 1994
class Transition from TopOpeBRepDS
uses
State from TopAbs,
Orientation from TopAbs,
ShapeEnum from TopAbs,
OStream from Standard
is
Create returns Transition from TopOpeBRepDS;
Create(StateBefore,StateAfter : State from TopAbs;
ShapeBefore : ShapeEnum from TopAbs = TopAbs_FACE;
ShapeAfter : ShapeEnum from TopAbs = TopAbs_FACE)
returns Transition from TopOpeBRepDS;
Create(O : Orientation from TopAbs)
returns Transition from TopOpeBRepDS;
Set(me : in out;
StateBefore, StateAfter : State from TopAbs;
ShapeBefore : ShapeEnum from TopAbs = TopAbs_FACE;
ShapeAfter : ShapeEnum from TopAbs = TopAbs_FACE);
StateBefore(me : in out; S : State from TopAbs);
StateAfter(me : in out; S : State from TopAbs);
ShapeBefore(me : in out; SE : ShapeEnum from TopAbs);
ShapeAfter(me : in out; SE : ShapeEnum from TopAbs);
Before(me : in out; S : State from TopAbs;ShapeBefore : ShapeEnum from TopAbs = TopAbs_FACE);
After(me : in out; S : State from TopAbs;ShapeAfter : ShapeEnum from TopAbs = TopAbs_FACE);
Index(me : in out; I : Integer);
IndexBefore(me : in out; I : Integer);
IndexAfter(me : in out; I : Integer);
Before(me) returns State from TopAbs;
ONBefore(me) returns ShapeEnum from TopAbs;
After(me) returns State from TopAbs;
ONAfter(me) returns ShapeEnum from TopAbs;
ShapeBefore(me) returns ShapeEnum from TopAbs;
ShapeAfter(me) returns ShapeEnum from TopAbs;
Index(me) returns Integer; -- index of ShapeBefore (may be null)
IndexBefore(me) returns Integer; -- index of ShapeBefore (may be null)
IndexAfter(me) returns Integer; -- index of ShapeAfter (may be null)
Set(me : in out; O : Orientation from TopAbs);
---Purpose: set the transition corresponding to orientation <O>
--
-- O Before After
--
-- FORWARD OUT IN
-- REVERSED IN OUT
-- INTERNAL IN IN
-- EXTERNAL OUT OUT
--
Orientation(me; S : State from TopAbs;
T : ShapeEnum from TopAbs = TopAbs_FACE)
---Purpose: returns the orientation corresponding to state <S>
--
-- Before and After not equal TopAbs_ON :
-- --------------------------------------
-- Before After Computed orientation
--
-- S not S REVERSED (we leave state S)
-- not S S FORWARD (we enter state S)
-- S S INTERNAL (we stay in state S)
-- not S not S EXTERNAL (we stay outside state S)
returns Orientation from TopAbs;
OrientationON(me; S : State from TopAbs;
T : ShapeEnum from TopAbs)
---Purpose: returns the orientation corresponding to state <S>
-- (if one at least of the internal states is ON)
returns Orientation from TopAbs
is static private;
Complement(me) returns Transition from TopOpeBRepDS;
IsUnknown(me) returns Boolean from Standard;
---Purpose: returns True if both states are UNKNOWN
DumpA(me; OS : in out OStream from Standard) returns OStream;
---C++: return &
DumpB(me; OS : in out OStream from Standard) returns OStream;
---C++: return &
Dump(me; OS : in out OStream from Standard) returns OStream;
---C++: return &
fields
myStateBefore, myStateAfter : State from TopAbs;
myShapeBefore, myShapeAfter : ShapeEnum from TopAbs;
myIndexBefore, myIndexAfter : Integer from Standard;
end Transition from TopOpeBRepDS;
|