Class Dokument
java.lang.Object
|
+--Dokument
- public class Dokument
- extends java.lang.Object
Instanzen dieser Klasse sind Dokumente. Bei ihrer Erzeugung werden
ihr Text und die zu indexierenden Stichwoerter angegeben.
- Version:
- 12.1.99
Constructor Summary
|
Dokument(int _dokumentnummer,
java.lang.String _fullText,
java.lang.String[] _stichwoerter)
Bei der Erzeugung werden eine eindeutige Dokumentnummer, der
Dokumenttext und die zu indexierenden Stichwoerter angegeben. |
Method Summary
|
int
|
getDokumentnummer()
Liefert die Dokumentnummer. |
java.lang.String
|
getFullText()
Liefert den Dokumenttext. |
java.lang.String[]
|
getStichwoerter()
Liefert die zu indexierenden Stichwoerter. |
java.lang.String
|
toString()
Erzeugt Bezeichner aus Dokumentnummer |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notifyAll, notify, toString, wait, wait, wait |
dokumentnummer
protected int dokumentnummer
fullText
protected java.lang.String fullText
stichwoerter
protected java.lang.String[] stichwoerter
Dokument
Dokument(int _dokumentnummer,
java.lang.String _fullText,
java.lang.String[] _stichwoerter)
- Bei der Erzeugung werden eine eindeutige Dokumentnummer, der
Dokumenttext und die zu indexierenden Stichwoerter angegeben.
getDokumentnummer
public int getDokumentnummer()
- Liefert die Dokumentnummer.
getStichwoerter
public java.lang.String[] getStichwoerter()
- Liefert die zu indexierenden Stichwoerter.
toString
public java.lang.String toString()
- Erzeugt Bezeichner aus Dokumentnummer
- Overrides:
- toString in class java.lang.Object
getFullText
public java.lang.String getFullText()
- Liefert den Dokumenttext.