@ Check ( CheckType . FAST ) public void checkSuperType ( SarlEvent event ) { checkSuperTypes ( event , SARL_EVENT__EXTENDS , Utils . singletonList ( event . getExtends ( ) ) , Event . class , false ) ; }
Check if the supertype of the given event is a subtype of Event .