subposet_names_record.h

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

// Interface for class subposet_names_record

#ifndef SUBPOSET_NAMES_RECORD_H
#define SUBPOSET_NAMES_RECORD_H

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

#ifndef ATTRIBUTES_RECORD_H
#include "SheafSystem/attributes_record.h"
#endif

namespace sheaf
{
  
class SHEAF_DLL_SPEC subposet_names_record : public attributes_record
{
public:

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

  virtual subposet_names_record* clone() const;

  virtual bool invariant() const;

  virtual bool is_ancestor_of(const any* other) const;

  // =============================================================================
  // SUBPOSET_NAMES_RECORD FACET
  // =============================================================================

  subposet_names_record(poset_scaffold& xscaffold);

  subposet_names_record(const subposet_names_record& xother);

  virtual ~subposet_names_record();

protected:

  virtual void transfer_internal_buffer_to_poset();

  virtual void transfer_poset_to_internal_buffer();
};

} // namespace sheaf

#endif // ifndef SUBPOSET_NAMES_RECORD_H