Class Definition


  • public class Definition
    extends java.lang.Object
    Definition von Ereignissen in Form von Ganzzahl-Werten. Die Belegung der Parameter p1, p2, p3, p4 ist in der Dokumentation zur jeweiligen Ereignisklasse beschrieben, durch die auch die Uebertragung aus dieser Klasse Definition zu einer Auspraegung im Sinne der Klassenbibliothek Zeitrechnung geschieht.