|
TPTP 4.2.0 Platform Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.hyades.trace.ui.internal.util.FilterSetElement
A filter set containing one or more filter criteria. Each filter set has an ID, which is either provided as a default, or a dynamic one is generated for sets added by the user. In order to translate properly, the default sets contain a key which points to the resource bundle property with the name.
| Constructor Summary | |
|---|---|
FilterSetElement(java.lang.String id)
Constructs a new FilterSetElement with the given unique identifier. |
|
| Method Summary | |
|---|---|
java.util.ArrayList |
getChildren()
Returns the filter elements contained by this filter set. |
java.lang.String |
getDisplayName()
Returns the string containing the name to be displayed for this filter set. |
java.lang.String |
getId()
Returns the unique language-neutral identifier of this filter set. |
java.lang.String |
getKey()
Returns the resource bundle key for this filter set's name. |
java.lang.String |
getName()
Returns the name field for this filter set. |
void |
setChildren(java.util.ArrayList children)
Assigns the given patterns and directives to this filter set. |
void |
setId(java.lang.String id)
Sets this filter set's unique language-neutral identifier. |
void |
setKey(java.lang.String key)
Set the resource bundle key for this filter set's name. |
void |
setName(java.lang.String name)
Sets the filter set's name. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public FilterSetElement(java.lang.String id)
id - the unique language-neutral identifier.| Method Detail |
public java.lang.String getId()
public java.lang.String getDisplayName()
public java.lang.String getKey()
public java.lang.String getName()
public void setId(java.lang.String id)
id - the identifier to use; any string.public void setKey(java.lang.String key)
key - the resource bundle key for this filter set's name.public void setName(java.lang.String name)
name - the new name for this filter set.public java.util.ArrayList getChildren()
public void setChildren(java.util.ArrayList children)
children - the filter set elements to assign.
|
TPTP 4.2.0 Platform Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||