In: Computer Science
You will implement and test the sequence class using an array to store the sequence's items in C++. sequence1.h: The header file for the sequence class. Actually, you don't have to write much of this file. Start with the sequence1.h header file provided and add your name and other information at the top. Also, decide on appropriate private member variables, and declare these in the sequence class definition at the bottom of the header file. If some of your member functions are implemented as inline functions, then you may put those implementations in this file too. 2. sequence1.cxx: The implementation file for this first sequence class. You will write all of this file, which will have the implementations of all the sequence's member functions. // FILE: sequence1.h // CLASS PROVIDED: sequence (part of the namespace main_savitch_3) // There is no implementation file provided for this class since it is // an exercise from Section 3.2 of "Data Structures and Other Objects Using C++" // // TYPEDEFS and MEMBER CONSTANTS for the sequence class: // typedef ____ value_type // sequence::value_type is the data type of the items in the sequence. It // may be any of the C++ built-in types (int, char, etc.), or a class with a // default constructor, an assignment operator, and a copy constructor. // // typedef ____ size_type // sequence::size_type is the data type of any variable that keeps track of // how many items are in a sequence. // // static const size_type CAPACITY = _____ // sequence::CAPACITY is the maximum number of items that a sequence can hold. // // CONSTRUCTOR for the sequence class: // sequence( ) // Postcondition: The sequence has been initialized as an empty sequence. // // MODIFICATION MEMBER FUNCTIONS for the sequence class: // void start( ) // Postcondition: The first item on the sequence becomes the current item // (but if the sequence is empty, then there is no current item). // // void advance( ) // Precondition: is_item returns true. // Postcondition: If the current item was already the last item in the // sequence, then there is no longer any current item. Otherwise, the new // current item is the item immediately after the original current item. // // void insert(const value_type& entry) // Precondition: size( ) < CAPACITY. // Postcondition: A new copy of entry has been inserted in the sequence // before the current item. If there was no current item, then the new entry // has been inserted at the front of the sequence. In either case, the newly // inserted item is now the current item of the sequence. // // void attach(const value_type& entry) // Precondition: size( ) < CAPACITY. // Postcondition: A new copy of entry has been inserted in the sequence after // the current item. If there was no current item, then the new entry has // been attached to the end of the sequence. In either case, the newly // inserted item is now the current item of the sequence. // // void remove_current( ) // Precondition: is_item returns true. // Postcondition: The current item has been removed from the sequence, and the // item after this (if there is one) is now the new current item. // // CONSTANT MEMBER FUNCTIONS for the sequence class: // size_type size( ) const // Postcondition: The return value is the number of items in the sequence. // // bool is_item( ) const // Postcondition: A true return value indicates that there is a valid // "current" item that may be retrieved by activating the current // member function (listed below). A false return value indicates that // there is no valid current item. // // value_type current( ) const // Precondition: is_item( ) returns true. // Postcondition: The item returned is the current item in the sequence. // // VALUE SEMANTICS for the sequence class: // Assignments and the copy constructor may be used with sequence objects. #ifndef MAIN_SAVITCH_SEQUENCE_H #define MAIN_SAVITCH_SEQUENCE_H #include // Provides size_t namespace main_savitch_3 { class sequence { public: // TYPEDEFS and MEMBER CONSTANTS typedef double value_type; typedef std::size_t size_type; static const size_type CAPACITY = 30; // CONSTRUCTOR sequence( ); // MODIFICATION MEMBER FUNCTIONS void start( ); void advance( ); void insert(const value_type& entry); void attach(const value_type& entry); void remove_current( ); // CONSTANT MEMBER FUNCTIONS size_type size( ) const; bool is_item( ) const; value_type current( ) const; private: value_type data[CAPACITY]; size_type used; size_type current_index; }; } #endif
// FILE: sequence1.h
// CLASS PROVIDED: sequence (part of the namespace
main_savitch_3)
// There is no implementation file provided for this class since it
is
// an exercise from Section 3.2 of "Data Structures and Other
Objects Using C++"
//
// TYPEDEFS and MEMBER CONSTANTS for the sequence class:
// typedef ____ value_type
// sequence::value_type is the data type of the items in the
sequence. It
// may be any of the C++ built-in types (int, char, etc.), or a
class with a
// default constructor, an assignment operator, and a copy
constructor.
//
// typedef ____ size_type
// sequence::size_type is the data type of any variable that keeps
track of
// how many items are in a sequence.
//
// static const size_type CAPACITY = _____
// sequence::CAPACITY is the maximum number of items that a
sequence can hold.
//
// CONSTRUCTOR for the sequence class:
// sequence( )
// Postcondition: The sequence has been initialized as an empty
sequence.
//
// MODIFICATION MEMBER FUNCTIONS for the sequence class:
// void start( )
// Postcondition: The first item on the sequence becomes the
current item
// (but if the sequence is empty, then there is no current
item).
//
// void advance( )
// Precondition: is_item returns true.
// Postcondition: If the current item was already the last item in
the
// sequence, then there is no longer any current item. Otherwise,
the new
// current item is the item immediately after the original current
item.
//
// void insert(const value_type& entry)
// Precondition: size( ) < CAPACITY.
// Postcondition: A new copy of entry has been inserted in the
sequence
// before the current item. If there was no current item, then the
new entry
// has been inserted at the front of the sequence. In either case,
the newly
// inserted item is now the current item of the sequence.
//
// void attach(const value_type& entry)
// Precondition: size( ) < CAPACITY.
// Postcondition: A new copy of entry has been inserted in the
sequence after
// the current item. If there was no current item, then the new
entry has
// been attached to the end of the sequence. In either case, the
newly
// inserted item is now the current item of the sequence.
//
// void remove_current( )
// Precondition: is_item returns true.
// Postcondition: The current item has been removed from the
sequence, and the
// item after this (if there is one) is now the new current
item.
//
// CONSTANT MEMBER FUNCTIONS for the sequence class:
// size_type size( ) const
// Postcondition: The return value is the number of items in the
sequence.
//
// bool is_item( ) const
// Postcondition: A true return value indicates that there is a
valid
// "current" item that may be retrieved by activating the
current
// member function (listed below). A false return value indicates
that
// there is no valid current item.
//
// value_type current( ) const
// Precondition: is_item( ) returns true.
// Postcondition: The item returned is the current item in the
sequence.
//
// VALUE SEMANTICS for the sequence class:
// Assignments and the copy constructor may be used with sequence
objects.
#ifndef MAIN_SAVITCH_SEQUENCE_H
#define MAIN_SAVITCH_SEQUENCE_H
#include <cstdlib> // Provides size_t
namespace main_savitch_3
{
class sequence
{
public:
// TYPEDEFS and MEMBER
CONSTANTS
typedef double value_type;
typedef std::size_t
size_type;
static const size_type CAPACITY =
30;
// CONSTRUCTOR
sequence( );
// MODIFICATION MEMBER
FUNCTIONS
void start( );
void advance( );
void insert(const value_type&
entry);
void attach(const value_type&
entry);
void remove_current( );
// CONSTANT MEMBER FUNCTIONS
size_type size( ) const;
bool is_item( ) const;
value_type current( ) const;
private:
value_type data[CAPACITY];
size_type used;
size_type current_index;
};
}
#endif
// end of sequence1.h
// sequence1.cpp
#include "sequence1.h"
namespace main_savitch_3
{
// CONSTRUCTOR for the sequence class:
// sequence( )
// Postcondition: The sequence has been initialized as an empty
sequence.
sequence::sequence( ):used(0),current_index(0)
{}
// MODIFICATION MEMBER FUNCTIONS
// void start( )
// Postcondition: The first item on the sequence becomes the
current item
// (but if the sequence is empty, then there is no current
item).
void sequence::start( )
{
current_index =0;
}
// Precondition: is_item returns true.
// Postcondition: If the current item was already the last item in
the
// sequence, then there is no longer any current item. Otherwise,
the new
// current item is the item immediately after the original current
item.
void sequence:: advance( )
{
// ensure that current_index is valid
if(is_item())
current_index++;
}
// Precondition: size( ) < CAPACITY.
// Postcondition: A new copy of entry has been inserted in the
sequence
// before the current item. If there was no current item, then the
new entry
// has been inserted at the front of the sequence. In either case,
the newly
// inserted item is now the current item of the sequence.
void sequence:: insert(const sequence::value_type& entry)
{
// ensure that there is available space for new item
if(size() < CAPACITY){
// If there is no current item,
// then set current_index to the front so that
// the new entry will be placed at the front of the array.
if (!is_item( ))
current_index = 0;
// Starting at end of relevant items, shift items over to make
room
for (size_type i = used; i > current_index; i--)
data[i] = data[i-1];
// insert new entry at current_index
data[current_index] = entry;
// increment number of items used
used++;
}
}
// Precondition: size( ) < CAPACITY.
// Postcondition: A new copy of entry has been inserted in the
sequence after
// the current item. If there was no current item, then the new
entry has
// been attached to the end of the sequence. In either case, the
newly
// inserted item is now the current item of the sequence.
void sequence:: attach(const sequence::value_type& entry)
{
// ensure that there is available space for new item
if(size() < CAPACITY){
if(!is_item())
{
current_index = used-1;
}
for(int i = used;i>(current_index+1);i--)
data[i] = data[i-1];
data[current_index+1]= entry;
current_index++;
used++;
}
}
// Precondition: is_item returns true.
// Postcondition: The current item has been removed from the
sequence, and the
// item after this (if there is one) is now the new current
item.
void sequence:: remove_current( )
{
if(is_item())
{
for(int i=current_index;i<(used-1);i++)
{
data[i] = data[i+1];
}
used--;
}
}
// CONSTANT MEMBER FUNCTIONS
// size_type size( ) const
// Postcondition: The return value is the number of items in the
sequence.
sequence::size_type sequence:: size( ) const
{
return used;
}
// Postcondition: A true return value indicates that there is a
valid
// "current" item that may be retrieved by activating the
current
// member function (listed below). A false return value indicates
that
// there is no valid current item.
bool sequence:: is_item( ) const
{
// see if current_index is valid
return(current_index < used);
}
// Precondition: is_item( ) returns true.
// Postcondition: The item returned is the current item in the
sequence.
sequence::value_type sequence:: current( ) const
{
// ensure that current_index is valid
if(is_item())
return data[current_index];
}
}
//end of sequence1.cpp