public class ExtensionSettings extends AbstractPropertiesSettings
AbstractPropertiesSettings.PropertyEntry<T>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
KEY_DISABLED |
listenerList, properties, propertyEntries
Constructor and Description |
---|
ExtensionSettings() |
Modifier and Type | Method and Description |
---|---|
AbstractPropertiesSettings.PropertyEntry<java.util.Set<java.lang.String>> |
forbiddenClasses() |
java.util.Collection<java.lang.String> |
getForbiddenClasses() |
void |
setForbiddenClass(java.lang.Class type,
boolean activated) |
void |
setForbiddenClasses(java.util.Collection<java.lang.String> seq) |
addSettingsListener, createBooleanProperty, createDoubleProperty, createFloatProperty, createIntegerProperty, createStringListProperty, createStringProperty, createStringSetProperty, fireSettingsChange, isInitialized, readSettings, removeSettingsListener, writeSettings
public static final java.lang.String KEY_DISABLED
public java.util.Collection<java.lang.String> getForbiddenClasses()
public void setForbiddenClasses(java.util.Collection<java.lang.String> seq)
public AbstractPropertiesSettings.PropertyEntry<java.util.Set<java.lang.String>> forbiddenClasses()
public void setForbiddenClass(java.lang.Class type, boolean activated)
Copyright © 2003-2019 The KeY-Project.