components.sequence

Class Sequence1L<T>

java.lang.Object

components.sequence.SequenceSecondary<T>

components.sequence.Sequence1L<T>

Type Parameters:

T -

All Implemented Interfaces:

Sequence<T>, SequenceKernel<T>, Standard<Sequence<T>>, java.lang.Iterable<T>

public class Sequence1L<T>
extends SequenceSecondary<T>

A sequence label structure layered on top of a java.util.ArrayList.

Author:

Matthew Shoemaker

Abstraction Relation (interpretation mapping between $this and this):

this = $this.rep

Constructor Summary

Constructors

Constructor and Description
Sequence1L()

Method Summary

Modifier and Type	Method and Description
void	add(int pos, T entry) Inserts entry into this at index position pos.
void	clear() Resets this to its initial value.
java.util.Iterator<T>	iterator()
int	length() Reports the length of this.
Sequence<T>	newInstance() Returns a new object with the same dynamic type as this, having an initial value.
T	remove(int pos) Removes the entry at pos position of #this.
void	transferFrom(Sequence<T> source) Sets this to the incoming value of source, and resets source to an initial value; the declaration notwithstanding, the dynamic type of source must be the same as the dynamic type of this.

Methods inherited from class components.sequence.SequenceSecondary

append, append, contains, entry, equals, hashCode, replaceEntry, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Sequence1L

public Sequence1L()

Method Detail

add

public void add(int pos,
                T entry)

Description copied from interface: SequenceKernel

Inserts entry into this at index position pos. All entries following the insertion are shifted to the right.

Parameters:

pos - index of the insertion

entry - entry to be inserted

remove

public T remove(int pos)

Description copied from interface: SequenceKernel

Removes the entry at pos position of #this.

Parameters:

pos - index of the entry to be removed

Returns:

entry at index pos of #this

length

public int length()

Description copied from interface: SequenceKernel

Reports the length of this.

Returns:

|this|

clear

public void clear()

Description copied from interface: Standard

Resets this to its initial value.

transferFrom

public void transferFrom(Sequence<T> source)

Description copied from interface: Standard

Sets this to the incoming value of source, and resets source to an initial value; the declaration notwithstanding, the dynamic type of source must be the same as the dynamic type of this. If the type T has a no-argument constructor, then source satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then source satisfies the contract of the constructor call that was used to initialize #source.

Parameters:

source - object whose value is to be transferred

newInstance

public Sequence<T> newInstance()

Description copied from interface: Standard

Returns a new object with the same dynamic type as this, having an initial value. If the type T has a no-argument constructor, then the value of the new returned object satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then the value of the new returned object satisfies the contract of the constructor call that was used to initialize this.

Returns:

new object "like" this with an initial value

iterator

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