public class TermLabelVisibilityManager extends java.lang.Object implements VisibleTermLabels
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Name> |
hiddenLabels |
private java.util.List<TermLabelVisibilityManagerListener> |
listeners |
private boolean |
showLabels |
Constructor and Description |
---|
TermLabelVisibilityManager() |
private boolean showLabels
private final java.util.Set<Name> hiddenLabels
private final java.util.List<TermLabelVisibilityManagerListener> listeners
public boolean isShowLabels()
public void setShowLabels(boolean showLabels)
public boolean isHidden(Name labelName)
public void setHidden(Name labelName, boolean hidden)
public 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
.protected void fireVisibleLabelsChanged(TermLabelVisibilityManagerEvent e)
TermLabelVisibilityManagerListener.visibleLabelsChanged(TermLabelVisibilityManagerEvent)
to all listener.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
.