3.RMI 함수별로 ID 를 개별 지정하기

global {} 안에 들어가 있는 RMI 함수들은 일련 값의 RMI ID 가 배정됩니다. 물론, 몇몇 RMI 함수들은 귀하가 원하시는 RMI ID 값을 가지게 만들 수 있습니다. 아래처럼 [id=xxx] 구문을 사용하면 됩니다.

global MedivalWorld 10000
{
    Foo([in] int x);// id=10001이 자동 지정
    [id=13000] id=Foo2([in] int y);  // id=13000으로 강제 지정
}