#ifndef TABLE_PRESENTATION_FRAME_H
#define TABLE_PRESENTATION_FRAME_H

#ifndef TABLE_PRESENTATION_H
#include "Table_presentation.h"
#endif

namespace MM
{

class Table_presentation_frame : public Table_presentation
{
    Table                     * table_;

public:
    Table_presentation_frame() : table_(0) { }
    Table &             table ()                    {INVARIANT; return *table_;}
    const Table &       table () const              {INVARIANT; return *table_;}
    virtual void        set_table (Table & table)       {table_ = &table;}
    bool                table_was_initialized() const   {return table_ != 0;}

protected:
    virtual bool        invariant() const   {return table_was_initialized();}
};

}//MM

#endif //TABLE_PRESENTATION_FRAME_H
