T
- is an arbitrary type specifying the argument to judge onpublic interface Styler<T>
Styler
is a part of a strategy to implement a flexible mechanism for the representation of elements.
For example, the proof tree uses a list of Styler
s to determine the look of proof nodes in the JTree.Modifier and Type | Method and Description |
---|---|
void |
style(Style current,
T obj)
Set the required style information in
current accordingly to the object given in obj . |
Copyright © 2003-2019 The KeY-Project.