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
EnumExt DEFINITIONS AUTOMATIC TAGS ::= BEGIN Ext ::= ENUMERATED { blue(0), red(1), green(2), ... } Ext1 ::= ENUMERATED { blue(0), red(1), green(2), ..., orange(7) } Noext ::= ENUMERATED { blue(0), red(1), green(2) } Globalstate ::= ENUMERATED {def(1),com(2),preop(3),oper(4),noop(5),fail(6)} END