오브젝트에 이벤트 수신을 추가하면 해당 유형의 이벤트를 수신할 오브젝트의 기능이 정의됩니다. 특정 유형의 이벤트를 이용할 수 있음을 표시하기 위해 오브젝트의 스펙 파일에 주석이 추가됩니다. 예를 들어, 오브젝트 유형 G가 ev1 이벤트를 수신할 수 있는 경우 다음 주석이 G의 스펙 파일에 추가됩니다.
/*** Events consumed ***/ /* ev1();*/
모든 이벤트는 RiCReactive에서 발견되는 공통 인터페이스를 통해 처리됩니다.
이벤트는 패키지 파일에서 정의됩니다.