public class TermLabelVisibilityManager extends java.lang.Object implements VisibleTermLabels
Constructor and Description |
---|
TermLabelVisibilityManager()
Constructs a new TermLabelVisibilityManager.
|
Modifier and Type | Method and Description |
---|---|
void |
addTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l)
Registers the given
TermLabelVisibilityManagerListener . |
boolean |
contains(Name labelName) |
boolean |
contains(TermLabel label) |
protected void |
fireVisibleLabelsChanged(TermLabelVisibilityManagerEvent e)
Fires the event
TermLabelVisibilityManagerListener.visibleLabelsChanged(
TermLabelVisibilityManagerEvent)
to all listeners. |
static java.util.List<Name> |
getSortedTermLabelNames(Profile profile)
Returns a sorted list of all term label names supported by the given
Profile . |
static java.util.List<Name> |
getSortedTermLabelNames(Proof proof)
Returns a sorted list of all term label names supported by the given
Proof . |
static java.util.List<Name> |
getSortedTermLabelNames(TermLabelManager manager)
Returns a sorted list of all term TermLabelManager names supported by the given
TermLabelManager . |
TermLabelVisibilityManagerListener[] |
getTermLabelVisibilityManagerListeners()
Returns all available
TermLabelVisibilityManagerListener . |
boolean |
isHidden(Name labelName)
Gives the information whether the term label with the passed name is currently hidden.
|
boolean |
isShowLabels()
Gives the information whether currently term labels should be shown or not.
|
void |
removeTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l)
Unregisters the given
TermLabelVisibilityManagerListener . |
void |
setHidden(Name labelName,
boolean hidden)
Sets the state of the term label with the passed name to hidden or not.
|
void |
setShowLabels(boolean showLabels)
Set the switch whether term labels should be shown to passed value.
|
public TermLabelVisibilityManager()
public boolean isShowLabels()
public void setShowLabels(boolean showLabels)
showLabels
- A boolean value whether term labels should be shownpublic boolean isHidden(Name labelName)
labelName
- The name of a term labelpublic void setHidden(Name labelName, boolean hidden)
labelName
- The name of a term labelhidden
- The boolean value whether the term label should be hidden or notpublic boolean contains(TermLabel label)
contains
in interface VisibleTermLabels
public boolean contains(Name labelName)
contains
in interface VisibleTermLabels
public void addTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l)
TermLabelVisibilityManagerListener
.l
- The TermLabelVisibilityManagerListener
to add.public void removeTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l)
TermLabelVisibilityManagerListener
.l
- The TermLabelVisibilityManagerListener
to remove.public TermLabelVisibilityManagerListener[] getTermLabelVisibilityManagerListeners()
TermLabelVisibilityManagerListener
.TermLabelVisibilityManagerListener
.protected void fireVisibleLabelsChanged(TermLabelVisibilityManagerEvent e)
TermLabelVisibilityManagerListener.visibleLabelsChanged(
TermLabelVisibilityManagerEvent)
to all listeners.e
- The event object.public static java.util.List<Name> getSortedTermLabelNames(Proof proof)
Proof
.proof
- The given Proof
.public static java.util.List<Name> getSortedTermLabelNames(Profile profile)
Profile
.profile
- The given Profile
.public static java.util.List<Name> getSortedTermLabelNames(TermLabelManager manager)
TermLabelManager
.manager
- The given Profile
.Copyright © 2003-2019 The KeY-Project.