Datei: Ordering.java

1/**

2 *

3 * @author Uwe Schmidt

4 *

5 * eine Schnittstelle fuer eine

6 * totale Ordnung

7 *

8 * Die Namensgebung ist an Fortran angelehnt:

9 * eq : ==

10 * ne : !=

11 * ge : >=

12 * gr : >

13 * le : <=

14 * lt : <

15 *

16 * die Beziehungen zwischen den Operatoren

17 * koennen in dieser Schnittstelle nicht festgelegt

18 * werden, z.B.:

19 *

20 * a != b <==> ! ( a == b )

21 * a > b <==> ( a >= b && a != b)

22 * a <= b <==> ! ( a > b )

23 * a < b <==> ! ( a >= b )

24 *

25 * diese muessen in jeder implementierenden Klasse

26 * neu definiert werden

27 *

28 * mit einer abstrakten Klasse, in der

29 * z.B. nur die Implementierung fuer == und >=

30 * offen bleiben und die anderen hierauf zurueckgefuehrt

31 * werden, waere dies moeglich.

32 *

33 * Dann wird aber die Implementierung von ADTs

34 * durch Beerben allgemeiner Klassen verhindert,

35 * da keine Mehrfachvererbung zugelassen ist.

36 *

37 * Eine abstrakte Klasse kann zu dieser Schnittstelle

38 * ohne Schwierigkeiten angegeben werden

39 *

40 */

42//--------------------

44public

45interface Ordering <Element> {

47 boolean eq(Element v2);

49 boolean ne(Element v2);

51 boolean ge(Element v2);

53 boolean gr(Element v2);

55 boolean le(Element v2);

57 boolean lt(Element v2);

58}

60//--------------------

Die Datei: Ordering.java