Функції властивостей

Реферат на тему:

Функції властивостей




Функції властивостей призначені для керування властивостями, пов’язаними із символами. CDR - елемент символа вказує на список властивостей, який містить властивості та прапорці (див. розділ ?????).

Список властивостей - це ASSOC-список  (ASSOCiation)  ключей властивостей, об’єднаних у пари зі значеннями властивостей (див. Опис ASSOC  у  розділі  4.1). Оскільки прапорці - це атоми у списку властивостей, вони можуть відрізнятися від властивостей.

Функції властивостей та прапорців полегшують процес побудови динамічних баз даних, з  яких інформація може легко та швидко вибиратися.

Розглянемо, як можна працювати зі списком властивостей символа. Його можна по необхідності створювати, обробляти та видаляти. Властивості символа є глобальними, тобто доступними з довільної точки програми, поки вони не будуть явно змінені чи видалені. Використання символа в якості змінної чи імені функції не впливає на список властивостей. 



Функції властивостей керують властивостями символів. CDR - елемент символа вказує на список властивостей. Разом з функціями флагів вони полегшують процес побудови динамічних баз даних. 



1. (PUT <символ> <ключ> <об’єкт>). У список властивостей <символа> кладеться значення <об’єкта> відповідно до вказівника <ключ>. 



(DEFUN PUT (SYM KEY OBJ)

((NULL (ASSOC KEY (CDR SYM)))

    (RPLACD SYM (ACONS KEY OBJ (CDR SYM)))

  OBJ)

(RPLACD (ASSOC KEY (CDR SYM)) OBJ)

  OBJ)



$ (PUT ‘capital ‘usa ‘washington)	$ (SETQ capital ‘world)

$ (PUT ‘capital ‘germany ‘bonn)		$ (PUT ‘world ‘ocean ‘atlantic)

$ (PUT ‘capital ‘england ‘london)	



$ (CDR ‘capital)

((ENGLAND . LONDON) (GERMANY . BONN) (USA . WASHINGTON))



$ (CDR capital)

((ocean . atlantic))



$ (CAR ‘capital)		$ capital

world				world



2. (GET <символ> <ключ>). Повертає значення властивості, яке відповідає <символу> відповідно до вказівника <ключ>. Якщо такого вказівника не існує, то повертається NIL. 



(DEFUN GET (SYM KEY)

  ((NULL (ASSOC KEY (CDR SYM))) NIL)

  (CDR (ASSOC KEY (CDR SYM))) )



Якщо змінна capital має властивості, які їй були надані у попередньому прикладі, то:



$ (GET ‘capital ‘england)		$ (GET 'capital 'germany)

london 					bonn



3. (REMPROP <символ> <ключ>). Видалення зі списка властивостей <символа> властивості, яка відповідає <ключу>. Повертається старе значення властивості, якщо воно знайдено, та NIL – інакше. 



(DEFUN REMPROP (SYM KEY)

        ((ATOM (CDR SYM)) NIL)

        ((EQUAL (CAADR SYM) KEY)

   (SETQ KEY (CDADR SYM))

   (RPLACD SYM (CDDR SYM))

  KEY )

        (REMPROP (CDR SYM) KEY) )



Нехай символ capital має три попередні властивості.



(REMPROP ‘capital ‘germany)

bonn

(REMPROP ‘capital ‘usa)

washington

(CDR ‘capital)

((england . london))



4.2. Функції розпізнання



Функції розпізнання — це твердження, які використовуються для розпізнання або ідентифікації об’єктів даних muLisp. Ці функції мають тільки один аргумент, а повертають булеве значення. Вони розпізнають об’єкт, який може мати довільну структуру. Ми вже розглянули деякі функції розпізнання: SYMBOLP, INTEGERP, NUMBERP, ATOM, LISTP, NULL. Розглянемо інші.



(ZEROP obj). Повертає Т, якщо obj — число 0.

(PLUSP obj). Повертає Т, якщо obj — додатне ціле число.

(MINUSP obj). Повертає Т, якщо obj — від’ємне ціле число.

(ODDP obj). Повертає Т, якщо obj — непарне ціле число.

(EVENP obj). Повертає Т, якщо obj — парне ціле число.



Функція (ASCII sym) повертає ASCII-код символа sym. Функція (ASCII num) повертає символ, ASCII код якого дорівнює числу num. Для того, щоб визначити, чи є символ sym літерою, можна використати функцію:

(< (ASCII ‘a) (ASCII sym) (ASCII ‘z)).

Оскільки muLisp не розрізняє малі та великі літери, то (ASCII ‘s) = (ASCII ‘S) для будь-якого символа s. Функція ISCHAR розпізнає літери. Для знаходження ASCII кодів символів, які позначають цифри, необхідно використовувати одинарний Escape-символ.



$ (DEFUN ISCHAR (char)			$ (ASCII ‘f)	$ (ASCII 70)

(<= (ASCII ‘a) (ASCII char) (ASCII ‘z)) )	70			F



$ (ASCII ‘\9)	$ (ASCII 57)  

57			\9



Наступні функції дають можливість розпізнавати символи та числа.



(ALPHA-CHAR-P <obj>) – повертає T, якщо <obj> – літера.

(NUMERIC-CHAR-P <obj>) – повертає T, якщо <obj> – цифра.

(ALPHANUMERICP <obj>) – повертає T, якщо <obj> – літера або цифра.



$ (ALPHA-CHAR-P W)	$ (ALPHA-CHAR-P \3)   $ (ALPHA-CHAR-P ~)

T					NIL				     NIL



$ (NUMERIC-CHAR-P W)		$ (NUMERIC-CHAR-P \3)	

NIL						T				



$ (NUMERIC-CHAR-P ~)		$ (ALPHANUMERICP W)

NIL 						T



$ (ALPHANUMERICP \3)		$ (ALPHANUMERICP ~)

T							NIL



Зазначимо, що символ проміжку (‘ ‘ ) є літерою.