Classes

[thosakwe]

No description provided.

[thosakwe]

class Foo {
  let x = 2;
  mut a:string;

  constructor() {
    this("<no message>");
  }

  constructor(this.message);

  factory hello() => new Foo("Hello, world!");

  bar():void => printf "Message: %s%n", message;
}

class Bar extends Foo {
  @override()
  bar():void {
    this.message = "Polymorphism... rules!";
    super.bar();
  }
}

Resolving class members without this will require adding a BonoboType thisContext to Scope.

There always will need to be a check to ensure that factory constructors are not called via super.

Overrides will also have to make sure that their signatures match.

[thosakwe]

In the future, abstract classes can be added. implementing them will require a re-definition of all methods.

abstract class Reason {
  get name:string; // Requires getter
  set name(value:int); // Require setter
  precedence:int; // Require both

  explain():string;
}

class BaseReason implements Reason {
  _name:string;

  constructor(this._name);

  @override()
  get name => _name;

  // ...
}

[thosakwe]

classDefinition:
  classModifier* 'class' name=ID ('extends' parentType=type)?
  ((implementedTypes+=type ',')* implementedTypes+=type)?
  '{' classMemberDefinition* '}'
;

classMemberDefinition:
  'constructor' '(' ((constructorParameter)* constructorParameter)? ')' #ConstructorDefinition
  | specifier=('let'|'mut') (variableDeclaration ',')* variableDeclaration #PropertyDefinition
  | funcSignature ';' #AbstractMethodDefinition
  | funcSignature block #MethodDefinition
;

constructorParameter:
  'this' '.' ID #PropertyConstructorParameter
  | ID (':' type)? #RegularConstructorParameter
;

classModifier: 'abstract' | 'final';

[thosakwe]

Eventually, classes will need to add annotations (#9).

[thosakwe]

#15