product_section_space_schema_poset.h

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


#ifndef PRODUCT_SECTION_SPACE_SCHEMA_POSET_H
#define PRODUCT_SECTION_SPACE_SCHEMA_POSET_H

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

#ifndef SECTION_SPACE_SCHEMA_POSET_H
#include "SheafSystem/section_space_schema_poset.h"
#endif

#ifndef NAMESPACE_RELATIVE_MEMBER_INDEX_H
#include "SheafSystem/namespace_relative_member_index.h"
#endif

namespace sheaf
{
class ij_product_structure;
}

namespace fiber_bundle
{

using namespace sheaf;

class product_section_space_schema_crg_range;
class product_section_space_schema_member;
class section_space_schema_table_dof_crg_range;

class SHEAF_DLL_SPEC product_section_space_schema_poset : public section_space_schema_poset
{
  friend class fiber_bundles_namespace;
  friend class ij_product_structure;
  friend class product_section_space_schema_member;
  friend class product_section_space_schema_crg_range;
  friend class sec_rep_space;
  friend class section_space_schema_table_dof_crg_range;

  // ===========================================================
  // ===========================================================

public:

  static arg_list make_arg_list(const poset_path& xrep_path, 
                const poset_path& xbase_space_path, 
                const poset_path& xfiber_space_path);

  product_section_space_schema_poset(namespace_poset& xhost,
                     const std::string& xname,
                     const arg_list& xargs,
                     const poset_path& xschema_path,
                     bool xauto_access);

protected:

  product_section_space_schema_poset();

  product_section_space_schema_poset(const product_section_space_schema_poset& xother);

  virtual ~product_section_space_schema_poset();

  virtual void initialize_arg_list(const namespace_poset& xns,
                   const std::string& xname,
                   arg_list& xargs,
                   const poset_path& xschema_path,
                   bool xauto_access);

  const ij_product_structure& product_structure() const;

  void initialize_row_dof_subposet();

  section_space_schema_table_dof_crg_range& table_dof_range();

  void put_table_dof_range(section_space_schema_table_dof_crg_range& xtable_dof_range);

  product_section_space_schema_crg_range& product_range();

  void put_product_range(product_section_space_schema_crg_range& xproduct_range);

  static bool make_prototype();

  section_space_schema_table_dof_crg_range* _table_dof_range;

  product_section_space_schema_crg_range* _product_range;

private:



  // ===========================================================
  // ===========================================================

public:

  static const poset_path& standard_schema_path();

  static void make_standard_schema(namespace_poset& xns);

  using section_space_schema_poset::tuple;

  virtual void tuple(pod_index_type xindex,
             pod_index_type& xbase_space_id,
             pod_index_type& xfiber_schema_id) const;

  using section_space_schema_poset::ordinal;

  virtual void ordinal(pod_index_type xbase_space_id,
               pod_index_type xfiber_schema_id,
               pod_index_type& xindex) const;

  using section_space_schema_poset::is_homogeneous;

  virtual bool is_homogeneous(pod_index_type xindex) const;

  virtual bool contains_range_member(pod_index_type xbase_space_id,
                     pod_index_type xfiber_schema_id,
                     bool xauto_access) const;

  virtual void update_hub_id_space(bool xauto_access);

protected:

private:



  // ===========================================================
  // ===========================================================

public:

  virtual poset_type type_id() const;

  virtual const char* class_name() const;

protected:

  void new_state(namespace_poset& xhost,
                 const std::string& xname,
                 const arg_list& xargs,
                 const poset_path& xschema_path,
                 bool xauto_access);

  virtual void new_state(const schema_poset_member& xschema,
                         array_poset_dof_map& xdof_map);

private:



  // ===========================================================
  // ===========================================================

public:

protected:

private:



//   // ===========================================================
//   /// @name SCHEMATIZATION FACET
//   // ===========================================================
//   //@{

// public:

//   using poset_state_handle::is_schematized;

//   ///
//   /// True if this poset has been prepared for use as a schema,
//   /// that is, if the top member has been schematized.
//   ///
//   virtual bool is_schematized(bool xauto_access) const;

//   ///
//   /// True if the member with index xindex has been prepared for use as a schema.
//   ///
//   virtual bool is_schematized(pod_index_type xindex, bool xauto_access) const;

//   ///
//   /// Prepare this poset and its top member for use as a schema.
//   /// If xall_members = true, schematize all other members as well.
//   ///
//   virtual void schematize(subposet* xtable_dof_subposet,
//                           subposet* xrow_dof_subposet,
//                           bool xall_members = false);

// protected:

// private:

//   //@}


  // ===========================================================
  // ===========================================================

public:

  product_section_space_schema_member& top();

  const product_section_space_schema_member& top() const;

  product_section_space_schema_member& bottom();

  const product_section_space_schema_member& bottom() const;

  using poset_state_handle::is_jim;

  virtual bool is_jim(pod_index_type xindex, bool xin_current_version = true) const;

  using poset_state_handle::member_name;

  virtual string member_name(pod_index_type xindex, bool xauto_access = false) const;

protected:

  virtual void initialize_standard_members();

private:



  // ===========================================================
  // ===========================================================

public:

//   using poset_state_handle::is_valid_int_id;

//   ///
//   /// True if xint_id can be translated to an external id using
//   /// the equivalence map with name xid_space_name.
//   ///
//   virtual bool is_valid_int_id(pod_index_type xint_id,
//                 const std::string& xid_space_name,
//                 bool xauto_access) const;

//   using poset_state_handle::get_ext_id;

//   ///
//   /// Translates xint_id to an external id using
//   /// the equivalence map with name xid_space_name.
//   ///
//   virtual pod_index_type get_ext_id(pod_index_type xint_id,
//                  const std::string& xid_space_name,
//                  bool xauto_access) const;

  virtual schema_poset_member*
  new_schema_handle(const std::string& xid_space_name,
                    pod_index_type xschema_member_ext_id,
                    pod_index_type xbase_space_ext_id,
                    pod_index_type xfiber_schema_ext_id,
                    pod_index_type xlocal_schema_ext_id);

  // Note that we can not covariantly redefine the return type
  // of new_schema_handle without including product_section_space_schema_member.h,
  // which causes a cyclic dependency between the poset and member classes.

protected:

private:



  // ===========================================================
  // ===========================================================

public:

  virtual bool is_ancestor_of(const any* other) const;

  virtual bool invariant() const;

protected:

  virtual product_section_space_schema_poset* clone() const;

  product_section_space_schema_poset& operator=(const poset_state_handle& xother);

private:

};

} // namespace fiber_bundle

#endif // PRODUCT_SECTION_SPACE_SCHEMA_POSET_H