/* $XORP: xorp/xrl/interfaces/test.xif,v 1.2 2006/03/26 23:59:39 pavlin Exp $ */

/*
 * This is a test file with XRL interface.
 */


interface test/1.0 {
	/**
	 * Print "hello world".
	 */
	print_hello_world;

	/** 
	 * Print "hello world" and a user supplied greeting.
	 *
	 * @param msg greeting to be printed.
	 */
	 print_hello_world_and_message ? msg:txt;

	 /**
	  * Count number of greetings available.
	  */
	 get_greeting_count -> num_msgs:i32;

	 /**
	  * Get greeting.
	  *
	  * @param greeting_num index of greeting.
	  *
	  * @param greeting text of greeting.
	  */
	 get_greeting ? greeting_num:i32 -> greeting:txt;

	 /**
	  * Something that always fails.
	  */
	 shoot_foot;

	 /**
	  * Handle IEEE754 binary64 format.
	  */
	 float_my_point ? input:fp64 -> output:fp64;
}
