Example

introduction example types operations inheritance bindings

As an example, look at the definition of a module universe below. It contains an interface named world which provides a method hello and two additional methods ask and tell.

  module universe {    universe  
  
  interface world {
      	void hello();
  
  	void ask(in string x);
  	string tell();
  
  	oneway void halt();
  	};
  };

slide: universe.idl

The ask method has a string input parameter and the tell method has a string result type.

All methods supported by the world interface are synchronous, except for the halt method, which is annotated as oneway.

The realization of the universe module is given in Appendix Universe.