binary_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 BINARY_SECTION_SPACE_SCHEMA_POSET_H
#define BINARY_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 ARRAY_POSET_DOF_MAP_H
#include "SheafSystem/array_poset_dof_map.h"
#endif

namespace sheaf
{
class namespace_poset;
class namespace_poset_member;
}

namespace fiber_bundle
{

class sec_rep_descriptor;

class SHEAF_DLL_SPEC binary_section_space_schema_poset : public section_space_schema_poset
{
  friend class fiber_bundles_namespace;
  friend class sheaf::namespace_poset; // Qualification needed by g++ 4.2.2
  
  // ===========================================================
  // ===========================================================

public:

  static binary_section_space_schema_poset& new_table(namespace_type& xhost, 
                                                      const poset_path& xpath, 
                                                      const poset_path& xschema_path,
                                                      const poset_path& xbase_path,
                                                      const poset_path& xfiber_path,
                                                      const poset_path& xrep_path,
                                                      bool xauto_access);


protected:

  binary_section_space_schema_poset();

  binary_section_space_schema_poset(const binary_section_space_schema_poset& xother) { };

  virtual ~binary_section_space_schema_poset();

  static bool make_prototype();

private:



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

public:

  using section_space_schema_poset::get_index_from_components;

  virtual pod_index_type
  get_index_from_components(pod_index_type xbase_space_id,
                            pod_index_type xfiber_schema_id) const;

protected:

private:



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

public:

  virtual poset_type type_id() const;

  virtual const char* class_name() const;

protected:

  using section_space_schema_poset::new_state;

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

private:



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

public:

  using poset_state_handle::contains_link;

  virtual bool contains_link(pod_index_type xgreater,
                 pod_index_type xlesser) const;

  using poset_state_handle::cover_ct;

  virtual size_type cover_ct(bool xlower, pod_index_type xhub_id) const;

  using poset_state_handle::le;

  virtual bool le(pod_index_type xgreater, pod_index_type xlesser) const;

  using poset_state_handle::leqv;

  virtual bool leqv(pod_index_type xgreater, pod_index_type xlesser) const;

  using poset_state_handle::is_jem;

  virtual bool is_jem(pod_index_type xhub_id, pod_index_type xother) const;

  using poset_state_handle::greatest_jem;

  virtual pod_index_type greatest_jem(pod_index_type xhub_id) const;

  using poset_state_handle::least_jem;

  virtual pod_index_type least_jem(pod_index_type xhub_id) const;

  using poset_state_handle::merge_jems;

  virtual void merge_jems(pod_index_type xjem1, pod_index_type xjem2);

protected:

private:



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

public:

  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 binary_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 binary_section_space_schema_poset* clone() const;

  binary_section_space_schema_poset& operator=(const poset_state_handle& xother)
  {
    return const_cast<binary_section_space_schema_poset&>(*this);
  };

private:

};

} // namespace fiber_bundle

#endif // BINARY_SECTION_SPACE_SCHEMA_POSET_H