public class TermLabelVisibilityManager extends Object implements VisibleTermLabels
Modifier and Type | Field and Description |
---|---|
private Set<Name> |
hiddenLabels |
private List<TermLabelVisibilityManagerListener> |
listeners |
private boolean |
showLabels |
Constructor and Description |
---|
TermLabelVisibilityManager() |
private boolean showLabels
private final 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 List<Name> getSortedTermLabelNames(Proof proof)
Proof
.proof
- The given Proof
.public static List<Name> getSortedTermLabelNames(Profile profile)
Profile
.profile
- The given Profile
.public static List<Name> getSortedTermLabelNames(TermLabelManager manager)
TermLabelManager
.manager
- The given Profile
.