InfObjExtract DEFINITIONS AUTOMATIC TAGS ::=
BEGIN

DATA-CLASS ::= CLASS {
  &id INTEGER UNIQUE,
  &Type
} WITH SYNTAX {
  ID &id
  TYPE &Type
}

data-object-1 DATA-CLASS ::= { ID 1 TYPE BOOLEAN }
data-object-2 DATA-CLASS ::= { ID 2 TYPE OCTET STRING }
data-object-3 DATA-CLASS ::= { ID 3 TYPE BIT STRING }

ObjSet DATA-CLASS ::= {
  holder-object-1.&obj |
  data-object-2 |
  data-object-3,
  ...
}

OBJ-SET DATA-CLASS ::= {
  holder-object-1.&obj |
  data-object-2 |
  data-object-3,
  ...
}

SingleElementSet DATA-CLASS ::= {
  holder-object-1.&obj
}

holder-object-1 HOLDER-CLASS ::= {
  OBJ data-object-1
}

holder-object-2 HOLDER-CLASS ::= {
  OBJ-SET {data-object-1}
}

holder-object-3 HOLDER-CLASS ::= {
  OBJ-SET {holder-object-2.&ObjSet}
}

-- Note: References to object sets with names in all uppercase/hyphens
-- may be represented differently compared to object sets with names
-- that contain lowercase letters. CAVEAT TESTOR.

HOLDER-OBJECTS HOLDER-CLASS ::= { holder-object-2 }
HolderObjects HOLDER-CLASS ::= { holder-object-3 }

holder-object-4 HOLDER-CLASS ::= {
  OBJ-SET { HOLDER-OBJECTS.&ObjSet }
}

holder-object-5 HOLDER-CLASS ::= {
  OBJ-SET { HolderObjects.&ObjSet }
}

holder-object-6 HOLDER-CLASS ::= {
  OBJ-SET { OBJ-SET }
}

holder-object-7 HOLDER-CLASS ::= {
  OBJ-SET { ObjSet  }
}

HOLDER-CLASS ::= CLASS {
  &obj DATA-CLASS OPTIONAL,
  &ObjSet DATA-CLASS OPTIONAL
} WITH SYNTAX {
  [OBJ &obj]
  [OBJ-SET &ObjSet]
}

TestSeq{DATA-CLASS:ObjectSet} ::= SEQUENCE {
  id DATA-CLASS.&id ({ObjectSet}),
  data DATA-CLASS.&Type ({ObjectSet}{@id})
}

DataSeq-1 ::= TestSeq{ {ObjSet} }
DataSeq-2 ::= TestSeq{ {holder-object-3.&ObjSet} }

DataSeq-3 ::= TestSeq{ {holder-object-4.&ObjSet} }
DataSeq-4 ::= TestSeq{ {holder-object-5.&ObjSet} }
DataSeq-5 ::= TestSeq{ {holder-object-6.&ObjSet} }
DataSeq-6 ::= TestSeq{ {holder-object-7.&ObjSet} }

DataSeqSingleSet-1 ::= TestSeq{ {SingleElementSet} }
DataSeqSingleSet-2 ::= TestSeq{ {holder-object-1.&obj} }

--
-- Test ObjectSetFromObjects.
--

OBJ-CLASS ::= CLASS {
  &id INTEGER UNIQUE,
  &Data OPTIONAL,
  &Obj OBJ-CLASS OPTIONAL,
  &obj OBJ-CLASS OPTIONAL
}

obj-class-obj-1 OBJ-CLASS ::= { &id 1, &Data BOOLEAN }

obj-class-obj-2 OBJ-CLASS ::= { &id 2, &Data BOOLEAN,
			         &Obj {obj-class-obj-1} }

obj-class-obj-3 OBJ-CLASS ::= { &id 3, &Data BOOLEAN,
			         &obj {&id 99, &Obj {obj-class-obj-1}} }

obj-class-obj-4 OBJ-CLASS ::= { &id 4, &Data BOOLEAN, &obj obj-class-obj-2 }

obj-class-obj-5 OBJ-CLASS ::= { &id 5, &Data BOOLEAN,
		                &Obj {obj-class-obj-4.&obj} }

ObjClassSet OBJ-CLASS ::= { obj-class-obj-3.&obj.&Obj |
			    obj-class-obj-4.&Obj | -- Non-existing field
			    obj-class-obj-5.&Obj
			   }

TestObjClassSeq{OBJ-CLASS:ObjectSet} ::= SEQUENCE {
  id OBJ-CLASS.&id ({ObjectSet}),
  data OBJ-CLASS.&Data ({ObjectSet}{@id})
}

ObjClassSeq-1 ::= TestObjClassSeq{{ObjClassSet}}

--
-- Test several levels of inlined definitions.
--

obj-class-obj-6 OBJ-CLASS ::= { &id 6, &Obj {{&id 100, &Data INTEGER}},
		                &Data INTEGER }

END