public boolean hasSupertype ( AClassType sclass , PType other ) { return af . createSClassDefinitionAssistant ( ) . hasSupertype ( sclass . getClassdef ( ) , other ) ; }
Used in the SClassDefinitionAssistantTC .