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

Class ImmutableAtomList

java.lang.Object

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

All Implemented Interfaces:

Iterable<Atom>, Collection<Atom>, List<Atom>

public class ImmutableAtomList
extends Object
implements List<Atom>

An immutable list of atoms

Constructor Summary

Constructors

Constructor	Description
ImmutableAtomList(Atom... atoms)
ImmutableAtomList(List<Atom> atomList)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
void	add(int index, Atom element)
boolean	add(Atom atom)
boolean	addAll(int index, Collection<? extends Atom> c)
boolean	addAll(Collection<? extends Atom> c)
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object o)
Atom	get(int index)
Set<PredicatePosition>	getPredicatePositionsWithVar(Variable variable)
int	hashCode()
int	indexOf(Object o)
boolean	isEmpty()
Iterator<Atom>	iterator()
int	lastIndexOf(Object o)
ListIterator<Atom>	listIterator()
ListIterator<Atom>	listIterator(int index)
Atom	remove(int index)
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
Atom	set(int index, Atom element)
int	size()
List<Atom>	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

ImmutableAtomList

public ImmutableAtomList(Atom... atoms)

ImmutableAtomList

public ImmutableAtomList(List<Atom> atomList)

Method Details

getPredicatePositionsWithVar

public Set<PredicatePosition> getPredicatePositionsWithVar(Variable variable)

Parameters:

variable - not null

Returns:

a set of PredicatePositions appearing in body that contains the given variable

size

public int size()

Specified by:

size in interface Collection<Atom>

Specified by:

size in interface List<Atom>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<Atom>

Specified by:

isEmpty in interface List<Atom>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<Atom>

Specified by:

contains in interface List<Atom>

iterator

public Iterator<Atom> iterator()

Specified by:

iterator in interface Collection<Atom>

Specified by:

iterator in interface Iterable<Atom>

Specified by:

iterator in interface List<Atom>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<Atom>

Specified by:

toArray in interface List<Atom>

toArray

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

Specified by:

toArray in interface Collection<Atom>

Specified by:

toArray in interface List<Atom>

add

public boolean add(Atom atom)

Specified by:

add in interface Collection<Atom>

Specified by:

add in interface List<Atom>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<Atom>

Specified by:

remove in interface List<Atom>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<Atom>

Specified by:

containsAll in interface List<Atom>

addAll

public boolean addAll(Collection<? extends Atom> c)

Specified by:

addAll in interface Collection<Atom>

Specified by:

addAll in interface List<Atom>

addAll

public boolean addAll(int index,
 Collection<? extends Atom> c)

Specified by:

addAll in interface List<Atom>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<Atom>

Specified by:

removeAll in interface List<Atom>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<Atom>

Specified by:

retainAll in interface List<Atom>

clear

public void clear()

Specified by:

clear in interface Collection<Atom>

Specified by:

clear in interface List<Atom>

get

public Atom get(int index)

Specified by:

get in interface List<Atom>

set

public Atom set(int index,
 Atom element)

Specified by:

set in interface List<Atom>

add

public void add(int index,
 Atom element)

Specified by:

add in interface List<Atom>

remove

public Atom remove(int index)

Specified by:

remove in interface List<Atom>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<Atom>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<Atom>

listIterator

public ListIterator<Atom> listIterator()

Specified by:

listIterator in interface List<Atom>

listIterator

public ListIterator<Atom> listIterator(int index)

Specified by:

listIterator in interface List<Atom>

subList

public List<Atom> subList(int fromIndex,
 int toIndex)

Specified by:

subList in interface List<Atom>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<Atom>

Specified by:

hashCode in interface List<Atom>

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Specified by:

equals in interface Collection<Atom>

Specified by:

equals in interface List<Atom>

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

accept

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