Nazaj k slovarju

class Geslo {
public:
  char * m_kljuc;  /* m pomeni member-clan */
  char * m_podatki;
  Geslo();          /* manjka pogodba */
  ~Geslo();
  Geslo(char *kljuc, char *podatki);
}; // Geslo

{

class Slovar {
public:
/*----------------------USTVARJANJE
  Slovar();
/* ...
   Post: this = {} (Slovar ustvari prazno mnozico.)
*/
/*----------------------SPREMINJANJA
  Vnesi(const Geslo geslo);
/* ...
   Pre: ne obstaja geslo.m_kljuc: (m_kljuc, karkoli) je
        element this
        (Kar ze obstaja, ne smemo se enkrat vnesti.)
   Post: this'= this U geslo
         (Vrstni red ni pomemben.)
*/
/*----------------------POIZVEDOVANJA
char * Poisci(char *kljuc);    /* referenca na podatek */
/* ...
   Result: result *
   Post:   IF ((kljuc, podatki) niso elementi this) THEN
             result = NULL
           ELSE
             result = & podatki
*/

Popolno izvedbo definicijskega modula si oglejte na področju

Dodatna popogoja pri operaciji Poišči sta:

• uporabnik ne sme spreminjati podatkov
• rezultat je veljaven do naslednjega posega v slovar (operacije nad slovarjem)

Nadaljevanje definicijskega modula:

/*--------------------------SPREMINJANJA
void Zbrisi(char *kljuc);
/* ...
   Pre: (kljuc,----) je element this = Poisci(kljuc)!=NULL
   Post: this' = this \ (kljuc)
*/