standard_subposet_index.cc

//
// 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.
//

// Definitions for standard_subposet_index facet of namespace sheaf.

#include "SheafSystem/standard_subposet_index.h"

#include "SheafSystem/assert_contract.h"
#include "SheafSystem/std_string.h"

using namespace std;

namespace
{
const int STANDARD_SUBPOSET_INDEX_CT =
  sheaf::STANDARD_SUBPOSET_INDEX_END - sheaf::STANDARD_SUBPOSET_INDEX_BEGIN;
}


sheaf::standard_subposet_index&
sheaf::
operator++(standard_subposet_index& x)
{
  return x =
           (x == STANDARD_SUBPOSET_INDEX_END) ?
           STANDARD_SUBPOSET_INDEX_BEGIN :
           standard_subposet_index(x+1);
};

const std::string&
sheaf::
standard_subposet_index_to_name(standard_subposet_index xindex)
{
  // Preconditions:

  // Body:

  static const string names[STANDARD_SUBPOSET_INDEX_CT+1] =
    {
      "TOC_INDEX",
      "STANDARD_SUBPOSET_INDEX_PLACEHOLDER_MINUS_1",
      "JIMS_INDEX",
      "WHOLE_INDEX",
      "RESIDENT_INDEX",
      "NOT_A_STANDARD_SUBPOSET_INDEX"
    };

  const string* lresult_ptr = &names[STANDARD_SUBPOSET_INDEX_CT];

  pod_index_type lindex = xindex;
  if(is_standard_subposet_index(lindex))
  {
    lresult_ptr = &names[lindex - STANDARD_SUBPOSET_INDEX_BEGIN];
  }

  const string& result = *lresult_ptr;

  // Postconditions:

  ensure(!result.empty());

  // Exit:

  return result;
}

sheaf::standard_subposet_index
sheaf::
standard_subposet_index_from_name(const std::string& xname)
{
  standard_subposet_index result = NOT_A_STANDARD_SUBPOSET_INDEX;
  for(standard_subposet_index i=STANDARD_SUBPOSET_INDEX_BEGIN;
      i< STANDARD_SUBPOSET_INDEX_END;
      ++i)
  {
    if(standard_subposet_index_to_name(i) == xname)
    {
      result = i;
      break;
    }
  }

  return result;
}

sheaf::standard_subposet_index
sheaf::
standard_subposet_index_from_index(pod_index_type xindex)
{
  // Preconditions:

  // Body:

  static const standard_subposet_index prims[STANDARD_SUBPOSET_INDEX_CT+1] =
    {
      TOC_INDEX,
      STANDARD_SUBPOSET_INDEX_PLACEHOLDER_MINUS_1,
      JIMS_INDEX,
      WHOLE_INDEX,
      RESIDENT_INDEX,
      NOT_A_STANDARD_SUBPOSET_INDEX
    };

  standard_subposet_index result = prims[STANDARD_SUBPOSET_INDEX_CT];
  if(is_standard_subposet_index(xindex))
  {
    result = prims[xindex - STANDARD_SUBPOSET_INDEX_BEGIN];
  }

  // Postconditions:

  // Exit:

  return result;
}

bool
sheaf::
is_standard_subposet_index(pod_index_type xindex)
{
  bool result;

  // Preconditions:

  // Body:

  result =
    (STANDARD_SUBPOSET_INDEX_BEGIN <= xindex) &&
    (xindex < STANDARD_SUBPOSET_INDEX_END);

  // Postconditions:

  // Exit

  return result;
}