net.sourceforge.czt.animation.eval.result

Class DiscreteSet

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.ExprImpl

net.sourceforge.czt.animation.eval.result.EvalResult

net.sourceforge.czt.animation.eval.result.EvalSet

net.sourceforge.czt.animation.eval.result.DiscreteSet

All Implemented Interfaces:

Iterable<net.sourceforge.czt.z.ast.Expr>, Collection<net.sourceforge.czt.z.ast.Expr>, Set<net.sourceforge.czt.z.ast.Expr>, net.sourceforge.czt.base.ast.Term, net.sourceforge.czt.z.ast.Expr

public class DiscreteSet
extends EvalSet

A simple implementation of {e1,e2,e3,...,eN}. A typical usage is to create it, add ALL the members, then release it to be used in other expressions. (If other expressions see it before all members are added, then the size and lower/upper bounds will be wrong).

Author:

marku

Nested Class Summary

Nested classes/interfaces inherited from class net.sourceforge.czt.animation.eval.result.EvalSet

EvalSet.SubsetIterator<E>

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<net.sourceforge.czt.z.ast.Expr>	contents_ The elements of this set.
protected List<net.sourceforge.czt.z.ast.Expr>	listContents_ This is a copy of the elements of this set.

Fields inherited from class net.sourceforge.czt.animation.eval.result.EvalSet

INFINITE_SIZE, UNKNOWN_SIZE

Constructor Summary

Constructors

Constructor and Description
DiscreteSet()

Method Summary

Modifier and Type	Method and Description
<R> R	accept(net.sourceforge.czt.util.Visitor<R> visitor)
boolean	add(net.sourceforge.czt.z.ast.Expr e) Throws UnsupportedOperationException.
boolean	addAll(Collection<? extends net.sourceforge.czt.z.ast.Expr> coll) Throws UnsupportedOperationException.
boolean	contains(Object obj)
double	estSize() Estimate the size of the set.
BigInteger	getLower() Calculates minimum of all the elements.
BigInteger	getUpper() Calculates maximum of all the elements.
boolean	isEmpty()
Iterator<net.sourceforge.czt.z.ast.Expr>	iterator() Iterate through all members of the set.
ListIterator<net.sourceforge.czt.z.ast.Expr>	listIterator() Iterate forwards/backwards through all members of the set.
BigInteger	maxSize() The maximum size of the set in the default environment.
int	size()
Iterator<net.sourceforge.czt.z.ast.Expr>	sortedIterator() Iterate through all members of the set in sorted order.
String	toString() Each subclass should implement a nice toString.

Methods inherited from class net.sourceforge.czt.animation.eval.result.EvalSet

clear, containsAll, equals, estSubsetSize, getAnn, getAnns, hashCode, matchIterator, remove, removeAll, retainAll, subsetIterator, toArray, toArray

Methods inherited from class net.sourceforge.czt.animation.eval.result.EvalResult

create, getChildren

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

annsSize, getFactory, hasAnn, hasAnn, removeAnn, removeAnn

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface net.sourceforge.czt.base.ast.Term

annsSize, hasAnn, hasAnn, removeAnn, removeAnn

Field Detail

contents_

protected Set<net.sourceforge.czt.z.ast.Expr> contents_

The elements of this set.

listContents_

protected List<net.sourceforge.czt.z.ast.Expr> listContents_

This is a copy of the elements of this set. It exists only to allow us to iterate in both directions (listIterator). It is created from contents_ automatically when listIterator() is called and it is an error to try to add more elements after that point.

Constructor Detail

DiscreteSet

public DiscreteSet()

Method Detail

isEmpty

public boolean isEmpty()

size

public int size()

maxSize

public BigInteger maxSize()

Description copied from class: EvalSet

The maximum size of the set in the default environment.

EvalSet provides a default implementation that always returns null.

Overrides:

maxSize in class EvalSet

Returns:

Upper bound on the size of the set, or null if not known.

estSize

public double estSize()

Description copied from class: EvalSet

Estimate the size of the set.

EvalSet provides a default implementation that is the same as maxSize(), but converted to a double. So maxSize()==null gives EvalSet.INFINITE_SIZE here.

Overrides:

estSize in class EvalSet

contains

public boolean contains(Object obj)

iterator

public Iterator<net.sourceforge.czt.z.ast.Expr> iterator()

Description copied from class: EvalSet

Iterate through all members of the set. It guarantees that there will be no duplicates.

Specified by:

iterator in interface Iterable<net.sourceforge.czt.z.ast.Expr>

Specified by:

iterator in interface Collection<net.sourceforge.czt.z.ast.Expr>

Specified by:

iterator in interface Set<net.sourceforge.czt.z.ast.Expr>

Specified by:

iterator in class EvalSet

Returns:

an expression iterator.

listIterator

public ListIterator<net.sourceforge.czt.z.ast.Expr> listIterator()

Description copied from class: EvalSet

Iterate forwards/backwards through all members of the set. It guarantees that there will be no duplicates.

Specified by:

listIterator in class EvalSet

Returns:

a ListIterator object.

sortedIterator

public Iterator<net.sourceforge.czt.z.ast.Expr> sortedIterator()

Description copied from class: EvalSet

Iterate through all members of the set in sorted order. It guarantees that there will be no duplicates. It will usually fully evaluate the set before the first element is returned. If you want lazy evaluation, you should use the normal iterator() method instead of this.

Specified by:

sortedIterator in class EvalSet

getLower

public BigInteger getLower()

Calculates minimum of all the elements. Returns null if the set does not contain integers, or if it is empty.

Overrides:

getLower in class EvalSet

getUpper

public BigInteger getUpper()

Calculates maximum of all the elements. Returns null if the set does not contain integers, or if it is empty. TODO: return a very negative number if set is empty.

Overrides:

getUpper in class EvalSet

add

public boolean add(net.sourceforge.czt.z.ast.Expr e)

Description copied from class: EvalSet

Throws UnsupportedOperationException.

Specified by:

add in interface Collection<net.sourceforge.czt.z.ast.Expr>

Specified by:

add in interface Set<net.sourceforge.czt.z.ast.Expr>

Overrides:

add in class EvalSet

addAll

public boolean addAll(Collection<? extends net.sourceforge.czt.z.ast.Expr> coll)

Description copied from class: EvalSet

Throws UnsupportedOperationException.

Specified by:

addAll in interface Collection<net.sourceforge.czt.z.ast.Expr>

Specified by:

addAll in interface Set<net.sourceforge.czt.z.ast.Expr>

Overrides:

addAll in class EvalSet

accept

public <R> R accept(net.sourceforge.czt.util.Visitor<R> visitor)

Specified by:

accept in interface net.sourceforge.czt.base.ast.Term

Overrides:

accept in class EvalSet

toString

public String toString()

Description copied from class: EvalSet

Each subclass should implement a nice toString.

Specified by:

toString in class EvalSet