yacs.domain
Class SymbolicFDElement

java.lang.Object
  extended byyacs.domain.DomainElement
      extended byyacs.domain.SymbolicFDElement
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Comparable, java.io.Serializable

public class SymbolicFDElement
extends DomainElement

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

Version:
YACS 0.1.1
Author:
Wolfgang Runte (woru@tzi.org)
See Also:
Serialized Form

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

SymbolicFDElement

public SymbolicFDElement(java.lang.String value)
Konstruktor -- Benötigt ein String-Objekt zur Instantiierung.

Parameters:
value - String
Method Detail

getValue

public java.lang.Object getValue()
Description copied from class: DomainElement
Liefert den Wert des Elements.

Specified by:
getValue in class DomainElement
Returns:
Object

plus

public DomainElement plus(DomainElement param)
Liefert ein SymbolicFDElement, welches als Belegung den um den übergebenen Parameter ergänzten String enthält.

Specified by:
plus in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

minus

public DomainElement minus(DomainElement param)
Liefert ein SymbolicFDElement, welches als Belegung den um sämtliche Vorkommen des übergebenen Parameters reduzierten String enthält.

Specified by:
minus in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

times

public DomainElement times(DomainElement param)
Dummy, liefert immer ein SymbolicFDElement mit der Belegung "" (leerer String).

Specified by:
times in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

divide

public DomainElement divide(DomainElement param)
Dummy, liefert immer ein SymbolicFDElement mit der Belegung "" (leerer String).

Specified by:
divide in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

uminus

public DomainElement uminus()
Dummy, liefert immer das aktuelle Objekt.

Specified by:
uminus in class DomainElement
Returns:
DomainElement

equals

public boolean equals(DomainElement param)
Vergleicht die Strings mit equals().

Specified by:
equals in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

notEquals

public boolean notEquals(DomainElement param)
Vergleicht die Strings mit !(equals()).

Specified by:
notEquals in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

greaterAs

public boolean greaterAs(DomainElement param)
Vergleicht die Strings lexikographisch mit compareTo().

Specified by:
greaterAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

lowerAs

public boolean lowerAs(DomainElement param)
Vergleicht die Strings lexikographisch mit compareTo().

Specified by:
lowerAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

greaterEqualAs

public boolean greaterEqualAs(DomainElement param)
Vergleicht die Strings lexikographisch mit compareTo().

Specified by:
greaterEqualAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

lowerEqualAs

public boolean lowerEqualAs(DomainElement param)
Vergleicht die Strings lexikographisch mit compareTo().

Specified by:
lowerEqualAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

toString

public java.lang.String toString()
Description copied from class: DomainElement
Liefert die Belegung dieses Elements als String.

Specified by:
toString in class DomainElement
Returns:
String