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

// Implementation for class geometry_namespace

#include "SheafSystem/geometry_namespace.h"

#include "SheafSystem/assert_contract.h"
#include "SheafSystem/at0.h"
#include "SheafSystem/base_space_member.h"
#include "SheafSystem/error_message.h"
#include "SheafSystem/e1.h"
#include "SheafSystem/e2.h"
#include "SheafSystem/e3.h"
#include "SheafSystem/poset_path.h"
#include "SheafSystem/sec_rep_descriptor.h"
#include "SheafSystem/sec_rep_descriptor_poset.h"
#include "SheafSystem/std_iostream.h"
#include "SheafSystem/wsv_block.h"

//#define DIAGNOSTIC_OUTPUT

using namespace std;
using namespace geometry; // Workaround for MSVC++ bug.

// =============================================================================
// GEOMETRY_NAMESPACE FACET
// =============================================================================

// PUBLIC MEMBER FUNCTIONS


geometry::geometry_namespace::
geometry_namespace(const std::string& xname)
{
  // Preconditions:

  require(precondition_of(new_state(xname)));

  // Body:

  // Create the state.

  new_state(xname);

  // Postconditions:

  ensure(postcondition_of(new_state(xname)));

  // Exit:

  return;
}

// PROTECTED MEMBER FUNCTIONS

geometry::geometry_namespace::
geometry_namespace()
{

  // Preconditions:


  // Body:

  // Nothing to do.

  // Postconditions:

  ensure(!is_attached());

  // Exit:

  return;
}

geometry::geometry_namespace::
~geometry_namespace()
{
  // Preconditions:

  // Body:

  // Nothing to do.

  // Postconditions:

  // Exit:

  return;
}


// =============================================================================
// ANY FACET
// =============================================================================

bool
geometry::geometry_namespace::
is_ancestor_of(const any *other) const
{

  // Preconditions:

  require(other != 0);

  // Body:

  // True if other conforms to this

  bool result = dynamic_cast<const geometry_namespace*>(other) != 0;

  // Postconditions:

  return result;
}

geometry::geometry_namespace*
geometry::geometry_namespace::
clone() const
{
  geometry_namespace* result;

  // Preconditions:

  // Body:

  result = new geometry_namespace();

  // Postconditions:

  ensure(result != 0);
  ensure(is_same_type(result));

  // Exit:

  return result;
}


geometry::geometry_namespace&
geometry::geometry_namespace::
operator=(const geometry_namespace& xother)
{

  // Preconditions:


  // Body:

  not_implemented();

  // Postconditions:

  ensure(invariant());

  // Exit

  return *this;
}

bool
geometry::geometry_namespace::
invariant() const
{
  bool result = true;

  if(invariant_check())
  {
    // Prevent recursive calls to invariant

    disable_invariant_check();

    // Must satisfy base class invariant

    invariance(fiber_bundles_namespace::invariant());

    // Invariances for this class:

    // Finished, turn invariant checking back on.

    enable_invariant_check();
  }

  // Exit

  return result;
}


// =============================================================================
// NON-MEMBER FUNCTIONS
// =============================================================================