class_definition:

^_(optional) class_attributes
^_(optional) class_template_decl
^_(optional) class_access_specifiers class class_name: {class_body)}

class_attributes:

• See Class Attributes.
• Any of:
  • #weak
  • #virtual
  • #singleton
  • #inherits
  • #partial
  • Any other general attribute.

class_template_decl:

• See Templates.

#template<template_parameter_list>
^_(optional) #valid_if(template_constraint ^_(optional), template_constraint_message)

class_access_specifier:

• See Access Specifiers
• One of:
  • public
  • protected
  • private

template_parameter_list:

• One or more comma-separated list of named [template_parameter](#template parameter) declarators.

template parameter:

• A template parameter can be either a type-specific template parameter, or a value-specific template parameter:

  type template_parameter_name ^_(optional) = template_parameter_initializer

  • OR

  type template_parameter_name ^_(optional) = template_parameter_initializer

template_constraint:

• A compile-time boolean expression, using the values and/or types from the template parameter lists.
• If the boolean expression resolves to false, an error is produced and the template_constraint_message is displayed if provided.

template_constraint_message:

• A compile-time string literal to be displayed to the programmer if the template_constraint expression was to resolve to false.

template_parameter_name:

• Variable name declarator

template_parameter_initializer:

• A default value or type to be assigned to template_parameter_name if none is provided.
• If the associated template_parameter_name is a type-specific template, needs to be a type.

std.type_traits.is_type(template_parameter_initializer) == true

• If the associated template_parameter_name is a value-specific template, needs to be of the same type as template_parameter_name.

template_parameter_name.type() == template_parameter_initializer.type()

class_body:

• Contains a list of access specifier sections, method definitions and properties.
• ^{_{(1 ... n)}} class_member

class_member:

• One of:
  • class_access_specifier:
  • class_method
  • class_property
  • [other declarative statement]

class_method:

• One of:
  • class_constructor
  • function

class_property:

variable definition ^_(optional) managed_property_definition

managed_property_definition:

{^{_{(0 ... n)}} managed_property_method}

managed_property_method:

• One of:
  • managed_property_setter
  • managed_property_getter

managed_property_setter:

• TODO

managed_property_getter

• TODO