company logo

Class declaration

Keywords:  class, extensional feature, intensional feature

The class declaration consists of the class header and the interface definition for the class (class_def).
Definition: 

class_dcl := [update_option] class_header [ class_def ] ';'

Subtopics

  1. Schema update option
  2. Class header definition
  3. Class definition (body)
to top previous next upper table of contents Comment