Editing Vienna Development Method (section)

====Structuring in VDM++====
In VDM++ structuring are done using classes and multiple inheritance. The key concepts are:
* '''Class''': Each class is syntactically started with the keyword <code>class</code> followed by the name of the class. At the end of a class the keyword <code>end</code> is written followed again by the name of the class.
* '''Inheritance''': In case a class inherits constructs from other classes the class name in the class heading can be followed by the keywords <code>is subclass of</code> followed by a comma-separated list of names of superclasses.
* '''Access modifiers''': Information hiding in VDM++ is done in the same way as in most object oriented languages using access modifiers. In VDM++ definitions are per default private but in front of all definitions it is possible to use one of the access modifier keywords: <code>private</code>, <code>public</code> and <code>protected</code>.