Приложение F (Справочное). Сводка синтаксиса нотации АСН.1

Приложение F
Справочное

Сводка синтаксиса нотации АСН.1

Перечисленные ниже элементы определяются в разделе 8

СылкаНаТип	INTEGER	BEGIN
Идентификатор	BIT	END
СсылкаНаЗначение	STRING	DEFINITIONS
СсылкаНаМодуль	OCTET	EXPLICIT
Комментарий	NULL	ENUMERATED
Пусто	SEQUENCE	EXPORTS
Число	OF	IMPORTS
b-строка	SET
h-строка	IMPLICIT	REAL
с-строка	CHOICE	INCLUDES
": : ="	ANY	MIN
{	EXTERNAL	MAX
}	OBJECT	SIZE
<	IDENTIFIER	FROM
,	OPTIONAL	WITH
.	DEFAULT	COMPONENT
(	COMPONENTS	PRESENT
)	UNIVERSAL	ABSENT
[	APPLICATION	DEFINED
]	PRIVATE	BY
-	TRUE	PLUS-INFINITY
BOOLEAN	FALSE	MINUS-INFINITY

Ниже приведены продукции, используемые в настоящем стандарте; терминальными символами продукций являются приведенные выше элементы.

ОпределениеМодуля : : =
ИдентификаторМодуля
DEFINITIONS
ТегиПоУмолчанию
": : ="
BEGIN
ТелоМодуля
END
ТегиПоУмолчанню : : =
EXPLICIT TAGS
IMPLICIT TAGS
пусто
ИдентификаторМодуля : : =
СсылкаНаМодуль
ПрисвоенныйИдентификатор
ПрисвоенныйИдентификатор : : =
Значение-ИдентификаторОбъекта
пусто
ТелоМодуля : : =
ВыходныеСсылки ВходныеСсылки СписокПрисвоений
пусто
ВыходныеСсылки : : =
EXPORTS ВыходныеСимволы
пусто
ВыходныеСимволы : : =
СписокСимволов
пусто
ВходныеСсылки : =
IMPORTS
ВходныеСимволы
пусто
ВходныеСимволы : : =
СписокСимволовИзМодуля
пусто
СписокСимволовИзМодуля : : =
СимволыИзМодуля СписокСимволовИзМодуля
СимволыИзМодуля
СимволыИзМодуля : : =
СписокСимволовFROM ИдентификаторМодуля
СписокСимволов : : =
Символ, СписокСимволов Символ
Символ : : = СсылкаНаТип СсылкаНаЗначение
СписокПрисвоений : : = Присвоение
		СписокПрисвоений Присвоение
Присвоение : : = ПрисвоениеТипа ПрисвоениеЗначения
ВнешняяСсылкаНаТип : : =
		СсылкаНаМодуль
		.
		СсылкаНаТип
ВнешняяСсылкаНаЗначение : : =
		СсылкаНаМодуль
		.
		СсылкаНаЗначение
ОпределенныйТип : : = ВнешняяСсылкаНаТип
	СсылкаНаТип
ОпределенноеЗначение . : = ВнешняяСсылкаНаЗначение
		СсылкаНаЗначение
ПрисвоениеТипа : : = СсылкаНаТип
		": : ="
		Тип
ПрисвоениеЗначения : : = СсылкаНаЗначение
		Тип
		": : ="
		Значение
Тип : : = ВстроенныйТип ОпределенныйТип Подтип
ВстроенныйТип : : =		БулевскийТип
		ЦелочисленныйТип
		Тип-СтрокаБитов
		Тип-СтрокаОктетов
		ВырожденныйТип
		Тип-Последовательность
		Тип-ПоследовательностьИз
		Тип-Множество
		Тип-МножествоИз
		ВыборочныйТип
		СелективныйТип
		ТегированныйТип
		ПроизвольныйТип
		Тип-ИдентификаторОбъекта
		Тип-СтрокаЗнаков
		ОбщеупотребительныйТип
		ПеречисленныйТип
		Тип-ДействительноеЧисло
ПоименованныйТип : : = Идентификатор Тип Тип
		СелективныйТип
Значение : : = ВстроенноеЗначение ОпределенноеЗначение
ВстроенноеЗначение : : =		БулевскоеЗначение
		ЦелочисленноеЗначение
		Значение-СтрокаБитов
		Значение-СтрокаОктетов
		ВырожденноеЗначение
		Значение-Последовательность
		Значение-ПоследовательностьИз
		Значение-Множество
		Значение-МножествоИз
		ВыборочноеЗначение
		СелективноеЗначение
		ТегированноеЗначение
		ПроизвольноеЗначение
		Значение-ИдентификаторОбъекта
		Значение-СтрокаЗнаков
		ПеречислительноеЗначение
		Значение-ДействительноеЧисло

ПоименованноеЗначение	: : = Идентификатор Значение
	Значение
БулевскийТип	: : = BOOLEAN
БулевекоеЗначение	: : = TRUE : FALSE
ЦелочисленныйТип	: : = INTEGER
	INTEGER {СписокПоименованныхЧисел}
СписокПоименованныхЧисел	: : = ПоименованноеЧисло
	СписокПоименованныхЧисел, ПоименованноеЧисло
ПоименованноеЧисло	: : = Идентификатор (ЧислоСоЗнаком)
	Идентификатор (ОпределенноеЗначение)
ЧислоСоЗнаком	= Число - Число
ЦелочисленноеЗначение	= ЧислоСоЗнаком Идентификатор
ПеречислительныйТип	= ENUMERATED {Перечисление}
Перечисление	= ПоименованноеЧисло
	ПоименованноеЧисло
	Перечисление
ПеречислительноеЗначение	= Идентификатор
Тип-ДействительноеЧисло	- REAL
Значение-ДействительноеЧисло	=
	ЧисленноеДействительноеЗначение
	СпециальноеДействительноеЗначение
ЧисленноеДействительноеЗначение	=
	{Мантисса, Основание, Порядок} 0
Мантисса	= ЧислоСоЗнаком
Основание	= 2 10
Порядок	= ЧислоСоЗнаком
СпециальноеДействительноеЗначение	=
	PLUS-INFINITY MINUS-INFINITY
Тип СтрокаБит	= BIT STRING
	BIT STRING {СписокПоименованныхБитов}
СписокПоименованныхБит	= ПоименованныйБит
	СписокПоименованныхБит, ПоименованныйБит
ПоименованныйБит	= Идентификатор (Число)
	Идентификатор (ОпределенноеЗначение)
Значение СтрокаБит	= b строка h строка
	{СписокИдентификаторов} { }
СписокИдентификаторов	= Идентификатор
	СписокИдентификаторов, Идентификатор
Тип-СтрокаОктетов	= OCTET STRING
Значение-СтрокаОктетов	= b строка h строка
ВырожденныйТип	= NULL
ВырожденноеЗначение	= NULL
Тип-Последовательность	=
	SEQUENCE {СписокТипов-Компонентов}
	SEQUENCE { }
СписокТипов Компонентов	: =
	СписокТипов-Компонентов, Тип-Компонент
Тип-Компонент	= ПоименованныйТип
	ПоименованныйТип OPTIONAL
	ПоименованныйТип DEFAULT Значение
	COMPONENTS OF Тип
Значение-Последовательность	. =
	СписокЗначений-Компонентов { }
СписокЗначений-Компонентов	= Поименованное Значение
СписокЗначений-Компонентов, ПоименованноеЗначение
Тип-ПоследовательностьИз	. = SEQUENCE OF Тип SЕQUЕNCE
Значение-ПоследовательностьИз	= {СписокЗначенйй} { }
СписокЗначений	= Значение СписокЗначений, Значение
Тип-Множество	= SET{СписокТиповКомпонентов}
	SET { }
Значение-Множество	= {СписокЗначений-Компонентов} { }
Тип-МножествоИз	= SET OF Тип SET
Значение-МножествоИз	= {СписокЗначений} { }
ВыборочныйТип	= СНОIСЕ{СписокТипов-Вариантов}
СписокТипов-Вариантов	= ПоименованныйТип
	СписокТипов-Вариантов, ПоименованныйТип
ВыборочноеЗначение	= ПоименованноеЗначение
СелективныйТип	= Идентификатор<Тип
СелективноеЗначение	- ПоименованноеЗначение
ТегированныйТип	Тег Тип
	Тег IMPLICIT Тип
	Тег EXPLICIT Тип
Тег	- [Класс НомерВКлассе]
НомерВКлассе	= Число ОпределенноеЗначение
Класс	= UNIVERSAL APPLICATION
	PRIVATE Пусто
ТегированноеЗначение	= Значение
ПроизвольныйТип	= ANY ANY DEFINED BY
	идентификатор
ПроизвольноеЗначение	= ТипЗначение
Тип-ИдентификаторОбъекта	= OBJECT IDENTIFIER
Значение-ИдОбъекта	= {СписокКомпонентовИдОбъекта}
{ОпределенноеЗначение СписокКомпонентовИдОбъекта}
СписокКомпонентовИдОбъекта	= КомнонентИдОбъекта
КомпонентИдОбъекта СписокКомпонентовИдОбъекта
КомпонентИдОбъекта	= ИменнаяФорма ЧисловаяФорма
	СмешаннаяФорма
ИменнаяФорма	= Идентификатор
ЧисловаяФорма	= Число ОпределенноеЗначение
СмешаннаяФорма	= Идентификатор (ЧисловаяФорма)
Тип-СтрокаЗнаков	= СсылкаНаТип
Значение-СтрокаЗнаков	. = с-строка
ОбщеупотребителыныйТип	= СсылкаНаТип

Перечисленные ниже типы "строка знаков" определены в разделе 31

NumericString	VisibleString
PrintableString	ISO646String
TeletexString	IA5Sring
I61String	GraphicString
VideotexString	GeneralString

Общеупотребительные типы, имена которых перечислены ниже, определены в разделах 32-35

GeneralizedTime	EXTERNAL
UTCTime	ObjectDescriptor

Приведенные ниже продукции используют в разделах 36-37

Подтип . =
ПорождающийТип СпецификацияПодтипа
SET OграничениеРазмера OF Тип
SEQUENCE ОграничениеРазмера OF Тип
ПорождающийТип . = Тип
СпецификацияПодтипа . =
(ПодмножествоЗначенийПодтипа
СписокПодмножествЗначенийПодтипа)
СписокПодмножествЗначенийПодтипа : : =
				""
				ПодмножествоЗначенийПодтипа
				СписокПодмножествЗначенийПодтипа
				пусто
ПодмножествоЗначенийПодтипа : : =
				ОдноЗначение
				ВложенныйПодтип
				ДиапазонЗначений
				РазрешенныйАлфавит ОграничениеРазмера
				ОграниченияВнутреннихТипов
ОдноЗначение : := Значение
ВложенныйПодтип : : = INCLUDES Тип
ДиапазонЗначений : : = НижняяГраница . . ВерхняяГраница
НижняяГраница : : = НижнееГраничноеЗначение
		НижнееГраничноеЗначение <
ВерхняяГраница : : = ВерхнееГраничноеЗначение
		< ВерхнееГраничноеЗначение
НижнееГраничноеЗначение : : = Значение MIN
ВерхнееГраничноеЗначение : : = Значение МАХ
ОграничениеРазмера : : = SIZE СпецификацияПодтипа
РазрешенныйАлфавит : : = FROM СпецификацияПодтипа
ОграниченияВнутреннихТипов : : =
	WITH COMPONENT ОграничениеОдногоТипа
	WITH COMPONENTS ОграниченияНесколькихТипов
ОграничениеОдногоТипа : : = СпецификацияПодтипа
ОграниченияНесколькихТипов : : =
				ПолнаяСпецификация ЧастичнаяСиецификация
ПолнаяСпецификация : : = {ОграниченияТипа}
ЧастичнаяСпецификация : : = {..., ОграниченияТипа}
ОграничениеТипа : : = ПоименованноеОграничение
				ПоименованноеОграничение ОграниченияТипа
ПоименованноеОграничение : : = Идентификатор Ограничение
				Ограничение
Ограничение : : = ОграничениеЗначения ОграничениеПрисутствия
ОграничениеЗначения : : = СпецификацияПодтипа пусто
ОграничениеПрисутствия : : = PRESENT ABSENT пусто
			OPTIONAL

Перечисленные ниже дополнительные элементы определены в разделе А.2 и используются в макронотации.

макроссылка	"number"
СсылкаНаПродукцию	"empty"
ЛокальнаяСсылкаНаТип	MACRO
ЛокальнаяСсылкаНаЗначение	TYPE
""	NOTATION
>	VALUE
а-строка	value
"string"	type
"identifier"

Ниже приводятся продукции, используемые в приложении А; терминальными символами этих продукций являются приведенные выше элементы, а также элементы, перечисленные в начале настоящего приложения.

Макроопределение : : = макроссылка
		MACRO
		": : = "
		СодержаниеМакро
СодержаниеМакро : : =
		BEGIN ТелоМакро END
		макроссылка
		ВнешняяМакроссылка
ТелоМакро : : = ПродукцияТипа
	ПродукцияЗначения
	ВспомагательныеПродукции
ПродукцияТипа : : =
		TYPE NOTATION
		": : = "
		СписокВариантовМакро
ПродукцияЗначения : : =
		VALUE NOTATION
		": : = "
		СписокВариантовМакро
ВспомогательныеПродукции : : =
		СписокПродукций
		empty
СписокПродукций : : =
		Продукция
		СписокПродукций Продукция
Продукция : : = СсылкаНаПродукцию
		": : ="
		СписокВариантовМакро
ВнешняяМакроссылка : : =
		СсылкаНаМодуль.макроссылка
СписокВариантовМакро : : =
		ВариантМакро
		СписокВариантовМакро
		""
		ВариантМакро
ВариантМакро : : = СписокСимволов
СписокСимволов : : =
СимвольныйЭлемент
СписокСимволов СимволыныйЭлемент
Символьный Элемент : : =
ОпределениеСимвола
ВложенноеОпределение
МакроТип : : = ЛокальнаяСсылкаНаТип
		Тип

ОпределениеСимвола : : =
"а-строка"
СсылкаНаПродукцию
"string"
"identifier"
"number"
"empty"
type
type (ЛокальнаяСсылкаНаТип)
value (МакроТип)
value (ЛокальнаяСсылкаНаЗначение МакроТип)
value (VALUE МакроТип)

ВложенноеОпределение : : = <СписокВложенныхОпределений>
СписокВложенныхОпределений = ВложенноеОпределение
		СписокВложенныхОпределений
		ВложенноеОпределение
ВложенноеОпределение = ЛокальноеПрисвоениеТипа
		ЛокальноеПрисвоениеЗначения
ЛокальноеПрисвоениеТипа = ЛокальнаяСсылкаНаТип
		": . ="
		МакроТип
ЛокальноеПрисвоениеЗначения =
		ЛокальнаяСсылкаНаЗначение
		МакроТип
		"= "
		МакроЗначение
	МакроЗначение = Значение
		ЛокальнаяСсылкаНаЗначение