Interface properties

Interface properties are declared using interface-property-declarations:

interface-property-declaration:
attributes_opt new_opt type identifier { interface-accessors }

interface-accessors:
attributes_opt get;
attributes_opt set;
attributes_opt get; attributes_opt set;
attributes_opt set; attributes_opt get;

The attributes, type, and identifier of an interface property declaration have the same meaning as those of a property declaration in a class (§10.7).

The accessors of an interface property declaration correspond to the accessors of a class property declaration (§10.7.2), except that the accessor body must always be a semicolon. Thus, the accessors simply indicate whether the property is read-write, read-only, or write-only.

The type of an interface property must be output-safe if there is a get accessor, and must be input-safe if there is a set accessor.

Interface events

Interface events are declared using interface-event-declarations:

interface-event-declaration:
attributes_opt new_opt event type identifier;

The attributes, type, and identifier of an interface event declaration have the same meaning as those of an event declaration in a class (§10.8).

The type of an interface event must be input-safe.