Язык программирования Оберон-2

         

Отношения



Отношения



= равно
# не равно
< меньше
<=     меньшее или равно
> больше
>= больше или равно
IN принадлежность множеству
IS проверка типа

Отношения дают результат типа BOOLEAN. Отношения =, #, <, <=, >, и >= применимы к числовым типам, типу CHAR, строкам и символьным массивам, содержащим в конце 0X. Отношения = и # кроме того применимы к типам BOOLEAN и SET, а также к указателям и процедурным типам (включая значение NIL). x IN s означает "x является элементом s". x должен быть целого типа, а s - типа SET. v IS T означает "динамический тип v есть T (или расширение T)" и называется проверкой типа. Проверка типа применима, если

  • v - параметр-переменная типа запись, или v - указатель, и если
  • T - расширение статического типа v
  • Примеры выражений (со ссылками на примеры из Гл. 7):

    1991 INTEGER
    i DIV 3 INTEGER
    ~p OR q BOOLEAN
    (i+j) * (i-j) INTEGER
    s - {8, 9, 13} SET
    i + x REAL
    a[i+j] * a[i-j] REAL
    (0<=i) & (i<100) BOOLEAN
    t.key = 0 BOOLEAN
    k IN {i..j-1} BOOLEAN
    w[i].name <= "John"     BOOLEAN
    t IS CenterTree BOOLEAN



    Содержание раздела