6.3.2 Interface definition format

This subsection explains the format of an interface definition language (IDL) used in an IDL file. An interface definition consists of the following:

A parameter declaration is included in the operation declaration.

The declaration in the interface definition body is validated if specifications in the interface definition header and interface definition body are inconsistent.

Interface definition header

[[interface_attribute,...]] interface interface_name

Interface definition body

{
 import-declaration
 constant-declaration
 type-declaration
 operation-declaration
 parameter-declaration
}