Загальні відомості про змінних
Загальна інформація
Якщо ми говоримо, що змінна може зберігати тільки два стани, так звані, істина і брехня, то маємо на увазі булеву змінну. В САПР її тип має позначення bool і може приймати значення true або false. За допомогою змінних цього типу зручно зберігати стан включеності чого-небудь, визначати чи відбулося деяке подія, чи досягнуто бажаного результату або показник і т.д.
У створюваному за допомогою функції кодогенераціі програмному коді цей тип прирівняний до типу int і займає в пам'яті 32 біта. В принципі, для зберігання значення типу bool було б достатньо одного байта, але сучасні процесори влаштовані так, що часто операції з 32 бітами відбуваються швидше, ніж з байтами. При цьому розмір оперативної пам'яті в сучасній апаратурі вже не є вузьким місцем.
Найімовірніше, тип int стане основним типом, з яким вам доведеться працювати. Він призначений для зберігання цілих чисел зі знаком, тобто тих, якими ми оперуємо в нашому повсякденному житті. У програмі і генерується програмному коді тип int займає 32 біта і може приймати значення від -2147483648 до 2147483647.
Часом необхідно зберігати значення не мають знака, наприклад, кількість чого-небудь. У подібних випадках використовують змінні з типом uint. Також причиною вибору цього типу може бути його подвоєний по відношенню до типу int діапазон позитивних значень. В САПР і створюваному програмному коді тип uint займає 32 біта і має діапазон значень від 0 до 4294967295.
Якщо ваша величина може приймати не цілі значення, то вам необхідно використовувати тип float. Він дозволяє зберігати речові числа або, так звані, значення з плаваючою точкою. В САПР і створюваному за допомогою функції кодогенераціі програмному коді тип float займає в пам'яті 32 біта. Діапазон можливих значень залежить від кінцевої реалізації, наприклад, від -3.402823466e + 38 до 3.402823466e + 38.
Для можливості зберігання текстових рядків був введений тип string. У програмі і створюваному програмному коді тип являє собою послідовність рядкових символів. Символи в пам'яті розташовуються щільно один за одним. За останніми символом завжди розміщується додатковий зі значенням 0 (нуль). Він позначає кінець рядка і не доступний для користувача.
Всі рядки в САПР складаються з unicode символів. Це дає можливість зберігати в рядку текст на будь-якій мові. У разі генерації програмного коду вид символів, з яких будуть складатися рядки, визначається настройками генератора.
Більшість змінних САПР під своїм ім'ям можуть приховувати не одну, а безліч осередків пам'яті. Про таких змінних кажуть, що вони є масивами. А кількість осередків в масиві називається розмірністю масиву змінної або, просто, розмірністю змінної. Всі осередки масиву однієї зміною мають однаковий розмір і тип, відповідний типу цієї змінної. У пам'яті вони розташовуються послідовно один за одним.
Максимальна розмірність змінної обмежена і за замовчуванням становить 1000. Це значення можна змінити в налаштуваннях профілю поточного завантаженого проекту. За це відповідає поле Максимальна розмірність. яке знаходиться на сторінці Загальне в групі Ідентифікатори.
Імена та опис
Всі змінні в програмі мають імена. Імена змінних не повинні починатися з цифри і можуть містити тільки знаки підкреслення, цифри і символи латинського алфавіту.
Втім, кошти створення змінних в програмі стежать за цим і не дадуть вам помилитися.
Для більшості змінних в САПР за вашим бажанням може здаватися опис. Воно здатне утримувати будь-які рядкові символи на будь-якій мові, бути багаторядковим і в деревах робочих вікон відображається у вигляді одиночного рядка в додатковому правому стовпчику.
Позначення в деревах
Давайте розглянемо, як позначаються змінні в деревах робочих вікон програми.
-
Першою розміщується графічна піктограма. Колір повернутого прямокутника на ній визначає, чи є ця змінна вхідний, вихідний або локальної. Що йде слідом латинська буква підказує тип змінної і відповідає його першою літерою. Тобто буква 'b' вказує на тип bool. буква 'i' на тип int і т.д ..
-
Мітка вибору може бути встановлена або знята натисканням на неї лівої кнопки миші або натисканням клавіші Space (Пропуск) на клавіатурі за умови, що елемент виділено. Стан означає, що змінна активна, вона бере участь в роботі, і може бути вказана у формулі. Стан активності рівносильне відсутності змінної, вона не робить ніякого впливу на роботу проекту і тестових сценаріїв.
-
Далі слід ім'я змінної, воно ж - її унікальний ідентифікатор. Використовується для доступу до значення змінної в формулах.
-
Поле розмірності змінної. У квадратних дужках вказується кількість елементів в масиві змінної. Поле може бути відсутнім. Це означає, що розмірність змінної дорівнює 1.
Поле вимагає окремого і більш детального опису. У ньому вказується значення змінної за замовчуванням або початкове значення змінної, і відбувається це тільки для вхідних і локальних змінних. Вихідні змінні призначені для збереження і виведення назовні записаних в них значень і инициализирующее значення для них не вказується. Якщо розмірність змінної більше одиниці, то це значення присвоюється послідовно всіх елементів масиву змінної.
Обов'язкова ініціалізація змінних - це один з основних принципів САПР. Він дозволяє виключити поширену помилку в програмуванні пов'язану з використанням в формулі не ініціалізованих змінних.
Ініціюючих значень може бути зазначено кілька, наприклад, так.
В даному випадку першому елементу масиву змінної val присвоїти рядок "One". другого елементу - рядок "Two". третьому - рядок "Three". Якщо кількість значень після знака одно вказано менше, ніж розмірність змінної, то останнє значення буде присвоєно решті елементів масиву.
У вираженні вище значення 4.5 буде присвоєно не тільки другого, але також третьому і четвертому елементу масиву змінної angle.
САПР для змінної в елементі дерева вказує не більше 5 ініціюючих значень.
Для того, щоб побачити, що залишилися значення, виділіть елемент дерева, який відповідає змінної. У вікні Властивості, перейдіть до поля Значення за замовчуванням або Початкові значення і натисніть на кнопку, розташовану в його правій частині. Відкриється вікно.
Нас цікавить список позначений стрілкою. У його лівій колонці знаходяться номери елементів масиву змінної. У правій колонці вказані значення за замовчуванням, які відповідають цим елементам.
Мінімальні і максимальні значення
Для вхідних і локальних змінних проекту крім значень за замовчуванням задаються максимальні і мінімальні значення. Ці властивості змінних не мають практично ніякого впливу на роботу проекту в САПР. Вони залишені для майбутнього розвитку програми і дозволять створити додатковий рівень верифікації проекту.