<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">// #######################################################################
// ### StringDaten.java                                                ###
// ### Verwaltung von String-Datenobjekten                             ###
// ### Verantwortlich: Thomas Dreibholz, dreibh@exp-math.uni-essen.de  ###
// #######################################################################


package pm;


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


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


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

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

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

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


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


   // ###### Inhalt zurückgeben ##########################################
   public int InhaltInteger() {
      return((new Integer(daten)).intValue());
   }


   // ###### Inhalt ändern ###############################################
   public void Aendern(String neu) {
      daten = neu;
   }


   // ###### Inhalt ändern ###############################################
   public void AendernInteger(int neu) {
      daten = new String("" + neu);
   }

   
   // ###### Ausgabe #####################################################
   public void Ausgabe() {
      System.out.println(toString());
   }


   // ###### Umwandlung in String ########################################
   public String toString() {
      return(beschreibung + " = " + daten);
   }
}
</pre></body></html>