Паскальдағы кеш байланысу
Тәсілді шақыру ерекшеліктері
Жоғарыда қарастырылған мысалда (жанып-өшетін объект) Blink тәсілін (белгілі-бір уақыт аралығында жану) қолдану тілегі туындауы мүмкін. Әрине бұл тәсіл белгілі-бір уақыт...
Объекттерді топтық меншіктеу. Объектілі және құрылымдық типтері
Объекттерді топтық меншіктеу
Паскалда объекттер үшін меншіктеу операторы анықталған. Егер екі айнымалы бірдей тип-объектке ие айнымалылар ретінде жарияланса, онда былай жазуға болады:
Obj1:=Obj2;
Бұл жағдайда...
Объекттердің модульде жариялану ерекшеліктері. SELF параметрі
Объекттердің модульде жариялану ерекшеліктері
Объектілі типтерді Паскаль тілінің модульдерінде(unit) жариялап, бұдан соң басқа модульдерде не негізгі программада пайдалануға болады. Әдетте үлкен мәселелерді шешуде...
Объект экземплярын көрсеткіш арқылы пайдалану. WITH операторы
Объект экземплярын көрсеткіш арқылы пайдалану
Экземпляр өрістеріне сырттан сілтеме (обратиться) жасауға бола ма? Паскаль тілінің синтаксисі мұндай мүмкіндік береді:
RunningString.x:=25;
Бірақ бұлай ете отырып, біз...
Қарапайым объекттің сипаттамасы
Объектілі типті жариялау
Паскалда «объект» терминінен шатасуымыз мүмкін, өйткені «объект» термині классты да, осы класстың экземплярын да білдіре береді. Сондықтан, анық болуы үшін...
Динамикалық жадымен жұмыс істеуге арналған процедуралар мен функциялар. Үйме администраторы
Динамикалық жадымен жұмыс істеуге арналған процедуралар мен функциялар
Динамикалық жадымен жұмыс істеуге арналған тағы бір қатар процедуралар мен функциялармен танысалық.
ADDR функциясы. Аргумент адресі...
Динамикалық жадыны бөлу және босату
Үйме. HEAPORG, HEAPEND, HEAPPTR көрсеткіштері
Турбо Паскалда барлық динамикалық жады түгелімен үйме (куча)деп аталатын байттардың массиві ретінде қарастырылады. Үйме физикалық тұрғыдан жоғарғы(в старших...
Модульде жарияланған объекттерге қол жеткізу. Стандартты модульдер
Айталық, комплексті сандардың арифметикасын (мұндай арифметика стандартты Паскальда да, Турбо Паскальда да қарастырылмаған) жүзеге асыратын модуль құрамыз. Өкінішке орай, Турбо Паскальда мәндері құрылымдық тип...
Модульді компиляциалау
Турбо Паскаль ортасында модуль компиляциясының жолын таңдауға және ірі программалық проекттерді жасақтауды оңайлататын құралдар бар. Дербес жағдайда, компиляцияның үш режимі анықталған: COMPILE, MAKE және...
Модульдің интерфейс және жүзеге асу бөлімдері. Инициалдау бөлігі
Интерфейс бөлімі Interface қызметші сөзімен ашылады. Бұл бөлімде модульдің басқа модульдер мен негізгі программада пайдалануға болатын барлық глобал объектілері жарияланады. Глобаль көмекші программалардың интерфейс...
Объектті-бағытталған программалау ұғымы (жалғасы)
Егер жеке-жеке әрбір объект үшін интерфейсі, локал жадысының құрылымы, тәсілдері сипатталатын болса, онда программа өте үлкен болып кетеді. Сондықтан ОБП-ң барлық тілдерінде класстар механизмі...
Объектті-бағытталған программалау ұғымы
ОБП тілдеріндегі объект. Олардың өзара қатынасы
Өткен тақырыпта ОБП ұғымдарын жалпылама абстрактілі қарастырдық. Бұл ұғымдарды нақтылай түсеміз. Объектіге бағытталған программалау тілдері тұрғысынан объектке...
Топтар үстіндегі амалдардың қасиеті
1.Орын ауыстыру қасиеті.
АВ=BA және АВ =BA
2.Сәйкестіру қасиеті.
(AB)C= A(BC) және (АB)C = A(BC)
3.Бос топтың қасиеті.
Aбос мүше =A
4.Біріктіруге тиісті таралым заңы.
A(BC)=(AB)(AC)
Қиылысқа тиісті таралым заңы.
A(BC)=(AB)(AC)
Предикаттардың қасиеттері
Предикаттарформуласы.
2-8Егер А немесе В –формула. Н-мүше:
Онда ù(А),(А)Ù(В),(А)Ú(В),(А)Þ (В),
(А)Û(В),"и (А), $и(А)-формула
АÛВº(ùА ÚВ)Ù(ùВÚА)
АÛВº АÛВº(ùА ÚВ)Ù(ùВÚА)
260ù"uА(u)º$uùА(u)ù
270ù$uA(u) º"uùА(u)ù
280"uA(u) ºù$uА(u)ù
290$xA(u) ºù"uùА(u)
Теорема 12. Барлық предикаттар үшін пара-пар формулалар келтірілген формада...