The Tigris site will receive a major upgrade the evening of Monday, December 1, beginning at 8:30 pm PST. Downtime is projected to be about ten hours.
Further details in the announcement
jmt.application.elements
Interface ElementSet
- public interface ElementSet
Describes a set of elements.
This type is usally used to group elements.
The content must be static.
- Author:
- Martin Kersten
|
Method Summary |
Element |
get(int index)
Returns the element at the index. |
java.util.Iterator |
iterator()
Returns the iterator of the elements of this set. |
int |
size()
Returns the number of elements in the set. |
get
public Element get(int index)
- Returns the element at the index.
- Parameters:
index - The index of the element
- Returns:
- The element at the given index
iterator
public java.util.Iterator iterator()
- Returns the iterator of the elements of this set.
- Returns:
- The iterator of the elements
size
public int size()
- Returns the number of elements in the set.
- Returns:
- The number of elements in the set