Package | Description |
---|---|
de.uka.ilkd.key.macros.scripts.meta |
Modifier and Type | Method and Description |
---|---|
<T> StringConverter<T> |
ValueInjector.getConverter(java.lang.Class<T> clazz)
Finds a converter for the given class.
|
Modifier and Type | Method and Description |
---|---|
<T> void |
ValueInjector.addConverter(java.lang.Class<T> clazz,
StringConverter<T> conv)
Registers the given converter for the specified class.
|
Copyright © 2003-2019 The KeY-Project.