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
|
InfClass DEFINITIONS ::=
BEGIN
IMPORTS
ERROR
FROM ErrorClass;
FUNCTION ::= CLASS {
&ArgumentType,
&ResultType DEFAULT NULL,
&error ERROR OPTIONAL,
&code INTEGER UNIQUE
}
OTHER-FUNCTION ::= CLASS {
&code INTEGER UNIQUE,
&Alphabet DEFAULT NULL,
&ArgumentType,
&SupportedArguments &ArgumentType OPTIONAL,
&ResultType DEFAULT NULL,
&result-if-error &ResultType DEFAULT NULL,
&associated-function OTHER-FUNCTION OPTIONAL,
&NumberSet INTEGER,
&ObjectSet OTHER-FUNCTION
}
ObjSet1 FUNCTION ::= { ... }
val1 FUNCTION ::= {
&ArgumentType INTEGER,
&ResultType INTEGER,
&code 3
}
val2 FUNCTION ::= {
&ArgumentType INTEGER,
&ResultType INTEGER,
&code 2
}
int1 INTEGER ::= 3
ObjSet2 FUNCTION ::= {
val1 | val2 }
-- added for OTP-4591
Seq ::= SEQUENCE {
arg FUNCTION.&ArgumentType ({ObjSet2}{@val1}),
res FUNCTION.&ResultType ({ObjSet2}{@val1}),
val1 FUNCTION.&code ({ObjSet2})
}
END
|
