blob: a545188fbffe97aae674179abc9b6985818de0b9 (
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
81
|
-- File: UnaryExpression.cdl
-- Created: Thu Jan 10 12:23:23 1991
-- Author: Arnaud BOUZY
-- <adn@topsn3>
---Copyright: Matra Datavision 1991
deferred class UnaryExpression from Expr
inherits GeneralExpression from Expr
uses NamedUnknown from Expr
raises OutOfRange from Standard,
NumericError from Standard,
InvalidOperand from Expr
is
Operand(me)
---Purpose: Returns the operand used
---C++: inline
---C++: return const &
---Level : Internal
returns any GeneralExpression
is static;
SetOperand(me : mutable; exp : GeneralExpression)
---Purpose: Sets the operand used
-- Raises InvalidOperand if <exp> contains <me>.
---Level : Internal
raises InvalidOperand
is static;
CreateOperand(me : mutable; exp : GeneralExpression)
---Purpose: Sets the operand used during creation
---Level : Internal
is static protected;
NbSubExpressions(me)
---Purpose: Returns the number of sub-expressions contained
-- in <me> ( >= 0)
returns Integer
is static;
SubExpression(me; I : Integer)
---Purpose: Returns the <I>-th sub-expression of <me>.
-- Raises OutOfRange if <I> > NbSubExpressions(me)
---C++: return const &
returns any GeneralExpression
raises OutOfRange
is static;
ContainsUnknowns(me)
---Purpose: Does <me> contains NamedUnknown ?
returns Boolean
is static;
Contains(me; exp : GeneralExpression)
---Purpose: Tests if <exp> is contained in <me>.
returns Boolean
is static;
Replace(me : mutable ; var : NamedUnknown ; with : GeneralExpression)
---Purpose: Replaces all occurences of <var> with <with> in <me>
-- Raises InvalidOperand if <with> contains <me>.
raises InvalidOperand
is static;
Simplified(me)
---Purpose: Returns a GeneralExpression after replacement of
-- NamedUnknowns by an associated expression, and after
-- values computation.
returns any GeneralExpression
raises NumericError;
fields
myOperand : GeneralExpression;
end UnaryExpression;
|
