SSL Object.vdmpp Interaktion und
PortierbarkeitVDM

class Object
/*
作成者 = 佐原伸
作成日 = 2000年 8月 23日
Responsibility
オブジェクト共通の振る舞いを表す。

Abstract
すべてのオブジェクトに共通な機能を定義する。
*/

functions

public hashCode : () -> int
hashCode() == 1;

public equals : Object -> bool
equals(-) == true;

operations
public getContent : () ==> [seq of char | int]
getContent() == return 1374; --meaningless value. so subclass must set.

end Object

quality97%

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.7Bemerkung: Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤

*Bot Zugriff

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.

SSL Object.vdmpp Interaktion und PortierbarkeitVDM

Haftungshinweis

Bemerkung:

SSL Object.vdmpp Interaktion und
PortierbarkeitVDM