public static interface AbstractPropertiesSettings.PropertyEntry<T>
Modifier and Type | Method and Description |
---|---|
T |
get() |
java.lang.String |
getKey() |
void |
set(java.lang.String value) |
void |
set(T value) |
default void |
update() |
java.lang.String |
value() |
Copyright © 2003-2019 The KeY-Project.