my.control
Class Controller

java.lang.Object
  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)