|
||||||||||
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
- StringMethod Detail |
public java.lang.Object getValue()
DomainElement
getValue
in class DomainElement
public DomainElement plus(DomainElement param)
SymbolicFDElement
, welches als Belegung den um den
übergebenen Parameter ergänzten String
enthält.
plus
in class DomainElement
param
- 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 DomainElement
param
- DomainElement
public DomainElement times(DomainElement param)
SymbolicFDElement
mit der Belegung ""
(leerer String
).
times
in class DomainElement
param
- DomainElement
public DomainElement divide(DomainElement param)
SymbolicFDElement
mit der Belegung ""
(leerer String
).
divide
in class DomainElement
param
- DomainElement
public DomainElement uminus()
uminus
in class DomainElement
public boolean equals(DomainElement param)
Strings
mit equals()
.
equals
in class DomainElement
param
- DomainElement
public boolean notEquals(DomainElement param)
Strings
mit !(equals())
.
notEquals
in class DomainElement
param
- DomainElement
public boolean greaterAs(DomainElement param)
Strings
lexikographisch mit
compareTo()
.
greaterAs
in class DomainElement
param
- DomainElement
public boolean lowerAs(DomainElement param)
Strings
lexikographisch mit
compareTo()
.
lowerAs
in class DomainElement
param
- DomainElement
public boolean greaterEqualAs(DomainElement param)
Strings
lexikographisch mit
compareTo()
.
greaterEqualAs
in class DomainElement
param
- DomainElement
public boolean lowerEqualAs(DomainElement param)
Strings
lexikographisch mit
compareTo()
.
lowerEqualAs
in class DomainElement
param
- DomainElement
public java.lang.String toString()
DomainElement
String
.
toString
in class DomainElement
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |