dk.brics.string.external
Interface ExternalSubtyping

public interface ExternalSubtyping

Determines which types might be extended/implemented by a non-application class.

Author:

Asger

Method Summary

boolean

hasExternalSubtype(SootClass clazz) Returns true if the specified type might be extended/implemented by a non-application class.

Method Detail

hasExternalSubtype

boolean hasExternalSubtype(SootClass clazz)

Returns true if the specified type might be extended/implemented by a non-application class. More precisely, this should return true if an instance of such an external subtype can ever reach application code.

It is always sound to return true.

Parameters:

clazz - a class or interface. May be application or non-application.

Returns:

true if an instance of a non-application subtype may reach application code