de.uka.ilkd.key.api

Class ScriptResults

java.lang.Object

de.uka.ilkd.key.api.ScriptResults

All Implemented Interfaces:

java.lang.Iterable<ScriptResult>, java.util.Collection<ScriptResult>, java.util.List<ScriptResult>

public class ScriptResults
extends java.lang.Object
implements java.util.List<ScriptResult>

Version:

1 (21.04.17)

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<ScriptResult>	delegated

Constructor Summary

Constructors

Constructor and Description
ScriptResults()

Method Summary

Modifier and Type	Method and Description
void	add(int index, ScriptResult element)
boolean	add(ScriptResult scriptResult)
boolean	addAll(java.util.Collection<? extends ScriptResult> c)
boolean	addAll(int index, java.util.Collection<? extends ScriptResult> c)
void	clear()
boolean	contains(java.lang.Object o)
boolean	containsAll(java.util.Collection<?> c)
boolean	equals(java.lang.Object o)
void	forEach(java.util.function.Consumer<? super ScriptResult> action)
ScriptResult	get(int index)
int	hashCode()
int	indexOf(java.lang.Object o)
boolean	isEmpty()
java.util.Iterator<ScriptResult>	iterator()
int	lastIndexOf(java.lang.Object o)
java.util.ListIterator<ScriptResult>	listIterator()
java.util.ListIterator<ScriptResult>	listIterator(int index)
java.util.stream.Stream<ScriptResult>	parallelStream()
ScriptResult	remove(int index)
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
boolean	removeIf(java.util.function.Predicate<? super ScriptResult> filter)
void	replaceAll(java.util.function.UnaryOperator<ScriptResult> operator)
boolean	retainAll(java.util.Collection<?> c)
ScriptResult	set(int index, ScriptResult element)
int	size()
void	sort(java.util.Comparator<? super ScriptResult> c)
java.util.Spliterator<ScriptResult>	spliterator()
java.util.stream.Stream<ScriptResult>	stream()
java.util.List<ScriptResult>	subList(int fromIndex, int toIndex)
java.lang.Object[]	toArray()
<T> T[]	toArray(T[] a)

Methods inherited from class java.lang.Object

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

Field Detail

delegated

private java.util.List<ScriptResult> delegated

Constructor Detail

ScriptResults

public ScriptResults()

Method Detail

size

public int size()

Specified by:

size in interface java.util.Collection<ScriptResult>

Specified by:

size in interface java.util.List<ScriptResult>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<ScriptResult>

Specified by:

isEmpty in interface java.util.List<ScriptResult>

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection<ScriptResult>

Specified by:

contains in interface java.util.List<ScriptResult>

iterator

public java.util.Iterator<ScriptResult> iterator()

Specified by:

iterator in interface java.lang.Iterable<ScriptResult>

Specified by:

iterator in interface java.util.Collection<ScriptResult>

Specified by:

iterator in interface java.util.List<ScriptResult>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<ScriptResult>

Specified by:

toArray in interface java.util.List<ScriptResult>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface java.util.Collection<ScriptResult>

Specified by:

toArray in interface java.util.List<ScriptResult>

add

public boolean add(ScriptResult scriptResult)

Specified by:

add in interface java.util.Collection<ScriptResult>

Specified by:

add in interface java.util.List<ScriptResult>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<ScriptResult>

Specified by:

remove in interface java.util.List<ScriptResult>

containsAll

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

Specified by:

containsAll in interface java.util.Collection<ScriptResult>

Specified by:

containsAll in interface java.util.List<ScriptResult>

addAll

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

Specified by:

addAll in interface java.util.Collection<ScriptResult>

Specified by:

addAll in interface java.util.List<ScriptResult>

addAll

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

Specified by:

addAll in interface java.util.List<ScriptResult>

removeAll

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

Specified by:

removeAll in interface java.util.Collection<ScriptResult>

Specified by:

removeAll in interface java.util.List<ScriptResult>

retainAll

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

Specified by:

retainAll in interface java.util.Collection<ScriptResult>

Specified by:

retainAll in interface java.util.List<ScriptResult>

replaceAll

public void replaceAll(java.util.function.UnaryOperator<ScriptResult> operator)

Specified by:

replaceAll in interface java.util.List<ScriptResult>

sort

public void sort(java.util.Comparator<? super ScriptResult> c)

Specified by:

sort in interface java.util.List<ScriptResult>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<ScriptResult>

Specified by:

clear in interface java.util.List<ScriptResult>

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface java.util.Collection<ScriptResult>

Specified by:

equals in interface java.util.List<ScriptResult>

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<ScriptResult>

Specified by:

hashCode in interface java.util.List<ScriptResult>

Overrides:

hashCode in class java.lang.Object

get

public ScriptResult get(int index)

Specified by:

get in interface java.util.List<ScriptResult>

set

public ScriptResult set(int index,
                        ScriptResult element)

Specified by:

set in interface java.util.List<ScriptResult>

add

public void add(int index,
                ScriptResult element)

Specified by:

add in interface java.util.List<ScriptResult>

remove

public ScriptResult remove(int index)

Specified by:

remove in interface java.util.List<ScriptResult>

indexOf

public int indexOf(java.lang.Object o)

Specified by:

indexOf in interface java.util.List<ScriptResult>

lastIndexOf

public int lastIndexOf(java.lang.Object o)

Specified by:

lastIndexOf in interface java.util.List<ScriptResult>

listIterator

public java.util.ListIterator<ScriptResult> listIterator()

Specified by:

listIterator in interface java.util.List<ScriptResult>

listIterator

public java.util.ListIterator<ScriptResult> listIterator(int index)

Specified by:

listIterator in interface java.util.List<ScriptResult>

subList

public java.util.List<ScriptResult> subList(int fromIndex,
                                            int toIndex)

Specified by:

subList in interface java.util.List<ScriptResult>

spliterator

public java.util.Spliterator<ScriptResult> spliterator()

Specified by:

spliterator in interface java.lang.Iterable<ScriptResult>

Specified by:

spliterator in interface java.util.Collection<ScriptResult>

Specified by:

spliterator in interface java.util.List<ScriptResult>

removeIf

public boolean removeIf(java.util.function.Predicate<? super ScriptResult> filter)

Specified by:

removeIf in interface java.util.Collection<ScriptResult>

stream

public java.util.stream.Stream<ScriptResult> stream()

Specified by:

stream in interface java.util.Collection<ScriptResult>

parallelStream

public java.util.stream.Stream<ScriptResult> parallelStream()

Specified by:

parallelStream in interface java.util.Collection<ScriptResult>

forEach

public void forEach(java.util.function.Consumer<? super ScriptResult> action)

Specified by:

forEach in interface java.lang.Iterable<ScriptResult>