|
Author: Stephen Goldsack
This example deals with quadilaterals (figures with four
straight lines) and the inheritance between them. A few
basic operations are defined in the respective classes.
This package also illustrates how to make use of C++
code automatically generated using VDMTools.
Language Version: vdm10
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
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.
|
