Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class ImmutableTermList

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

All Implemented Interfaces:

Iterable<Term>, Collection<Term>, List<Term>

public class ImmutableTermList
extends Object
implements List<Term>

An immutable list of terms

Constructor Summary

Constructors

Constructor	Description
ImmutableTermList(Term... terms)
ImmutableTermList(List<Term> termsList)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
void	add(int index, Term element)	Deprecated. This operation is not supported
boolean	add(Term term)	Deprecated. This operation is not supported
boolean	addAll(int index, Collection<? extends Term> c)	Deprecated. This operation is not supported
boolean	addAll(Collection<? extends Term> c)	Deprecated. This operation is not supported
ImmutableTermList	applySubstitution(Substitution substitution)
void	clear()	Deprecated. This operation is not supported
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object o)
Term	get(int index)
Set<Variable>	getUsedVariables()
int	hashCode()
int	indexOf(Object o)
boolean	isEmpty()
Iterator<Term>	iterator()
int	lastIndexOf(Object o)
ListIterator<Term>	listIterator()
ListIterator<Term>	listIterator(int index)
Term	remove(int index)	Deprecated. This operation is not supported
boolean	remove(Object o)	Deprecated. This operation is not supported
boolean	removeAll(Collection<?> c)	Deprecated. This operation is not supported
boolean	retainAll(Collection<?> c)	Deprecated. This operation is not supported
Term	set(int index, Term element)	Deprecated. This operation is not supported
int	size()
ImmutableTermList	subList(int fromIndex, int toIndex)
Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

replaceAll, sort, spliterator

Constructor Details

ImmutableTermList

public ImmutableTermList(Term... terms)

ImmutableTermList

public ImmutableTermList(List<Term> termsList)

Method Details

size

public int size()

Specified by:

size in interface Collection<Term>

Specified by:

size in interface List<Term>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<Term>

Specified by:

isEmpty in interface List<Term>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<Term>

Specified by:

contains in interface List<Term>

iterator

public Iterator<Term> iterator()

Specified by:

iterator in interface Collection<Term>

Specified by:

iterator in interface Iterable<Term>

Specified by:

iterator in interface List<Term>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<Term>

Specified by:

toArray in interface List<Term>

toArray

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

Specified by:

toArray in interface Collection<Term>

Specified by:

toArray in interface List<Term>

add

@Deprecated(forRemoval=false)
public boolean add(Term term)

Deprecated.

This operation is not supported

Specified by:

add in interface Collection<Term>

Specified by:

add in interface List<Term>

remove

@Deprecated(forRemoval=false)
public boolean remove(Object o)

Deprecated.

This operation is not supported

Specified by:

remove in interface Collection<Term>

Specified by:

remove in interface List<Term>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<Term>

Specified by:

containsAll in interface List<Term>

addAll

@Deprecated(forRemoval=false)
public boolean addAll(Collection<? extends Term> c)

Deprecated.

This operation is not supported

Specified by:

addAll in interface Collection<Term>

Specified by:

addAll in interface List<Term>

addAll

@Deprecated(forRemoval=false)
public boolean addAll(int index,
 Collection<? extends Term> c)

Deprecated.

This operation is not supported

Specified by:

addAll in interface List<Term>

removeAll

@Deprecated(forRemoval=false)
public boolean removeAll(Collection<?> c)

Deprecated.

This operation is not supported

Specified by:

removeAll in interface Collection<Term>

Specified by:

removeAll in interface List<Term>

retainAll

@Deprecated(forRemoval=false)
public boolean retainAll(Collection<?> c)

Deprecated.

This operation is not supported

Specified by:

retainAll in interface Collection<Term>

Specified by:

retainAll in interface List<Term>

clear

@Deprecated(forRemoval=false)
public void clear()

Deprecated.

This operation is not supported

Specified by:

clear in interface Collection<Term>

Specified by:

clear in interface List<Term>

get

public Term get(int index)

Specified by:

get in interface List<Term>

set

@Deprecated(forRemoval=false)
public Term set(int index,
 Term element)

Deprecated.

This operation is not supported

Specified by:

set in interface List<Term>

add

@Deprecated(forRemoval=false)
public void add(int index,
 Term element)

Deprecated.

This operation is not supported

Specified by:

add in interface List<Term>

remove

@Deprecated(forRemoval=false)
public Term remove(int index)

Deprecated.

This operation is not supported

Specified by:

remove in interface List<Term>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<Term>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<Term>

listIterator

public ListIterator<Term> listIterator()

Specified by:

listIterator in interface List<Term>

listIterator

public ListIterator<Term> listIterator(int index)

Specified by:

listIterator in interface List<Term>

subList

public ImmutableTermList subList(int fromIndex,
 int toIndex)

Specified by:

subList in interface List<Term>

applySubstitution

public ImmutableTermList applySubstitution(Substitution substitution)

getUsedVariables

public Set<Variable> getUsedVariables()

accept

public <T> T accept(LogicSchemaVisitor<T> visitor)

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<Term>

Specified by:

hashCode in interface List<Term>

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Specified by:

equals in interface Collection<Term>

Specified by:

equals in interface List<Term>

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object