| |
|
| java.util.LinkedList de.uka.ilkd.key.util.ExtList
ExtList | public class ExtList extends LinkedList (Code) | | extends java.util.LinkedList in order to collect elements
according to their type
|
Constructor Summary | |
public | ExtList() |
collect | public Object collect(Class cl)(Code) | | collects elements of the classtype cl and returns a typed array
Parameters: cl - Class the type of the elements that are selected array with type cl |
get | public Object get(Class cl)(Code) | | returns first element in list of type cl
Parameters: cl - the type to be searched in list the first element with type cl in list |
removeFirstOccurrence | public Object removeFirstOccurrence(Class cl)(Code) | | returns first element in list of type cl and removes the found
element from the list if the elemnt has not been found null
is returned
Parameters: cl - the type to be searched in list the first element with type cl in list |
|
|
|