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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
-- File: TransferIterator.cdl
-- Created: Wed Oct 28 14:31:19 1992
-- Author: Christian CAILLET
-- <cky@topsn2>
---Copyright: Matra Datavision 1992
class TransferIterator from Transfer
---Purpose : Defines an Iterator on the result of a Transfer
-- Available for Normal Results or not (Erroneous Transfer)
-- It gives several kinds of Informations, and allows to consider
-- various criteria (criteria are cumulative)
uses Integer, Boolean, Transient, Type,
HSequenceOfInteger,
Check, Binder, StatusExec, HSequenceOfBinder
raises NoSuchObject
is
-- -- Building the Iterator -- --
Create returns TransferIterator;
---Purpose : Creates an empty Iterator
AddItem (me : in out; atr : Binder) is static;
---Purpose : Adds a Binder to the iteration list (construction)
SelectBinder (me : in out; atype : Type; keep : Boolean) is static;
---Purpose : Selects Items on the Type of Binder : keep only
-- Binders which are of a given Type (if keep is True) or
-- reject only them (if keep is False)
SelectResult (me : in out; atype : Type; keep : Boolean) is static;
---Purpose : Selects Items on the Type of Result. Considers only Unique
-- Results. Considers Dynamic Type for Transient Result,
-- Static Type (the one given to define the Binder) else.
--
-- Results which are of a given Type (if keep is True) or reject
-- only them (if keep is False)
SelectUnique (me : in out; keep : Boolean) is static;
---Purpose : Select Items according Unicity : keep only Unique Results (if
-- keep is True) or keep only Multiple Results (if keep is False)
SelectItem (me : in out; num : Integer; keep : Boolean);
---Purpose : Selects/Unselect (according to <keep> an item designated by
-- its rank <num> in the list
-- Used by sub-classes which have specific criteria
-- -- Queries (Iteration, etc...) -- --
Number (me) returns Integer is static;
---Purpose : Returns count of Binders to be iterated
Start (me : in out) is static;
---Purpose : Clears Iteration in progress, to allow it to be restarted
More (me : in out) returns Boolean is static;
---Purpose : Returns True if there are other Items to iterate
Next (me : in out) is static;
---Purpose : Sets Iteration to the next Item
Value (me) returns Binder
---Purpose : Returns the current Binder
raises NoSuchObject is static;
-- Error if Iteration has ended
-- Some remarkable data can be accessed by following methods :
---C++ : return const &
HasResult (me) returns Boolean raises NoSuchObject is static;
---Purpose : Returns True if current Item brings a Result, Transient
-- (Handle) or not or Multiple. That is to say, if it corresponds
-- to a normally acheived Transfer, Transient Result is read by
-- specific TransientResult below.
-- Other kind of Result must be read specifically from its Binder
HasUniqueResult (me) returns Boolean raises NoSuchObject is static;
---Purpose : Returns True if Current Item has a Unique Result
ResultType (me) returns Type raises NoSuchObject is static;
---Purpose : Returns the Type of the Result of the current Item, if Unique.
-- If No Unique Result (Error Transfert or Multiple Result),
-- returns a Null Handle
-- The Type is : the Dynamic Type for a Transient Result,
-- the Type defined by the Binder Class else
HasTransientResult (me) returns Boolean raises NoSuchObject is static;
---Purpose : Returns True if the current Item has a Transient Unique
-- Result (if yes, use TransientResult to get it)
TransientResult (me) returns any Transient
raises NoSuchObject is static;
---Purpose : Returns the Transient Result of the current Item if there is
-- (else, returns a null Handle)
-- Supposes that Binding is done by a SimpleBinderOfTransient
---C++ : return const &
Status (me) returns StatusExec is static;
---Purpose : Returns Execution Status of current Binder
-- Normal transfer corresponds to StatusDone
HasFails (me) returns Boolean is static;
---Purpose : Returns True if Fail Messages are recorded with the current
-- Binder. They can then be read through Check (see below)
HasWarnings (me) returns Boolean is static;
---Purpose : Returns True if Warning Messages are recorded with the current
-- Binder. They can then be read through Check (see below)
Check (me) returns Check is static;
---Purpose : Returns Check associated to current Binder
-- (in case of error, it brings Fail messages)
-- (in case of warnings, it brings Warning messages)
---C++ : return const
fields
theitems : HSequenceOfBinder;
theselect : HSequenceOfInteger;
themaxi : Integer;
thecurr : Integer is protected; -- for read by sub-classes
end TransferIterator;
|
