Beschreibung einer Klasse

In einem mathematischen Buch wird einem "Punkt" eine präzise mathematische Definition gegeben. Für die Programmierung wird eine präzise Softwarebeschreibung der Klasse Point benötigt. Die Java Klassenbibliotheken kommen mit den Beschreibungen ihrer Klassen. Die Dokumentation für Point befindet sich im Abschnitt über das AWT. Dort werden Sie ungefähr folgendes sehen:

public  class  java.awt.Point

// Felder
int x;
int y;

// Konstruktoren
Point();                 // erzeugt einen Point bei (0,0)
Point(int  x, int  y);   // erzeugt einen Point bei (x,y)
Point( Point pt );       // erzeugt einen Point an der Stelle von pt

// Methoden
boolean equals(Object  obj);  // Überprüft, ob zwei Point-Objekte
                              // äquivalente Daten enthalten.
void move(int  x, int  y);    // Ändert die (x,y) Daten eines Point-Objekts.
String toString();            // Gibt Character-Daten zurück,
                              // die ausgegeben werden können.

(Ich habe einige Methoden, die wir nicht verwenden, ausgelassen.)

Die Dokumentation zeigt die Daten (Variablen), die ein Objekt dieser Klasse enthält, die Methoden, die verwendet werden um diese Daten zu manipulieren und die Konstruktoren, die verwendet werden um ein Objekt der Klasse zu erzeugen. Manchmal (wie hier) werden die Variablen Felder genannt. Die zwei Variablen werden x und y genannt und sind vom Typ int.