Syntax, example

(class parent
  (field string ((= bar "Parent bar")))
  (method void foo ((string s))
    (block
     (print (+ s (+ ": Parent foo, " (dot this bar))))
     (newline))))

class Parent
{ String bar = "Parent bar;

  void foo (String S)
  { System.out.println(S + ": Parent foo,  " + this.bar);
  }
}

Jim Miller