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