Коментарі

A = Intersect(l, m)визначає точку перетинання прямих lі m.

L = Line(A, B)визначає пряму l, що проходить через точки A, B

Circle: ( точка, точка ) →окружність

o = Circle(A, B) визначає окружність о з центром у т. А, що проходить

через т. В.

CircleRad: ( точка, точка, точка ) →окружність

o = CircleRad(A, B, C) визначає окружність о з центром у т. А,

побудовану розчином циркуля c ніжками, встановленими в B, C.

IntersectLines( пряма, пряма ) →точка

IntersectCircles( окружність, окружність ) → ( точка, точка )

(A, B) = IntersectCircles(o, p) визначає пари точок A, B перетинання окружностей o і p.

IntersectLineCircle( пряма, окружність ) → ( точка, точка )

(A, B) = IntersectLineCircle(l, o) визначає пари точок A, B перетинання прямої l і окружності o.

З примітивних типів об'єктів АТД Планіметрія, як з базових, будуються так звані похідні складені типи. Наприклад, тип відрізок можна визначити як пари точок, а тип трикутник - як трійку точок

(вершин):

Відрізок = (точка, точка)

Тим самим відрізок визначається в системі як пари точок – початок і кінець відрізка.

Трикутник = (точка, точка, точка)

Трикутник у системі визначається точками – своїми вершинами.

Для цих типів, у свою чергу, визначаються операції. Наприклад, операції

GetBeginPoint (Відрізок)→Точка

GetEndPoint (Відрізок)→Точка

виділяють відповідно точки – початок і кінець відрізка.

З примітивних (базових) операцій АТД можна визначати похідні операції. Наприклад, операція

ParralelLine: (точка, пряма)→пряма, результатом якої є пряма, що паралельна даній прямій і проходить через дану точку, може бути визначена через примітивні операції і використана потім в алгоритмах розв'язання задач на побудови.

Відзначимо, що реалізацію (інтерпретацію) АТД можна здійснювати окремо, використовуючи структури даних, орієнтовані на структуру пам'яті комп'ютера. Одне з можливих рішень – введення і використання декартової системи координат на площині. Це рішення відноситься тільки до реалізації, оскільки в задачах на побудову системи координат не використовуються.

Таким чином, ядро програмної системи, що вирішує поставлені задачі, має три рівні:

рівень опису додатків АТД Планіметрія;

рівень опису АТД Планіметрія;

рівень реалізації АТД Планіметрія.

Рис 3.1. Логічна структура ядра системи Планіметрія.

Середній рівень цієї структури утворює інтерфейс між верхнім і нижчим її рівнями. Додатки тепер можна програмувати в термінах АТД Планіметрія, не вникаючи в проблеми нижнього рівня, пов'язані з реалізацією.

Використання концепції абстрактних типів даних при проектуванні програмних систем у багатьох системах програмування підтримується засобами модульного програмування.

Модульний підхід до алгоритмізації (програмування), полягає в декомпозиції проектованої системи в сукупність окремих модулів (бібліотек) з добре відпрацьованим інтерфейсом.

3.2. Власні типи даних і інструкції в С++

Власні типи даних надаються самою мовою С++. В C++ це прості типи, такі як символьний (character), цілий (integer), з плаваючою точкою (floating - point) і булевою (boolean).

До власних типів відносяться також і похідні від простих типи: масиви (array), покажчики (pointer) і структури (structure). У цій главі ми зосередимося на вивченні простих власних типів даних і інструкцій.

Важливою рисою ТОП є розширюваність типів. Ця можливість мови дозволяє розробляти нові типи відповідно до проблемної області. Для того, щоб функціонувати належним чином, новий тип повинен працювати також, як власні типи мови. У об'єктно-орієнтованому проектуванні створення визначуваних користувачем типів повинне імітувати вид і властивості власних типів.

Елементи програми

Програма складається з елементів, званих лексемами (toren). Лексеми - це набори символів; вони формують базовий словник, розпізнаваний компілятором. Набір символів, використовуваних в мові, включає: Прописні та строчні буквы: ab - z A B – Z, Цифри: 0 1 – 9, оператори: + * = <, знаки пунктуації:;, ' - "

Між лексемами можна залишати порожній простір і вставляти коментарі для легкості читання і докуменування програм. Існує п'ять типів лексем:

· ключові слова (keywords),

· ідентифікатори (identifiers),

· літерали (literals),

· оператори (operators) і знаки пунктуації.

У C++ багаторядковий коментар виглядає так: /* можна декілька рядків */. Крім того, C++ допускає однорядковий коментар: //до кінця рядка.

#include <iostream.h>//заголовний файл введення-виводу

Дата добавления: 2013-12-14