// Copyright (c) 2005  Stanford University (USA).
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; version 2.1 of the License.
// See the file LICENSE.LGPL distributed with CGAL.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL: svn+ssh://scm.gforge.inria.fr/svn/cgal/branches/CGAL-3.5-branch/Kinetic_data_structures/include/CGAL/Kinetic/internal/To_static.h $
// $Id: To_static.h 29334 2006-03-10 00:00:09Z drussel $
// 
//
// Author(s)     : Daniel Russel <drussel@alumni.princeton.edu>

#ifndef CGAL_KINETIC_TO_STATIC_H
#define CGAL_KINETIC_TO_STATIC_H
#include <CGAL/Kinetic/basic.h>
#include <CGAL/Simple_cartesian.h>

CGAL_KINETIC_BEGIN_NAMESPACE

//! a functor that turns a moving object into a static object. It needs to pick the static type.
/*!  This is the default implementation which looks for a class named
  Static_traits in the moving object type (the first template
  argument) and uses the Static_type field of that traits when
  instantiated with the static kernel to figure out the return
  type. It then calls the to_static member method of the class.
*/
template <class Arg,
	  class SK >
class To_static
{
  typedef typename Arg::template Static_traits<SK> Traits;
public:
  //! The way time is represented.
  typedef typename SK::FT Time;

  //! Construct it with a static kernel
  To_static(const SK &sk=SK()): sk_(sk), t_(-666666666) {
#ifndef NDEBUG
    initialized_=false;
#endif
  }

  typedef typename Traits::Static_type result_type;
  typedef Arg argument_type;
  //! Convert an appropriate moving object to a static object
  result_type operator()(const argument_type &arg) const
  {
#ifndef NDEBUG
    if (!initialized_) {
      std::cerr << "You must set time before using a snapshot.\n";
      CGAL_precondition(initialized_);
    }
#endif
    return Traits::to_static(arg, time(), sk_);
  }
  //! What this believes the time to be.
  const Time& time() const
  {
    /*#ifndef NDEBUG
      if (!initialized_) {
      std::cerr << "You must set time before using a snapshot.\n";
      CGAL_precondition(initialized_);
      }
      #endif    */
    return t_;
  }
  //! Set the time.
  void set_time(const Time &t) {
    t_=t;
#ifndef NDEBUG
    initialized_=true;
#endif
  }
protected:
  SK sk_;
  Time t_;
#ifndef NDEBUG
  bool initialized_;
#endif
};
CGAL_KINETIC_END_NAMESPACE
#endif
