blob: 56433bfe101ab3bb10da1d6f1c8e324a39eddaeb (
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
|
-- File: SingleRelation.cdl
-- Created: Mon Jan 14 09:47:16 1991
-- Author: Arnaud BOUZY
-- <adn@topsn3>
---Copyright: Matra Datavision 1991
deferred class SingleRelation from Expr
inherits GeneralRelation from Expr
uses GeneralExpression from Expr,
NamedUnknown from Expr,
AsciiString from TCollection
raises OutOfRange
is
SetFirstMember(me :mutable; exp : GeneralExpression)
---Purpose: Defines the first member of the relation
---Level : Internal
is static;
SetSecondMember(me :mutable; exp : GeneralExpression)
---Purpose: Defines the second member of the relation
---Level : Internal
is static;
FirstMember(me)
---Purpose: Returns the first member of the relation
---Level : Internal
returns GeneralExpression
is static;
SecondMember(me)
---Purpose: Returns the second member of the relation
---Level : Internal
returns GeneralExpression
is static;
IsLinear(me)
---Purpose: Tests if <me> is linear between its NamedUnknowns.
returns Boolean
is static;
NbOfSubRelations(me)
---Purpose: Returns the number of relations contained in <me>.
returns Integer
is static;
NbOfSingleRelations(me)
---Purpose: Returns the number of SingleRelations contained in
-- <me> (Always 1).
returns Integer
is static;
SubRelation(me; index : Integer)
---Purpose: Returns the relation denoted by <index> in <me>.
-- An exception is raised if index is out of range.
returns any GeneralRelation
raises OutOfRange
is static;
Contains(me; exp : GeneralExpression)
---Purpose: Tests if <me> contains <exp>.
returns Boolean;
Replace(me : mutable ; var : NamedUnknown ; with : GeneralExpression);
---Purpose: Replaces all occurences of <var> with <with> in <me>.
fields
myFirstMember : GeneralExpression;
mySecondMember : GeneralExpression;
end SingleRelation;
|