Преобразование ТД ISO/IEC 11404—96

Преобразование с помощью LI языка стандарта. Этот язык обеспечивает преобразования ТД независимо от ЯП следующих видов:

  • • внешнее преобразование из внутренних ТД ЯП в LI ТД;
  • • внутреннее преобразование LI ТД в ТД ЯП;
  • • обратное внутреннее преобразование.

Суть внешнего преобразования ТД и генераторов ТД состоит в следующем:

  • • для каждого примитивного типа для сгенерированного внешнего ТД преобразование устанавливается связь с одним LI ТД;
  • • для каждого внутреннего ТД преобразование задает связь между допустимым его значением и эквивалентным значением соответствующего Ы ТД;
  • • для каждого значения LI ТД определяется наличие значения любого внутреннего ТД, преобразуемого в LI ТД с его значением.

Внутреннее преобразование задает связь примитивного ТД или сгенерированного в LI ТД с конкретным внутренним ТД ЯП. Данное преобразование обладает следующими свойствами:

  • • для каждого LI ТД (примитивного или сгенерированного) преобразование определяет наличие этого ТД в ЯП;
  • • для каждого LI ТД преобразование определяет отношение между этим типом и эквивалентным значением соответствующего внутреннего типа ЯП;
  • • для каждого значения внутреннего ТД преобразование определяет, является ли это значение образом (после преобразования) какого-то значения LI ТД.

Обратное внутреннее преобразование для LI ТД состоит в преобразовании значений внутреннего ТД в соответствующее значение LI-типа при наличии соответствия и отсутствия двусмысленности. Это преобразование для ЯП является коллекцией обратных внутренних преобразований LI ТД.

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >