public class Style
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.awt.Color> |
KEY_COLOR_BACKGROUND |
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.awt.Color> |
KEY_COLOR_BORDER |
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.awt.Color> |
KEY_COLOR_FOREGROUND |
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.Boolean> |
KEY_FONT_BOLD |
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.Boolean> |
KEY_FONT_ITALIC |
static de.uka.ilkd.key.gui.prooftree.Style.Key<javax.swing.Icon> |
KEY_ICON |
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.String> |
KEY_TEXT |
static de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.String> |
KEY_TOOLTIP |
Constructor and Description |
---|
Style() |
Modifier and Type | Method and Description |
---|---|
<T> boolean |
contains(de.uka.ilkd.key.gui.prooftree.Style.Key<T> key) |
<T> T |
get(de.uka.ilkd.key.gui.prooftree.Style.Key<T> key) |
<T> T |
get(de.uka.ilkd.key.gui.prooftree.Style.Key<T> key,
T defaultValue) |
boolean |
getBoolean(de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.Boolean> key) |
<T> Style |
set(de.uka.ilkd.key.gui.prooftree.Style.Key<T> key,
T value) |
<T> Style |
setAndSeal(de.uka.ilkd.key.gui.prooftree.Style.Key<T> key,
T value) |
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.awt.Color> KEY_COLOR_FOREGROUND
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.awt.Color> KEY_COLOR_BACKGROUND
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.awt.Color> KEY_COLOR_BORDER
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.Boolean> KEY_FONT_ITALIC
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.Boolean> KEY_FONT_BOLD
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<javax.swing.Icon> KEY_ICON
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.String> KEY_TOOLTIP
public static final de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.String> KEY_TEXT
@Nonnull public <T> Style set(@Nonnull de.uka.ilkd.key.gui.prooftree.Style.Key<T> key, @Nullable T value)
@Nonnull public <T> Style setAndSeal(@Nonnull de.uka.ilkd.key.gui.prooftree.Style.Key<T> key, @Nullable T value)
public <T> boolean contains(@Nonnull de.uka.ilkd.key.gui.prooftree.Style.Key<T> key)
@Nullable public <T> T get(@Nonnull de.uka.ilkd.key.gui.prooftree.Style.Key<T> key, @Nullable T defaultValue)
@Nullable public <T> T get(@Nonnull de.uka.ilkd.key.gui.prooftree.Style.Key<T> key)
public boolean getBoolean(de.uka.ilkd.key.gui.prooftree.Style.Key<java.lang.Boolean> key)
Copyright © 2003-2019 The KeY-Project.