|| Declare a class with an int field.
{define-class public A
  field public x:int = 9

  || The constructor takes one argument, an integer,
  || and uses that argument to set the field.
  {constructor {default x:int}
    set self.x = x
  }
}

|| Declare a variable of type A and initialize it with
|| an instance of the class A.  The argument (42) is
|| passed to the constructor, which then assigns the
|| argument to self.x.
{let a:A = {A 42}}

|| Display the value of the field in the resulting
|| object.
{value a.x}

|| Declare an abstract class with a factory.  Remember
|| that a class need not include a constructor.
{define-class public abstract E

  || The factory returns an object whose type is this
  || class.
  {factory public {default}:E
    || This factory actually returns an instance of F,
    || which is a subclass of E.
    {return {new F}}
  }

  || The getter returns a string indicating the type
  || of the object.
  {getter public {name}:String
    {return "My type is E"}
  }
}

|| Declare a class that inherits from E.  Remember that
|| subclasses do not inherit factories.
{define-class package F {inherits E}
  || The getter returns a string indicating the type
  || of the object.
  {getter public {name}:String
    {return "My type is F"}
  }
}

|| Declare a variable of type E and initialize it
|| with an instance of the class E.  The factory
|| in E returns an instance of the class F.
{let e:E = {new E}}

|| Display the value of the name getter for the
|| resulting object.
{value e.name}