sleep.taint
Class TaintArray

java.lang.Object
  sleep.taint.TaintArray

All Implemented Interfaces:

java.io.Serializable, ScalarArray

public class TaintArray
extends java.lang.Object
implements ScalarArray

Used to wrap read-only arrays so values are only converted on an as-needed basis

See Also:

Serialized Form

Nested Class Summary

protected class

TaintArray.TaintIterator

Field Summary

protected ScalarArray

source

Constructor Summary

TaintArray(ScalarArray src)

Method Summary

Scalar	add(Scalar value, int index) add an element to the array at the specified index
Scalar	getAt(int index) get an element at the specified index
Scalar	pop() remove the topmost element from the array
Scalar	push(Scalar value) add an element onto the end of the array
Scalar	remove(int index) remove an element at the specified index
void	remove(Scalar value) remove all elements with the same identity as the specified scalar
java.util.Iterator	scalarIterator() return an iterator
int	size() return the size of the array
void	sort(java.util.Comparator compare) sort this array with the specified comparator
ScalarArray	sublist(int begin, int end) return a view into the array, ideally one that uses the same backing store
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

source

protected ScalarArray source

Constructor Detail

TaintArray

public TaintArray(ScalarArray src)

Method Detail

sublist

public ScalarArray sublist(int begin,
                           int end)

Description copied from interface: ScalarArray

return a view into the array, ideally one that uses the same backing store

Specified by:

sublist in interface ScalarArray

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

pop

public Scalar pop()

Description copied from interface: ScalarArray

remove the topmost element from the array

Specified by:

pop in interface ScalarArray

sort

public void sort(java.util.Comparator compare)

Description copied from interface: ScalarArray

sort this array with the specified comparator

Specified by:

sort in interface ScalarArray

push

public Scalar push(Scalar value)

Description copied from interface: ScalarArray

add an element onto the end of the array

Specified by:

push in interface ScalarArray

size

public int size()

Description copied from interface: ScalarArray

return the size of the array

Specified by:

size in interface ScalarArray

remove

public Scalar remove(int index)

Description copied from interface: ScalarArray

remove an element at the specified index

Specified by:

remove in interface ScalarArray

getAt

public Scalar getAt(int index)

Description copied from interface: ScalarArray

get an element at the specified index

Specified by:

getAt in interface ScalarArray

scalarIterator

public java.util.Iterator scalarIterator()

Description copied from interface: ScalarArray

return an iterator

Specified by:

scalarIterator in interface ScalarArray

add

public Scalar add(Scalar value,
                  int index)

Description copied from interface: ScalarArray

add an element to the array at the specified index

Specified by:

add in interface ScalarArray

remove

public void remove(Scalar value)

Description copied from interface: ScalarArray

remove all elements with the same identity as the specified scalar

Specified by:

remove in interface ScalarArray