// Module identifier: "framework"
// Qualified name:    "::framework"
module framework {

  // Typedef identifier: "number"
  // Qualified name:    "::framework::number"
  typedef float number;

  // Exception identifier: "FrameworkException"
  // Qualified name:       "::framework::FrameworkException"
  exception FrameworkException {

    // Constant identifier: "ERR_NOT_FOUND"
    // Qualified name:      "::framework::FrameworkException::ERR_NOT_FOUND"
    const long ERR_NOT_FOUND = 1;

    // Exception field identifier: "code"
    long code;
  };

  // Interface identifier: "System"
  // Qualified name:       "::framework::System"
  interface System {

    // Operation identifier:          "createObject"
    // Operation argument identifier: "interface"
    object createObject(in DOMString _interface);

    // Operation has no identifier; it declares a getter.
    getter DOMString (in DOMString keyName);
  };

  // Module identifier: "gui"
  // Qualified name:    "::framework::gui"
  module gui {

    // Interface identifier: "TextField"
    // Qualified name:       "::framework::gui::TextField"
    interface TextField {

      // Attribute identifier: "const"
      attribute boolean _const;

      // Attribute identifier: "value"
      attribute DOMString? _value;
    };
  };
};