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