TYPE      Распознавание типа терма, начинающего выражение

 SYSTEM TYPE

 <TYPE Ex>
                   где Ex - произвольное объектное выражение

   Распознает тип терма, с которого начинается выражение.

   Значение:  SzEx
              где  Sz  - это объектный символ, который равен:
                - 'F' если Ex начинается с символа-метки;
                - 'N' если Ex начинается с символа-числа;
                - 'R' если Ex начинается с символа-ссылки;
                - 'L' если Ex начинается с буквы (русской или латинской);
                - 'D' если Ex начинается с цифры;
                - 'О' если Ex начинается с прочего объектного знака;
                - 'В' если Ex начинается с терма вида (Ez),
                   где Ez - произвольное объектное выражение;
                - '*' в остальных случаях.

  -------------------------------- Пример ----------------------------------

         <TYPE /f1/'aaa'>        -->  'F'/f1/'aaa'
         <TYPE /-256/'a'>        -->  'N'/-256/'a'
         <TYPE 'aaa'>            -->  'L''aaa'
         <TYPE '9aaa'>           -->  'D''9aaa'
         <TYPE '-aaa'>           -->  'O''-aaa'
         <TYPE ('aaa')>          -->  'B'('aaa')
         <TYPE /X'123A/>         -->  '*'/X'0000123A/
         <TYPE>                  -->  '*'

Seealso:



This page last updated on Fri Nov 30 11:06:55 MSK 2001
Copyright © 1992-2001, Vitaly Filatov, Moscow, Russia
Webmaster