de.uka.ilkd.key.gui.mergerule.predicateabstraction

Class ObservableArrayList<E>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<E>

de.uka.ilkd.key.gui.mergerule.predicateabstraction.ObservableArrayList<E>

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<E>, java.util.Collection<E>, java.util.List<E>, java.util.RandomAccess

public class ObservableArrayList<E>
extends java.util.ArrayList<E>

An observable ArrayList; poor reimplementation of the JavaFX class.

Author:

Dominic Steinhoefel

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static interface	ObservableArrayList.ObservableArrayListChangeListener

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<ObservableArrayList.ObservableArrayListChangeListener>	listeners
private static long	serialVersionUID

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
ObservableArrayList()

Method Summary

Modifier and Type	Method and Description
boolean	add(E e)
void	add(int index, E element)
boolean	addAll(java.util.Collection<? extends E> c)
boolean	addAll(int index, java.util.Collection<? extends E> c)
void	addListener(ObservableArrayList.ObservableArrayListChangeListener listener)
void	clear()
private void	informListeners()
E	remove(int index)
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
void	removeListener(ObservableArrayList.ObservableArrayListChangeListener listener)
protected void	removeRange(int fromIndex, int toIndex)
E	set(int index, E element)

Methods inherited from class java.util.ArrayList

clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, removeIf, replaceAll, retainAll, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Methods inherited from interface java.util.Collection

parallelStream, stream

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

listeners

private java.util.List<ObservableArrayList.ObservableArrayListChangeListener> listeners

Constructor Detail

ObservableArrayList

public ObservableArrayList()

Method Detail

addListener

public void addListener(ObservableArrayList.ObservableArrayListChangeListener listener)

removeListener

public void removeListener(ObservableArrayList.ObservableArrayListChangeListener listener)

clear

public void clear()

Specified by:

clear in interface java.util.Collection<E>

Specified by:

clear in interface java.util.List<E>

Overrides:

clear in class java.util.ArrayList<E>

set

public E set(int index,
             E element)

Specified by:

set in interface java.util.List<E>

Overrides:

set in class java.util.ArrayList<E>

add

public boolean add(E e)

Specified by:

add in interface java.util.Collection<E>

Specified by:

add in interface java.util.List<E>

Overrides:

add in class java.util.ArrayList<E>

addAll

public boolean addAll(java.util.Collection<? extends E> c)

Specified by:

addAll in interface java.util.Collection<E>

Specified by:

addAll in interface java.util.List<E>

Overrides:

addAll in class java.util.ArrayList<E>

add

public void add(int index,
                E element)

Specified by:

add in interface java.util.List<E>

Overrides:

add in class java.util.ArrayList<E>

addAll

public boolean addAll(int index,
                      java.util.Collection<? extends E> c)

Specified by:

addAll in interface java.util.List<E>

Overrides:

addAll in class java.util.ArrayList<E>

remove

public E remove(int index)

Specified by:

remove in interface java.util.List<E>

Overrides:

remove in class java.util.ArrayList<E>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<E>

Specified by:

remove in interface java.util.List<E>

Overrides:

remove in class java.util.ArrayList<E>

removeAll

public boolean removeAll(java.util.Collection<?> c)

Specified by:

removeAll in interface java.util.Collection<E>

Specified by:

removeAll in interface java.util.List<E>

Overrides:

removeAll in class java.util.ArrayList<E>

removeRange

protected void removeRange(int fromIndex,
                           int toIndex)

Overrides:

removeRange in class java.util.ArrayList<E>

informListeners

private void informListeners()