// Utgangspunkt for ? demonstrere invarianter
// Stein Gjessing 14. februar 2022
class BrukKanin {
    public static void main ( String []args) {    
         Kaningard mittKaninbur = new Kaningard( );

         Kanin kalle = new Kanin("Kalle");
         Kanin petter = new Kanin("Petter");
         Kanin sprett = new Kanin("Sprett");
         Kanin hopp = new Kanin("Hopp");
         Kanin snurr = new Kanin("Snurr");     

        mittKaninbur.settInn(kalle);
        mittKaninbur.settInn(petter);
        mittKaninbur.settInn(sprett);
        mittKaninbur.settInn(hopp);
        mittKaninbur.settInn(snurr);        

        Kanin ut = mittKaninbur.taUt();
              ut = mittKaninbur.taUt();
              ut = mittKaninbur.taUt();
              ut = mittKaninbur.taUt();
              ut = mittKaninbur.taUt(); 
              ut = mittKaninbur.taUt();
              
        System.out.println("FERDIG KANIN-TEST " );
    }
}

class Kaningard {
    private final int MAXANT = 4;
    private Kanin[] denne = new Kanin[MAXANT];
    private int antall;
    // Invariant hint: Hvilke verdier kan antall ha?
    Kaningard () {
             
            antall = 0;
            
    }
    public void settInn(Kanin k) {
        
	        denne[antall] = k;
	        antall++;
 
    }
    public Kanin taUt( ) {

		   antall--;
		   return denne[antall];  

    }
}

class Kanin{
      public final String navn;
      public Kanin(String nv) {
           navn = nv;    
      }
      public String hentNavn()  {
          return navn; 
      }
}