// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// WARNING: Do not edit - generated code.

interface HTMLAppletElement extends HTMLElement {

  String get align();

  void set align(String value);

  String get alt();

  void set alt(String value);

  String get archive();

  void set archive(String value);

  String get code();

  void set code(String value);

  String get codeBase();

  void set codeBase(String value);

  String get height();

  void set height(String value);

  int get hspace();

  void set hspace(int value);

  String get name();

  void set name(String value);

  String get object();

  void set object(String value);

  int get vspace();

  void set vspace(int value);

  String get width();

  void set width(String value);
}
