record_index.h

//
// Copyright (c) 2014 Limit Point Systems, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//


// Interface for class record_index

#ifndef RECORD_INDEX_H
#define RECORD_INDEX_H

#ifndef SHEAF_DLL_SPEC_H
#include "SheafSystem/sheaf_dll_spec.h"
#endif

#ifndef ASSERT_CONTRACT_H
#include "SheafSystem/assert_contract.h"
#endif

#ifndef SCOPED_INDEX_H
#include "SheafSystem/scoped_index.h"
#endif

namespace sheaf
{
  
typedef scoped_index record_index;

struct SHEAF_DLL_SPEC namespace_relative_record_index_pod_type
{
  record_index::pod_type poset_id;
  record_index::pod_type member_id;

  bool operator==(const namespace_relative_record_index_pod_type& xother) const
  {
    return (poset_id == xother.poset_id) && (member_id == xother.member_id);
  };

  bool is_valid()
  {
    return (sheaf::is_valid(poset_id) && sheaf::is_valid(member_id));
  };
};

class SHEAF_DLL_SPEC namespace_relative_record_index
{
public:

  typedef namespace_relative_record_index_pod_type pod_type;

  inline namespace_relative_record_index()
  {
    // Preconditions:

    // Body:

    // Scoped_index data members are invalid by default.

    // Postconditions:

    ensure(!is_valid());

    // Exit:

    return;
  };

  record_index poset_id;

  record_index member_id;

  inline namespace_relative_record_index(const namespace_relative_record_index& xother)
      : poset_id(xother.poset_id),
      member_id(xother.member_id)
  {
    // Preconditions:

    // Body:


    // Postconditions:

    ensure(*this == xother);

    // Exit:

    return;
  };

  inline namespace_relative_record_index& operator=(const namespace_relative_record_index& xother)
  {
    // Preconditions:

    // Body:

    poset_id  = xother.poset_id;
    member_id = xother.member_id;

    // Postconditions:

    ensure(*this == xother);

    // Exit:

    return *this;
  };

  

  inline bool operator==(const namespace_relative_record_index& xother) const
  {
    bool result;

    // Preconditions:

    // Body:

    result = ((poset_id == xother.poset_id) && (member_id == xother.member_id));

    // Postconditions:

    ensure(result == ((poset_id == xother.poset_id) && (member_id == xother.member_id)));

    // Exit:

    return result;
  };

  inline bool is_valid() const
  {
    bool result;

    // Preconditions:

    // Body:

    result = (poset_id.is_valid() && member_id.is_valid());

    // Postconditions:

    // Exit:

    return result;
  };

  void invalidate()
  {
    // Preconditions:

    // Body:

    poset_id.invalidate();
    member_id.invalidate();

    // Postconditions:

    ensure(!is_valid());

    // Exit:

    return;
  };

  inline static const namespace_relative_record_index& INVALID()
  {
    // Preconditions:

    // Body:

    // Default constructor makes invalid.

    static const namespace_relative_record_index result;

    // Postconditions:

    ensure(!result.is_valid());

    // Exit:

    return result;
  };

  inline pod_type pod() const
  {
    pod_type result;
    result.poset_id = poset_id.pod();
    result.member_id = member_id.pod();

    return result;
  };

  inline void put_pod(pod_type xpod)
  {

    // Preconditions:

    // Body:

    poset_id.put_pod(xpod.poset_id);
    member_id.put_pod(xpod.member_id);

    // Postconditions:

    ensure(pod() == xpod || !is_valid());

    // Exit:

    return;
  };



};

} // namespace sheaf

#endif // ifndef RECORD_INDEX_H