|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectyacs.domain.DomainElement
yacs.domain.SymbolicFDElement
Klasse zur Repräsentation von einzelnen Elementen für symbolische finite
Domänen. Der Wert eines Elements wird durch eine Instanz der Klasse
String zum Ausdruck gebracht. Die Methoden dieser Klasse
implementieren Operationen auf Strings, wie das Anhängen durch
plus() oder Entfernen durch minus() eines
Substrings an bzw. aus einem bestehenden String. Die Methoden
times() und divide() sowie uminus()
sind "Dummies", die nur ein SymbolicFDElement mit der Belegung
"" (leerer String) bzw. das bestehende Objekt zurückgeben. Die
Vergleichsoperatoren entsprechen lexikographischen
String-Vergleichen (equals() und
compareTo()).
Copyright (C) 2005 Wolfgang Runte
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
USA
| Constructor Summary | |
SymbolicFDElement(java.lang.String value)
Konstruktor -- Benötigt ein String-Objekt zur Instantiierung. |
|
| Method Summary | |
DomainElement |
divide(DomainElement param)
Dummy, liefert immer ein SymbolicFDElement mit der Belegung ""
(leerer String). |
boolean |
equals(DomainElement param)
Vergleicht die Strings mit equals(). |
java.lang.Object |
getValue()
Liefert den Wert des Elements. |
boolean |
greaterAs(DomainElement param)
Vergleicht die Strings lexikographisch mit
compareTo(). |
boolean |
greaterEqualAs(DomainElement param)
Vergleicht die Strings lexikographisch mit
compareTo(). |
boolean |
lowerAs(DomainElement param)
Vergleicht die Strings lexikographisch mit
compareTo(). |
boolean |
lowerEqualAs(DomainElement param)
Vergleicht die Strings lexikographisch mit
compareTo(). |
DomainElement |
minus(DomainElement param)
Liefert ein SymbolicFDElement, welches als Belegung den um
sämtliche Vorkommen des übergebenen Parameters reduzierten
String enthält. |
boolean |
notEquals(DomainElement param)
Vergleicht die Strings mit ! |
DomainElement |
plus(DomainElement param)
Liefert ein SymbolicFDElement, welches als Belegung den um den
übergebenen Parameter ergänzten String enthält. |
DomainElement |
times(DomainElement param)
Dummy, liefert immer ein SymbolicFDElement mit der Belegung ""
(leerer String). |
java.lang.String |
toString()
Liefert die Belegung dieses Elements als String. |
DomainElement |
uminus()
Dummy, liefert immer das aktuelle Objekt. |
| Methods inherited from class yacs.domain.DomainElement |
clone, cloneDeep, compareTo |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public SymbolicFDElement(java.lang.String value)
String-Objekt zur Instantiierung.
value - String| Method Detail |
public java.lang.Object getValue()
DomainElement
getValue in class DomainElementpublic DomainElement plus(DomainElement param)
SymbolicFDElement, welches als Belegung den um den
übergebenen Parameter ergänzten String enthält.
plus in class DomainElementparam - DomainElement
public DomainElement minus(DomainElement param)
SymbolicFDElement, welches als Belegung den um
sämtliche Vorkommen des übergebenen Parameters reduzierten
String enthält.
minus in class DomainElementparam - DomainElement
public DomainElement times(DomainElement param)
SymbolicFDElement mit der Belegung ""
(leerer String).
times in class DomainElementparam - DomainElement
public DomainElement divide(DomainElement param)
SymbolicFDElement mit der Belegung ""
(leerer String).
divide in class DomainElementparam - DomainElement
public DomainElement uminus()
uminus in class DomainElementpublic boolean equals(DomainElement param)
Strings mit equals().
equals in class DomainElementparam - DomainElement
public boolean notEquals(DomainElement param)
Strings mit !(equals()).
notEquals in class DomainElementparam - DomainElement
public boolean greaterAs(DomainElement param)
Strings lexikographisch mit
compareTo().
greaterAs in class DomainElementparam - DomainElement
public boolean lowerAs(DomainElement param)
Strings lexikographisch mit
compareTo().
lowerAs in class DomainElementparam - DomainElement
public boolean greaterEqualAs(DomainElement param)
Strings lexikographisch mit
compareTo().
greaterEqualAs in class DomainElementparam - DomainElement
public boolean lowerEqualAs(DomainElement param)
Strings lexikographisch mit
compareTo().
lowerEqualAs in class DomainElementparam - DomainElement
public java.lang.String toString()
DomainElementString.
toString in class DomainElement
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||