if (abc=5.37)

if (<4.3)

if ((int) 4)

if (abc <= 4L)

lokální proměnná a datový atribut instance

formální parametr metody a datový atribut instance

datový atribut instance a metoda instance

formální parametr metody a lokální proměnná metody

Podtržítkem

Písmenem

Mezerou

Zavináčem @

Ampersandem &

Číslicí

Třídy v objektových programovacích jazycích jsou příklady abstraktního datového typu.

Abstraktní datový typ (ADT) umožňuje ukrývat implementaci.

V programu lze deklarovat a inicializovat proměnné abstraktního datového typu.

Při deklaraci abstraktního datového typu (ADT) může programátor definovat operace(metody, funkce) pro tento typ.

Při deklaraci abstraktního datového typu lze použít dědičnost a to i v případě, že se nejedná o třídu v OOP jazycích.

Dle konvencí by jméno testovací třídy mělo tvořit jméno testové třídy a slovo Test

Pro porovnání očekávané hodnoty se skutečnou návratovou hodnotou se v testech nejčastěji používá metoda assertEquals.

S pomocí Junit se většinou testuje veřejné rozhraní (API) třídy

Dle konvencí by jméno testovací metody mělo začínat slovem test

Pomocí Junit testů lze přímo otestovat privátní metody testované třídy

Vedlejší efekt metody (výrazu) označuje situaci, kdy metoda (či výraz) mění i jiný stav (proměnnou) procesu, než je návratová hodnota.

Metody bez vedlejších efektů jsou čitelnější, neboť při pochopení významu se nemusí brát v úvahu další proměnné mimo metodu.

Operátor ++ v Javě je příkladem operátoru s vedlejším efektem - vrací návratovou hodnotu a současně zvyšuje hodnotu příslušné proměnné.

Metody bez vedlejších efektů deklarované uvnitř třídy nemění hodnotu datových atributů instance této třídy.

Pokud by metody met1 a met2 v následující ukázce byly bez vedlejších efektů, tak nezávisí na pořadí volání následujících dvou příkazů:
int a = met1(prom1); int b =met2(prom2);

Databáze v pojetí Prologu je seznam fakt a pravidel

Fakta v Prologu popisují vlastnosti objektů a vztahy mezi objekty

Pravidla umožňují ze stávajících fakt odvozovat další fakta

Prolog podporuje cykly i v rekurzi

V Prologu jsou všechny proměnné stejného typu // Jak se to vezme, spíš ne

Public static void main (String [ ] cokoliv)

Java aplikace z příkazové řádky:

Static void main (String [ ] ars)

Public static void start (String [ ] parametry)

Public static void main (String args)

Kontrolované x nekontrolované

aplikační x programové x systémové

ošetřené x neošetřené

nepoužíváme žádné z uvedených dělení

jiný konstruktor téže třídy

konstruktor předka

statickou metodu téže třídy

konstruktor potomka

LISP

Haskel

Scheme

Common Lisp

ML

C

Perl

Java

Ruby

C#

java

SmallTalk

Cobol

C

LISP

Prolog

Python

modifikátor protected

modifikátor private

klauzuli throws

Deklaraci formálních parametrů metody

klauzuli implements

Modifikátor final

modifikátor protected

návratovou hodnotu

klauzuli throws

klauzuli implements

Klauzuli implements

Klauzuli throws

Modifikátor Protected

Návratovou hodnotu