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
|
-- File: IFSelect_SelectExplore.cdl
-- Created: Wed Sep 25 09:28:48 1996
-- Author: Christian CAILLET
-- <cky@fidox.paris1.matra-dtv.fr>
---Copyright: Matra Datavision 1996
deferred class SelectExplore from IFSelect inherits SelectDeduct
---Purpose : A SelectExplore determines from an input list of Entities,
-- a list obtained by a way of exploration. This implies the
-- possibility of recursive exploration : the output list is
-- itself reused as input, etc...
-- Examples : Shared Entities, can be considered at one level
-- (immediate shared) or more, or max level
--
-- Then, for each input entity, if it is not rejected, it can be
-- either taken itself, or explored : it then produces a list.
-- According to a level, either the produced lists or taken
-- entities give the result (level one), or lists are themselves
-- considered and for each item, is it taken or explored.
--
-- Remark that rejection is just a safety : normally, an input
-- entity is, either taken itself, or explored
-- A maximum level can be specified. Else, the process continues
-- until all entities have been either taken or rejected
uses AsciiString from TCollection, InterfaceModel, EntityIterator, Graph
is
Initialize (level : Integer);
---Purpose : Initializes a SelectExplore : the level must be specified on
-- starting. 0 means all levels, 1 means level one only, etc...
Level (me) returns Integer;
---Purpose : Returns the required exploring level
RootResult (me; G : Graph) returns EntityIterator;
---Purpose : Returns the list of selected entities. Works by calling the
-- method Explore on each input entity : it can be rejected,
-- taken for output, or to explore. If the maximum level has not
-- yet been attained, or if no max level is specified, entities
-- to be explored are themselves used as if they were input
Explore (me; level : Integer; ent : Transient; G : Graph;
explored : in out EntityIterator)
returns Boolean is deferred;
---Purpose : Analyses and, if required, Explores an entity, as follows :
-- The explored list starts as empty, it has to be filled by this
-- method.
-- If it returns False, <ent> is rejected for result (this is to
-- be used only as safety)
-- If it returns True and <explored> remains empty, <ent> is
-- taken itself for result, not explored
-- If it returns True and <explored> is not empty, the content
-- of this list is considered :
-- If maximum level is attained, it is taken for result
-- Else (or no max), each of its entity will be itself explored
Label (me) returns AsciiString from TCollection;
---Purpose : Returns a text saying "(Recursive)" or "(Level nn)" plus
-- specific criterium returned by ExploreLabel (see below)
ExploreLabel (me) returns AsciiString from TCollection is deferred;
---Purpose : Returns a text defining the way of exploration
fields
thelevel : Integer;
end SelectExplore;
|