components.sequence

Interface SequenceKernel<T>

Type Parameters:

T -

All Superinterfaces:

Standard<Sequence<T>>

All Known Subinterfaces:

Sequence<T>

All Known Implementing Classes:

Sequence1L, SequenceDL, SequenceSecondary

public interface SequenceKernel<T>
extends Standard<Sequence<T>>

Sequence kernel component containing method headers and contracts for all methods that will directly interact with the label representations of all Sequence implementations. All sub-interface methods should use only these methods to perform operations on the Sequence.

Author:

Matthew Shoemaker

Method Summary

Modifier and Type	Method and Description
void	add(int pos, T entry) Inserts entry into this at index position pos.
int	length() Reports the length of this.
T	remove(int pos) Removes the entry at pos position of #this.

Methods inherited from interface components.standard.Standard

clear, newInstance, transferFrom

Method Detail

add

void add(int pos,
         T entry)

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

Requires:

pos <= this.lenth and entry is not null

Ensures:

this = [#this with entry inserted at the pos position}

remove

T remove(int pos)

Removes the entry at pos position of #this.

Parameters:

pos - index of the entry to be removed

Returns:

entry at index pos of #this

Updates:

this

Requires:

pos < this.length and this.length > 0-

Ensures:

 remove = [entry at index  pos of  #this] and
 this = [#this without the entry at index  pos] and
 [all entries following the removed entry shift to the left]
 

length

int length()

Reports the length of this.

Returns:

|this|

Ensures:

length = [|this|]