It is also possible to declare the superclass constructor explicitly.

module C ( super.len ) extends B(len, "VAL") ; 
 
// is equivalent to:
class C extends B {
 
  C(float l) {
    super(l, "VAL"); 
  }
 
  ... // pattern
}

In this example the super constructor takes a value “VAL” as an argument, but the argument can be a method declared in the module. I.e.

module C ( super.len ) extends B(len, getName()) {
  String getName() {
    return "MyAmazingName";
  }
}