Adding of testing cases from subgroups 937 940 and 941 of CHL group
[occt.git] / src / BOPTColStd / BOPTColStd_ShapeWithRankHasher.cdl
1 -- Created on: 2001-06-08
2 -- Created by: Peter KURNEV
3 -- Copyright (c) 2001-2012 OPEN CASCADE SAS
4 --
5 -- The content of this file is subject to the Open CASCADE Technology Public
6 -- License Version 6.5 (the "License"). You may not use the content of this file
7 -- except in compliance with the License. Please obtain a copy of the License
8 -- at http://www.opencascade.org and read it completely before using this file.
9 --
10 -- The Initial Developer of the Original Code is Open CASCADE S.A.S., having its
11 -- main offices at: 1, place des Freres Montgolfier, 78280 Guyancourt, France.
12 --
13 -- The Original Code and all software distributed under the License is
14 -- distributed on an "AS IS" basis, without warranty of any kind, and the
15 -- Initial Developer hereby disclaims all such warranties, including without
16 -- limitation, any warranties of merchantability, fitness for a particular
17 -- purpose or non-infringement. Please see the License for the specific terms
18 -- and conditions governing the rights and limitations under the License.
19
20
21
22 class ShapeWithRankHasher from BOPTColStd 
23
24     ---Purpose: 
25     --  The auxiliary class provides hash code for mapping 
26     --  ShapeWithRank objects
27 uses
28     ShapeWithRank from BOPTColStd
29
30
31 is 
32     HashCode(myclass;  
33             SR : ShapeWithRank from BOPTColStd;  
34             Upper : Integer from Standard)  
35         returns Integer from Standard; 
36     ---Purpose: Returns a HasCode value  for  the  Key <K>  in the
37     --          range 0..Upper.
38     -- 
39     IsEqual(myclass;  
40         SR1, SR2 : ShapeWithRank from BOPTColStd)  
41         returns Boolean;         
42     ---Purpose: Returns True  when the two  keys are the same. Two
43     --          same  keys  must   have  the  same  hashcode,  the
44     --          contrary is not necessary.
45
46 end ShapeWithRankHasher;