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
|
-- File: IFSelect_Transformer.cdl
-- Created: Fri May 27 14:01:25 1994
-- Author: Christian CAILLET
-- <cky@bravox>
---Copyright: Matra Datavision 1994
deferred class Transformer from IFSelect inherits TShared
---Purpose : A Transformer defines the way an InterfaceModel is transformed
-- (without sending it to a file).
-- In order to work, each type of Transformer defines it method
-- Perform, it can be parametred as needed.
--
-- It receives a Model (the data set) as input. It then can :
-- - edit this Model on the spot (i.e. alter its content : by
-- editing entities, or adding/replacing some ...)
-- - produce a copied Model, which detains the needed changes
-- (typically on the same type, but some or all entities beeing
-- rebuilt or converted; or converted from a protocol to
-- another one)
uses AsciiString from TCollection,
CheckIterator, Graph, Protocol from Interface, InterfaceModel
is
Perform (me : mutable; G : Graph; protocol : Protocol from Interface;
checks : in out CheckIterator;
newmod : out mutable InterfaceModel) returns Boolean is deferred;
---Purpose : Performs a Transformation (defined by each sub-class) :
-- <G> gives the input data (especially the starting model) and
-- can be used for queries (by Selections, etc...)
-- <protocol> allows to work with General Services as necessary
-- (it applies to input data)
-- If the change corresponds to a conversion to a new protocol,
-- see also the method ChangeProtocol
-- <checks> stores produced checks messages if any
-- <newmod> gives the result of the transformation :
-- - if it is Null (i.e. has not been affected), the transformation
-- has been made on the spot, it is assumed to cause no change
-- to the graph of dependances
-- - if it equates the starting Model, it has been transformed on
-- the spot (possibiliy some entities were replaced inside it)
-- - if it is new, it corresponds to a new data set which replaces
-- the starting one
--
-- <me> is mutable to allow results for ChangeProtocol to be
-- memorized if needed, and to store informations useful for
-- the method Updated
--
-- Returns True if Done, False if an Error occured : in this case,
-- if a new data set has been produced, the transformation
-- is ignored, else data may be corrupted.
ChangeProtocol (me; newproto : in out Protocol from Interface)
returns Boolean is virtual;
---Purpose : This methods allows to declare that the Protocol applied to
-- the new Model has changed. It applies to the last call to
-- Perform.
--
-- Returns True if the Protocol has changed, False else.
-- The provided default keeps the starting Protocol. This method
-- should be redefined as required by the effect of Perform.
Updated (me; entfrom : Transient; entto : out mutable Transient)
returns Boolean is deferred;
---Purpose : This method allows to know what happened to a starting
-- entity after the last Perform. If <entfrom> (from starting
-- model) has one and only one known item which corresponds in
-- the new produced model, this method must return True and
-- fill the argument <entto>. Else, it returns False.
Label (me) returns AsciiString from TCollection is deferred;
---Purpose : Returns a text which defines the way a Transformer works
-- (to identify the transformation it performs)
end Transformer;
|
