my.control
Class Controller

java.lang.Object
  extended by my.control.Controller

public class Controller
extends java.lang.Object

Author:
chris

Constructor Summary
Controller()
          Konstruktor fuer Controller.
 
Method Summary
 java.lang.String antiunifizieren()
           
 Literal getLiteralDasInDerTextBoxSteht()
           
 void ladeLiteralListe(java.io.File fileToLoad)
           
 Literal processLiteral(java.lang.String literal_string)
          verarbeitet ein eingegebenes Literal.
 void setFehlerMeldung(java.lang.String fehlermeldung)
          schreibt eine Fehlermeldung in die Textarea des Hauptfensters.
 void setInfo(java.lang.String info)
          schreibt eine Info in die Textarea des Hauptfensters.
 void setLiteralDasInDerTextBoxSteht(Literal literalDasInDerTextBoxSteht)
           
 void speichereLiteralListe(java.io.File fileToSave, java.util.Enumeration en)
           
 void unifizieren(java.util.Vector<Literal> lit_liste)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Controller

public Controller()
Konstruktor fuer Controller. Erzeugt einen neuen Thread in dem die GUI erzeugt wird

Method Detail

processLiteral

public Literal processLiteral(java.lang.String literal_string)
verarbeitet ein eingegebenes Literal. Ruft hierfuer die parseLiteral-Methode aus Literal auf

Parameters:
literal_string -

unifizieren

public void unifizieren(java.util.Vector<Literal> lit_liste)

setFehlerMeldung

public void setFehlerMeldung(java.lang.String fehlermeldung)
schreibt eine Fehlermeldung in die Textarea des Hauptfensters. Die Schriftfarbe ist rot.

Parameters:
fehlermeldung -

setInfo

public void setInfo(java.lang.String info)
schreibt eine Info in die Textarea des Hauptfensters. Die Schriftfarbe ist blau.

Parameters:
info -

speichereLiteralListe

public void speichereLiteralListe(java.io.File fileToSave,
                                  java.util.Enumeration en)

ladeLiteralListe

public void ladeLiteralListe(java.io.File fileToLoad)

antiunifizieren

public java.lang.String antiunifizieren()
Returns:
String

getLiteralDasInDerTextBoxSteht

public Literal getLiteralDasInDerTextBoxSteht()

setLiteralDasInDerTextBoxSteht

public void setLiteralDasInDerTextBoxSteht(Literal literalDasInDerTextBoxSteht)