my.entity
Class Literal

java.lang.Object
  extended by my.entity.Literal

public class Literal
extends java.lang.Object


Constructor Summary
Literal(Literal lit)
          Copy-Konstruktor erzeugt ein neues Literal mit neuen Objekten
vom Typ LiteralElement, die gleich sind zu denen des
uebergebenen Literals
Literal(java.lang.String literal_string)
          (Pars-)Konstruktor fuer Literal.
 
Method Summary
 boolean contains(LiteralElement literalElement)
          ueberprueft, ob das uebergebene LiteralElement in dem Literal vorkommt
 boolean equals(java.lang.Object o)
          Ueberschreibt equals-Methode in Object.
Gibt an, ob das uebergebene Literal und die Instanz gleich sind.
Zwei Literale sind gleich, falls folgende Kriterien gleich sind:
- Anzahl der Elemente
- Negation
- Saemtliche inneren Elemente
benutzt equals Methode aus LiteralElement
 LiteralElement getElementAt(int i)
          gibt das i-te Element vom Literal zurueck
 java.lang.String getLiteral()
          gibt das Literal als String zurueck
 char getLiteralAt(int i)
          Gibt den i-ten Buchstaben vom urspruenglich eingegebenen Literal zurueck
 java.util.Vector<LiteralElement> getLiteralElemente()
          gibt einen Vector(LiteralElement) mit den Literalelementen zurueck
static boolean isCloseBracket(char c)
          gibt true zurueck, falls der uebergebene Buchstabe eine 'Klammer zu' ist -
false sonst
static boolean isGrossbuchstabe(char c)
          Methode ueberprueft uebergebenen Buchstaben auf Grossschreibung.
Gibt true zurueck, wenn Buchstabe gross ist.
static boolean isKomma(char c)
          gibt true zurueck, falls der uebergebene Buchstabe ein 'Komma' ist -
false sonst
 boolean isNegiert()
          Gibt an, ob das Literal negiert ist
static boolean isOpenBracket(char c)
          gibt true zurueck, falls der uebergebene Buchstabe eine 'Klammer auf' ist -
false sonst
 void parseLiteral(java.lang.String literal_string)
          Diese Methode parst ein Literal und schreibt die einzelnen
Elemente des Literals in einen Vector.
 void setLiteral_elemente(java.util.Vector<LiteralElement> literal_elemente)
          ueberschreibt den Vector der Literalelemente
 void setLiteralelement(int index, LiteralElement el)
          ueberschreibt das Literalelement an der Stelle 'index' mit dem LiteralElement 'el'
 void setNegiert(boolean negiert)
          Setzt den Wert fuer Negation
 int size()
          Gibt die Anzahl der Literalelemente zurueck.
D.h.
 java.lang.String toString()
          Ueberschreibt die toString Methode der Klasse Object und gibt den Namen des Literals aus
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Literal

public Literal(Literal lit)
Copy-Konstruktor erzeugt ein neues Literal mit neuen Objekten
vom Typ LiteralElement, die gleich sind zu denen des
uebergebenen Literals

Parameters:
lit -

Literal

public Literal(java.lang.String literal_string)
(Pars-)Konstruktor fuer Literal. Benoetigt ein Literal als String

Parameters:
literal_string -
Method Detail

isCloseBracket

public static boolean isCloseBracket(char c)
gibt true zurueck, falls der uebergebene Buchstabe eine 'Klammer zu' ist -
false sonst

Parameters:
c -
Returns:
boolean

isGrossbuchstabe

public static boolean isGrossbuchstabe(char c)
Methode ueberprueft uebergebenen Buchstaben auf Grossschreibung.
Gibt true zurueck, wenn Buchstabe gross ist.

Parameters:
c -
Returns:
boolean

isKomma

public static boolean isKomma(char c)
gibt true zurueck, falls der uebergebene Buchstabe ein 'Komma' ist -
false sonst

Parameters:
c -
Returns:
boolean

isOpenBracket

public static boolean isOpenBracket(char c)
gibt true zurueck, falls der uebergebene Buchstabe eine 'Klammer auf' ist -
false sonst

Parameters:
c -
Returns:
boolean

contains

public boolean contains(LiteralElement literalElement)
ueberprueft, ob das uebergebene LiteralElement in dem Literal vorkommt

Parameters:
literalElement -
Returns:
boolean

equals

public boolean equals(java.lang.Object o)
Ueberschreibt equals-Methode in Object.
Gibt an, ob das uebergebene Literal und die Instanz gleich sind.
Zwei Literale sind gleich, falls folgende Kriterien gleich sind:
- Anzahl der Elemente
- Negation
- Saemtliche inneren Elemente
benutzt equals Methode aus LiteralElement

Overrides:
equals in class java.lang.Object
Parameters:
o -
Returns:
boolean

getElementAt

public LiteralElement getElementAt(int i)
gibt das i-te Element vom Literal zurueck

Parameters:
i -
Returns:
ein Objekt vom Typ LiteralElement

getLiteral

public java.lang.String getLiteral()
gibt das Literal als String zurueck

Returns:
String

getLiteralAt

public char getLiteralAt(int i)
Gibt den i-ten Buchstaben vom urspruenglich eingegebenen Literal zurueck

Parameters:
i -
Returns:
char

getLiteralElemente

public java.util.Vector<LiteralElement> getLiteralElemente()
gibt einen Vector(LiteralElement) mit den Literalelementen zurueck

Returns:
Vector(LiteralElement)

isNegiert

public boolean isNegiert()
Gibt an, ob das Literal negiert ist

Returns:
boolean

parseLiteral

public void parseLiteral(java.lang.String literal_string)
Diese Methode parst ein Literal und schreibt die einzelnen
Elemente des Literals in einen Vector. Elemente koennen vom Typ
"Variable", "Konstante", "Funktion" oder "Praedikat" sein.
Mit is...() (Bsp. isFunktion()) in LiteralElement koennen die Typen abgefragt werden.

Parameters:
literal_string -

setLiteral_elemente

public void setLiteral_elemente(java.util.Vector<LiteralElement> literal_elemente)
ueberschreibt den Vector der Literalelemente

Parameters:
literal_elemente -

setLiteralelement

public void setLiteralelement(int index,
                              LiteralElement el)
ueberschreibt das Literalelement an der Stelle 'index' mit dem LiteralElement 'el'

Parameters:
index -
el -

setNegiert

public void setNegiert(boolean negiert)
Setzt den Wert fuer Negation

Parameters:
negiert -

size

public int size()
Gibt die Anzahl der Literalelemente zurueck.
D.h. Stelligkeit des Praedikats + 1 (da Praedikat selber Literalelement)
Anders:
- Praedikat zaehlt als ein Literalelement (Position 0)
- Elemente auf oberster Ebene zaehlen als ein Literalelement
- Funktionen und Elemente innerhalb verschachtelter Funktionen werden nicht erfasst

Returns:
int

toString

public java.lang.String toString()
Ueberschreibt die toString Methode der Klasse Object und gibt den Namen des Literals aus

Overrides:
toString in class java.lang.Object
Returns:
String