blob: 9e5802dd0af28887013de7601164232bbaba2a52 (
plain)
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
|
-- File: TDF_ClosureTool.cdl
-- -------------------
-- Author: DAUTRY Philippe
-- <fid@fox.paris1.matra-dtv.fr>
---Copyright: MATRA DATAVISION 1998
---Version: 0.0
---History: Version Date Purpose
-- 0.0 Sep 8 1998 Creation
class ClosureTool from TDF
---Purpose: This class provides services to build the closure
-- of an information set.
--
-- You can set closure options by using IDFilter
-- (to select or exclude specific attribute IDs) and
-- CopyOption objects and by giving to Closure
-- method.
--
uses
Boolean from Standard,
Label from TDF,
Attribute from TDF,
DataSet from TDF,
RelocationTable from TDF,
AttributeMap from TDF,
LabelMap from TDF,
IDFilter from TDF,
ClosureMode from TDF
-- raises
is
Closure(myclass;
aDataSet : mutable DataSet from TDF);
---Purpose: Builds the transitive closure of label and
-- attribute sets into <aDataSet>.
Closure(myclass;
aDataSet : mutable DataSet from TDF;
aFilter : IDFilter from TDF;
aMode : ClosureMode from TDF);
---Purpose: Builds the transitive closure of label and
-- attribute sets into <aDataSet>. Uses <aFilter> to
-- determine if an attribute has to be taken in
-- account or not. Uses <aMode> for various way of
-- closing.
-- ----------------------------------------------------------------------
--
-- Private methods
--
-- ----------------------------------------------------------------------
Closure(myclass;
aLabel : Label from TDF;
aLabMap : in out LabelMap from TDF;
anAttMap : in out AttributeMap from TDF;
aFilter : IDFilter from TDF;
aMode : ClosureMode from TDF);
---Purpose: Builds the transitive closure of <aLabel>.
LabelAttributes(myclass;
aLabel : Label from TDF;
aLabMap : in out LabelMap from TDF;
anAttMap : in out AttributeMap from TDF;
aFilter : IDFilter from TDF;
aMode : ClosureMode from TDF)
is private;
---Purpose: Adds label attributes and dependences.
end ClosureTool;
|
