1InfClass DEFINITIONS  ::=
2BEGIN
3
4IMPORTS
5    ERROR
6FROM ErrorClass;
7
8FUNCTION ::= CLASS {
9    &ArgumentType,
10    &ResultType   DEFAULT NULL,
11    &error       ERROR OPTIONAL,
12    &code         INTEGER UNIQUE
13    }
14
15OTHER-FUNCTION ::= CLASS {
16    &code                 INTEGER UNIQUE,
17    &Alphabet             DEFAULT NULL,
18    &ArgumentType,
19    &SupportedArguments   &ArgumentType OPTIONAL,
20    &ResultType           DEFAULT NULL,
21    &result-if-error      &ResultType DEFAULT NULL,
22    &associated-function  OTHER-FUNCTION OPTIONAL,
23    &NumberSet            INTEGER,
24    &ObjectSet            OTHER-FUNCTION
25    }
26
27ObjSet1 FUNCTION ::= { ... }
28
29val1 FUNCTION ::= {
30    &ArgumentType  INTEGER (1..255),
31    &ResultType    INTEGER,
32    &code          3
33    }
34
35val2 FUNCTION ::= {
36    &ArgumentType  INTEGER,
37    &ResultType    INTEGER,
38    &code          2
39    }
40
41int1 INTEGER ::= 3
42
43ObjSet2 FUNCTION ::= {
44    val1 | val2 }
45
46
47-- added for OTP-4591
48ArgumentType ::= INTEGER
49ResultType ::= INTEGER
50
51Seq ::= SEQUENCE {
52  arg  FUNCTION.&ArgumentType ({ObjSet2}{@val1}),
53  res  FUNCTION.&ResultType   ({ObjSet2}{@val1}),
54  val1 FUNCTION.&code ({ObjSet2})
55  }
56
57
58END
59