constant_push_action.cc

Go to the documentation of this file.

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


#include "SheafSystem/constant_push_action.h"
#include "SheafSystem/assert_contract.h"
#include "SheafSystem/error_message.h"
#include "SheafSystem/sec_vd.h"

using namespace std;
using namespace fields; // Workaround for MS C++ bug.

// =============================================================================
// CONSTANT_PUSH_ACTION FACET
// =============================================================================

// PUBLIC MEMBER FUNCTIONS

fields::constant_push_action::
constant_push_action(int xdst_df, const block<sec_vd_dof_type>& xdst_dofs)
    : section_pusher_push_action(xdst_df),
    _dst_dofs(xdst_dofs)
{

  // Preconditions:

  require(xdst_df >= 0);
  require(xdst_dofs.ct() == xdst_df);

  // Body:

  // Nothing to do.

  // Postconditions:

  ensure(invariant());
  ensure(dst_df() == xdst_df);
  ensure(dst_dofs().ct() == xdst_df);
  ensure_for_all(i, 0, dst_df(), dst_dofs()[i] == xdst_dofs[i]);

  // Exit:

  return;
}

fields::constant_push_action::
constant_push_action(int xdst_df, sec_vd_dof_type xdst_dof)
    : section_pusher_push_action(xdst_df)
{

  // Preconditions:

  require(xdst_df >= 0);

  // Body:

  _dst_dofs.reserve(_dst_df);
  _dst_dofs.set_ct(_dst_df);
  _dst_dofs.assign(xdst_dof);

  // Postconditions:

  ensure(invariant());
  ensure(dst_df() == xdst_df);
  ensure(dst_dofs().ct() == xdst_df);
  ensure_for_all(i, 0, dst_df(), dst_dofs()[i] == xdst_dof);

  // Exit:

  return;
}

fields::constant_push_action::
~constant_push_action()
{
  // Preconditions:


  // Body:

  // Nothing to do;

  // Postconditions:

  // Exit:

  return;
}

sheaf::block<fiber_bundle::sec_vd_dof_type>&
fields::constant_push_action::
dst_dofs()
{
  return _dst_dofs;
}


// =============================================================================
// SECTION_PUSHER_PUSH_ACTION FACET
// =============================================================================

// PUBLIC MEMBER FUNCTIONS

void
fields::constant_push_action::
operator()(pullback_map::iterator& xitr,
           sec_vd& xdst,
           block<sec_vd_dof_type>& xdst_dofs)
{
  // Preconditions:

  require(xdst.state_is_read_accessible());
  require(xdst.schema().df() == dst_df());
  require(xdst_dofs.ub() >= dst_df());

  // Body:

  xdst_dofs = _dst_dofs;

  // Postconditions:

  ensure_for_all(i, 0, dst_df(), dst_dofs()[i] == xdst_dofs[i]);

  // Exit:

  return;
}


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

// PUBLIC MEMBER FUNCTIONS

bool
fields::constant_push_action::
is_ancestor_of(const any* xother) const
{

  // Preconditions:

  require(xother != 0);

  // Body:

  // True if xother conforms to this

  bool result = dynamic_cast<const constant_push_action*>(xother) != 0;

  // Postconditions:

  return result;
}

fields::constant_push_action*
fields::constant_push_action::
clone() const
{
  constant_push_action* result;

  // Preconditions:

  // Body:

  result = new constant_push_action(*this);

  // Postconditions:

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

  // Exit:

  return result;
}

fields::constant_push_action&
fields::constant_push_action::
operator=(const section_pusher_push_action& xother)
{

  // Preconditions:

  require(is_ancestor_of(&xother));

  // Body:

  not_implemented();

  // Postconditions:

  ensure(invariant());

  // Exit:

  return *this;
}


fields::constant_push_action&
fields::constant_push_action::
operator=(const constant_push_action& xother)
{

  // Preconditions:


  // Body:

  _dst_df = xother._dst_df;
  _dst_dofs = xother._dst_dofs;

  // Postconditions:

  ensure(invariant());

  // Exit

  return *this;
}

bool
fields::constant_push_action::
invariant() const
{
  bool result = true;

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

    disable_invariant_check();

    // Must satisfy base class invariant

    invariance(section_pusher_push_action::invariant());

    // Invariances for this class:

    // Finished, turn invariant checking back on.

    enable_invariant_check();
  }

  // Exit

  return result;
}

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