0023687: Two opposite conditions. The second condition is always false in ifselect_sh...
[occt.git] / src / IFSelect / IFSelect_SelectAnyType.cdl
1 -- Created on: 1992-11-18
2 -- Created by: Christian CAILLET
3 -- Copyright (c) 1992-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 deferred class SelectAnyType  from IFSelect  inherits SelectExtract
24
25     ---Purpose : A SelectAnyType sorts the Entities of which the Type is Kind
26     --           of a given Type : this Type for Match is specific of each
27     --           class of SelectAnyType
28
29 uses Type, InterfaceModel
30
31 is
32
33     TypeForMatch (me) returns Type  is deferred;
34     ---Purpose : Returns the Type which has to be matched for select
35
36     Sort (me; rank : Integer; ent : Transient; model : InterfaceModel)
37         returns Boolean;
38     ---Purpose : Returns True for an Entity (model->Value(num)) which is kind
39     --           of the choosen type, given by the method TypeForMatch.
40     --           Criterium is IsKind.
41
42 end SelectAnyType;