@ Check ( CheckType . FAST ) public void checkSuperType ( SarlAgent agent ) { checkSuperTypes ( agent , SARL_AGENT__EXTENDS , Utils . singletonList ( agent . getExtends ( ) ) , Agent . class , false ) ; }
Check if the supertype of the given agent is a subtype of Agent .