| java.lang.Object de.uka.ilkd.key.util.Service
Service | final public class Service (Code) | | The Service class contains a static method to load a class and a
create an instance specified by an identifier. The corresponding
class can be specified by a system property or by a service entry
in the META-INF directory.
|
Method Summary | |
final public static Object | find(String id, String defaultClassName) Search for a class with id and return a new instance. |
find | final public static Object find(String id, String defaultClassName)(Code) | | Search for a class with id and return a new instance. If no
class is found, defaultClassName is used instead.
|
|
|