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
|
InfClass3 DEFINITIONS ::=
BEGIN
FUNCTION ::= CLASS {
&ArgumentType,
&ResultType DEFAULT NULL,
&code INTEGER
}
ObjSet1 FUNCTION ::= { ... }
object1 FUNCTION ::= {
&ArgumentType INTEGER,
&ResultType INTEGER,
&code 3
}
object2 FUNCTION ::= {
&ArgumentType INTEGER,
&ResultType INTEGER,
&code 2
}
ObjSet2 FUNCTION ::= {
object1 | object2 }
ParamType{FUNCTION:object} ::=SEQUENCE
{
val1 INTEGER,
val2 object.&ArgumentType
}
parTypVal{FUNCTION:object2} ParamType ::= {1,2}
END
|
