// #######################################################################
// ### IntegerDaten.java                                               ###
// ### Verwaltung von Integer-Datenobjekten                            ###
// ### Verantwortlich: Thomas Dreibholz, dreibh@exp-math.uni-essen.de  ###
// #######################################################################


package pm;


import java.io.*;
import java.util.*;


// ****** IntegerDaten ****************************************************
public class IntegerDaten implements Datenobjekt
{
   private String beschreibung;
   private int    daten;


   // ###### Konstruktor #################################################   
   public IntegerDaten(String nBeschreibung, int nDaten) {
      beschreibung = nBeschreibung;
      daten        = nDaten;   
   }

   
   // ###### Vergleich mit anderem IntegerDaten-Objekt ####################
   public boolean equals(IntegerDaten vergleich) {
      return( (beschreibung == vergleich.beschreibung) &&
              (daten == vergleich.daten) );
   }

   
   // ###### Eingabetyp als String zurückgeben ###########################
   public String EingabeTyp() {
      return("INTEGER");
   }

   
   // ###### Beschreibung zurückgeben ####################################
   public String Beschreibung() {
      return(beschreibung);
   }


   // ###### Inhalt zurückgeben ##########################################
   public String Inhalt() {
      return(new String("" + daten));
   }


   // ###### Inhalt als Integer zurückgeben ##############################
   public int InhaltInteger() {
      return(daten);
   }
   
      
   // ###### Inhalt ändern ###############################################
   public void Aendern(String neu) {
      daten = (new Integer(neu)).intValue();
   }


   // ###### Inhalt ändern ###############################################
   public void AendernInteger(int neu) {
      daten = neu;
   }
                
                  
   // ###### Ausgabe #####################################################
   public void Ausgabe() {
      System.out.println(toString());
   }


   // ###### Umwandlung in String ########################################
   public String toString() {
      return(beschreibung + " = " + daten);
   }                                 
}