de.uka.ilkd.key.control

Class TermLabelVisibilityManager

java.lang.Object

de.uka.ilkd.key.control.TermLabelVisibilityManager

All Implemented Interfaces:

VisibleTermLabels

public class TermLabelVisibilityManager
extends java.lang.Object
implements VisibleTermLabels

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Name>	hiddenLabels
private java.util.List<TermLabelVisibilityManagerListener>	listeners
private boolean	showLabels

Constructor Summary

Constructors

Constructor and Description
TermLabelVisibilityManager()

Method Summary

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 listener.
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)
boolean	isShowLabels()
void	removeTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l) Unregisters the given TermLabelVisibilityManagerListener.
void	setHidden(Name labelName, boolean hidden)
void	setShowLabels(boolean showLabels)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

showLabels

private boolean showLabels

hiddenLabels

private final java.util.Set<Name> hiddenLabels

listeners

private final java.util.List<TermLabelVisibilityManagerListener> listeners

Constructor Detail

TermLabelVisibilityManager

public TermLabelVisibilityManager()

Method Detail

isShowLabels

public boolean isShowLabels()

setShowLabels

public void setShowLabels(boolean showLabels)

isHidden

public boolean isHidden(Name labelName)

setHidden

public void setHidden(Name labelName,
                      boolean hidden)

contains

public boolean contains(TermLabel label)

Specified by:

contains in interface VisibleTermLabels

contains

public boolean contains(Name labelName)

Specified by:

contains in interface VisibleTermLabels

addTermLabelVisibilityManagerListener

public void addTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l)

Registers the given TermLabelVisibilityManagerListener.

Parameters:

l - The TermLabelVisibilityManagerListener to add.

removeTermLabelVisibilityManagerListener

public void removeTermLabelVisibilityManagerListener(TermLabelVisibilityManagerListener l)

Unregisters the given TermLabelVisibilityManagerListener.

Parameters:

l - The TermLabelVisibilityManagerListener to remove.

getTermLabelVisibilityManagerListeners

public TermLabelVisibilityManagerListener[] getTermLabelVisibilityManagerListeners()

Returns all available TermLabelVisibilityManagerListener.

fireVisibleLabelsChanged

protected void fireVisibleLabelsChanged(TermLabelVisibilityManagerEvent e)

Fires the event TermLabelVisibilityManagerListener.visibleLabelsChanged(TermLabelVisibilityManagerEvent) to all listener.

Parameters:

e - The event object.

getSortedTermLabelNames

public static java.util.List<Name> getSortedTermLabelNames(Proof proof)

Returns a sorted list of all term label names supported by the given Proof.

Parameters:

proof - The given Proof.

Returns:

The sorted list of supported term label names.

getSortedTermLabelNames

public static java.util.List<Name> getSortedTermLabelNames(Profile profile)

Returns a sorted list of all term label names supported by the given Profile.

Parameters:

profile - The given Profile.

Returns:

The sorted list of supported term label names.

getSortedTermLabelNames

public static java.util.List<Name> getSortedTermLabelNames(TermLabelManager manager)

Returns a sorted list of all term TermLabelManager names supported by the given TermLabelManager.

Parameters:

manager - The given Profile.

Returns:

The sorted list of supported term label names.