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

//
// A map from one sec_rep_space to another.
//

#include "SheafSystem/avg_section_pusher.h"
#include "SheafSystem/assert_contract.h"
#include "SheafSystem/sec_ed_invertible.h"

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

// =============================================================================
// AVG_SECTION_PUSHER FACET
// =============================================================================

// PUBLIC MEMBER FUNCTIONS

fields::avg_section_pusher::
avg_section_pusher(const sec_rep_space& xdomain,
                   const sec_rep_space& xrange,
                   const geometry::sec_ed_invertible& xdom_coord,
                   const sec_ed& xran_coord,
                   bool xauto_access)
    : section_pusher(xdomain, xrange, xdom_coord, xran_coord, xauto_access)
{
  // Preconditions:

  require(precondition_of(section_pusher(xdomain, xrange, xdom_coord, xran_coord)));

  // Body:

  // Nothing to do.

  // Postconditions:

  ensure(postcondition_of(section_pusher(xdomain, xrange, xdomain_inverter, xran_coord)));


  // Exit:
}


// PROTECTED MEMBER FUNCTIONS

fields::avg_section_pusher::
avg_section_pusher()
{
  // Preconditions:

  // Body:

  not_implemented();

  // Postconditions:

  ensure(invariant());

  // Exit:
}

void
fields::avg_section_pusher::
extend(sec_vd& result, const scoped_index& xdisc_id)
{
  // Preconditions:

  require(result.state_is_read_write_accessible());
  require(range().schema().discretization().contains_member(xdisc_id));

  // Body:

  // Define result by averaging the values of the source field
  // nearest to the discretization point identified by xdisc_id.

  not_implemented();

  // Postconditions:

  // Exit:
}


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

// PUBLIC MEMBER FUNCTIONS

fields::avg_section_pusher::
avg_section_pusher(const avg_section_pusher& xother)
{
  // Preconditions:

  // Body:

  not_implemented();


  // Postconditions:

  ensure(invariant());

  // Exit:
}

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

  // Body:

  not_implemented();

  // Postconditions:

  ensure(invariant());

  // Exit:
}


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

  // Preconditions:

  // Body:

  // Must satisfy base class invariant.

  invariance(section_pusher::invariant());

  // Postconditions:

  // Exit

  return result;
}