0024284: Some trivial warnings produced by ICC 14
[occt.git] / src / TopLoc / TopLoc_Location.cxx
1 // Created on: 1991-01-21
2 // Created by: Christophe MARION
3 // Copyright (c) 1991-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 #define No_Standard_NoSuchObject
23
24 #include <TopLoc_Location.ixx>
25 #include <Standard_NoSuchObject.hxx>
26 #include <TopLoc_Datum3D.hxx>
27 #include <TopLoc_SListOfItemLocation.hxx>
28 #include <TopLoc_ItemLocation.hxx>
29 #include <gp_Trsf.hxx>
30 #include <TopLoc_TrsfPtr.hxx>
31
32 static const gp_Trsf TheIdentity;
33
34
35 static Standard_Boolean IsInternalIdentity(const TopLoc_Location& loc)
36 {
37   if (loc.IsIdentity()) {
38     return Standard_True;
39   }
40 //  if (loc.FirstDatum()->Transformation().Form() == gp_Identity) {
41 //    return Standard_True;
42 //  }
43   return Standard_False;
44 }
45
46 //=======================================================================
47 //function : TopLoc_Location
48 //purpose  : constructor Identity
49 //=======================================================================
50
51 TopLoc_Location::TopLoc_Location () 
52 {
53 }
54 //=======================================================================
55 //function : TopLoc_Location
56 //purpose  : constructor Datum
57 //=======================================================================
58
59 TopLoc_Location::TopLoc_Location (const Handle(TopLoc_Datum3D)& D)
60 {
61   myItems.Construct(TopLoc_ItemLocation(D,1));
62 }
63
64 //=======================================================================
65 //function : TopLoc_Location
66 //purpose  : 
67 //=======================================================================
68
69 TopLoc_Location::TopLoc_Location(const gp_Trsf& T)
70 {
71   Handle(TopLoc_Datum3D) D = new TopLoc_Datum3D(T);
72   myItems.Construct(TopLoc_ItemLocation(D,1));
73 }
74
75 //=======================================================================
76 //function : Transformation
77 //purpose  : 
78 //=======================================================================
79
80 const gp_Trsf& TopLoc_Location::Transformation() const
81 {
82   if (IsInternalIdentity(*this))
83     return TheIdentity;
84   else {
85     if (myItems.Value().myTrsf == NULL) {
86       TopLoc_ItemLocation *I = (TopLoc_ItemLocation*) (void*) &this->myItems.Value();
87       // CLE
88       if (I->myTrsf == NULL) I->myTrsf = new gp_Trsf;
89       *(I->myTrsf) = I->myDatum->Transformation();
90       I->myTrsf->Power(I->myPower);
91       I->myTrsf->PreMultiply(NextLocation().Transformation());
92     }
93     return *(myItems.Value().myTrsf);
94   }
95 }
96
97 TopLoc_Location::operator gp_Trsf() const
98 {
99   return Transformation();
100 }
101
102 //=======================================================================
103 //function : Inverted
104 //purpose  : return the inverse
105 //=======================================================================
106
107 TopLoc_Location TopLoc_Location::Inverted () const
108 {
109   //
110   // the inverse of a Location is a chain in revert order
111   // with opposite powers and same Local
112   //
113   TopLoc_Location result;
114   TopLoc_SListOfItemLocation items = myItems;
115   while (items.More()) {
116     result.myItems.Construct(TopLoc_ItemLocation(items.Value().myDatum,
117                                                  -items.Value().myPower));
118     items.Next();
119   }
120   return result;
121 }
122
123 //=======================================================================
124 //function : Multiplied
125 //purpose  : operator *
126 //=======================================================================
127
128 TopLoc_Location TopLoc_Location::Multiplied(const TopLoc_Location& Other) const
129 {
130   // prepend the chain Other in front of this
131   // cancelling null exponents
132   
133   if (IsIdentity()) return Other;
134   if (Other.IsIdentity()) return *this;
135   
136   // prepend the queue of Other
137   TopLoc_Location result = Multiplied(Other.NextLocation());
138   // does the head of Other cancel the head of result
139
140   Standard_Integer p = Other.FirstPower();
141   if (!result.IsIdentity()) {
142     if (Other.FirstDatum() == result.FirstDatum()) {
143       p += result.FirstPower();
144       result.myItems.ToTail();
145     }
146   }
147   if (p != 0)
148     result.myItems.Construct(TopLoc_ItemLocation(Other.FirstDatum(),p));
149   return result;
150 }
151
152 //=======================================================================
153 //function : Divided
154 //purpose  : operator /   this*Other.Inverted()
155 //=======================================================================
156
157 TopLoc_Location TopLoc_Location::Divided (const TopLoc_Location& Other) const
158 {
159   return Multiplied(Other.Inverted());
160 }
161
162 //=======================================================================
163 //function : Predivided
164 //purpose  : return Other.Inverted() * this
165 //=======================================================================
166
167 TopLoc_Location TopLoc_Location::Predivided (const TopLoc_Location& Other) 
168      const
169 {
170   return Other.Inverted().Multiplied(*this);
171 }
172
173 //=======================================================================
174 //function : Powered
175 //purpose  : power elevation
176 //=======================================================================
177
178 TopLoc_Location TopLoc_Location::Powered (const Standard_Integer pwr) const
179 {
180   if (IsInternalIdentity(*this)) return *this;
181   if (pwr == 1) return *this;
182   if (pwr == 0) return TopLoc_Location();
183   
184   // optimisation when just one element
185   if (myItems.Tail().IsEmpty()) {
186     TopLoc_Location result;
187     result.myItems.Construct(TopLoc_ItemLocation(FirstDatum(),
188                                                  FirstPower() * pwr));
189     return result;
190   }
191
192   if (pwr > 0) return Multiplied(Powered(pwr - 1));
193   else         return Inverted().Powered(-pwr);
194 }
195
196 //=======================================================================
197 //function : HashCode
198 //purpose  : 
199 //=======================================================================
200
201 Standard_Integer TopLoc_Location::HashCode(const Standard_Integer upper) const
202 {
203   // the HashCode computed for a Location is the bitwise exclusive or
204   // of values computed for each element of the list
205   // to compute this value, the depth of the element is computed 
206   // the depth is the position of the element in the list
207   // this depth is multiplied by 3
208   // each element is an elementary Datum raised to a Power
209   // the Power is bitwise left shifted by depth
210   // this is added to the HashCode of the Datum
211   // this value is biwise rotated by depth
212   // the use of depth avoids getting the same result for two permutated lists.
213
214   Standard_Integer depth = 0;
215   unsigned int h = 0;
216   TopLoc_SListOfItemLocation items = myItems;
217   while (items.More()) {
218     depth += 3;
219     unsigned int i = ::HashCode (items.Value().myDatum, upper);
220     unsigned int j = ( (i + items.Value().myPower) <<depth);
221     j = j>>(32-depth) | j<<depth;
222     h ^= j;
223     items.Next();
224   }
225   return h % upper;
226 }
227
228 //=======================================================================
229 //function : IsEqual
230 //purpose  : operator ==
231 //=======================================================================
232
233 // two locations are Equal if the Items have the same LocalValues and Powers
234 // this is a recursive function to test it
235
236 Standard_Boolean TopLoc_Location::IsEqual (const TopLoc_Location& Other) const
237 {
238   const void** p = (const void**) &myItems;
239   const void** q = (const void**) &Other.myItems;
240   if (*p            == *q                  ) {return Standard_True ; }
241   if (IsIdentity()  || Other.IsIdentity()  ) {return Standard_False; }
242   if (FirstDatum()  != Other.FirstDatum()  ) {return Standard_False; }
243   if (FirstPower()  != Other.FirstPower()  ) {return Standard_False; }
244   else { return NextLocation() == Other.NextLocation();}
245 }
246
247 //=======================================================================
248 //function : IsDifferent
249 //purpose  : 
250 //=======================================================================
251
252 Standard_Boolean TopLoc_Location::IsDifferent
253   (const TopLoc_Location& Other) const
254 {
255   return !IsEqual(Other);
256 }
257
258 //=======================================================================
259 //function : ShallowDump
260 //purpose  : 
261 //=======================================================================
262
263 void TopLoc_Location::ShallowDump(Standard_OStream& S) const
264 {
265   S << "TopLoc_Location : ";
266   TopLoc_SListOfItemLocation items  = myItems;
267   if (items.IsEmpty()) S << "Identity"<<endl;
268   while (items.More()) {
269     S<<"\n";
270     S << "       Exponent : " << items.Value().myPower <<endl;
271     items.Value().myDatum->ShallowDump(S);
272     items.Next();
273   }
274   S << "\n";
275 }
276
277