/* -*- mode: C++; indent-tabs-mode: nil; -*-

  *

  * This file is a part of LEMON, a generic C++ optimization library.

  *

  * Copyright (C) 2003-2009

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * (Egervary Research Group on Combinatorial Optimization, EGRES).

  *

  * Permission to use, modify and distribute this software is granted

  * provided that this copyright notice appears in all copies. For

  * precise terms see the accompanying LICENSE file.

  *

  * This software is provided "AS IS" with no warranty of any kind,

  * express or implied, and with no claim as to its suitability for any

  * purpose.

  *

  */

 ///\file

 ///\brief Some basic non-inline functions and static global data.

 #include<lemon/bits/windows.h>

 #ifdef WIN32

 #ifndef WIN32_LEAN_AND_MEAN

 #define WIN32_LEAN_AND_MEAN

 #endif

 #ifndef NOMINMAX

 #define NOMINMAX

 #endif

 #ifdef UNICODE

 #undef UNICODE

 #endif

 #include <windows.h>

 #ifdef LOCALE_INVARIANT

 #define MY_LOCALE LOCALE_INVARIANT

 #else

 #define MY_LOCALE LOCALE_NEUTRAL

 #endif

 #else

 #include <unistd.h>

 #include <ctime>

 #include <sys/times.h>

 #include <sys/time.h>

 #endif

 #include <cmath>

 #include <sstream>

 namespace lemon {

   namespace bits {

     void getWinProcTimes(double &rtime,

                          double &utime, double &stime,

                          double &cutime, double &cstime)

     {

 #ifdef WIN32

       static const double ch = 4294967296.0e-7;

       static const double cl = 1.0e-7;

       FILETIME system;

       GetSystemTimeAsFileTime(&system);

       rtime = ch * system.dwHighDateTime + cl * system.dwLowDateTime;

       FILETIME create, exit, kernel, user;

       if (GetProcessTimes(GetCurrentProcess(),&create, &exit, &kernel, &user)) {

         utime = ch * user.dwHighDateTime + cl * user.dwLowDateTime;

         stime = ch * kernel.dwHighDateTime + cl * kernel.dwLowDateTime;

         cutime = 0;

         cstime = 0;

       } else {

         rtime = 0;

         utime = 0;

         stime = 0;

         cutime = 0;

         cstime = 0;

       }

 #else

       timeval tv;

       gettimeofday(&tv, 0);

       rtime=tv.tv_sec+double(tv.tv_usec)/1e6;

       tms ts;

       double tck=sysconf(_SC_CLK_TCK);

       times(&ts);

       utime=ts.tms_utime/tck;

       stime=ts.tms_stime/tck;

       cutime=ts.tms_cutime/tck;

       cstime=ts.tms_cstime/tck;

 #endif

     }

     std::string getWinFormattedDate()

     {

       std::ostringstream os;

 #ifdef WIN32

       SYSTEMTIME time;

       GetSystemTime(&time);

       char buf1[11], buf2[9], buf3[5];

 	  if (GetDateFormat(MY_LOCALE, 0, &time,

                         ("ddd MMM dd"), buf1, 11) &&

           GetTimeFormat(MY_LOCALE, 0, &time,

                         ("HH':'mm':'ss"), buf2, 9) &&

           GetDateFormat(MY_LOCALE, 0, &time,

                         ("yyyy"), buf3, 5)) {

         os << buf1 << ' ' << buf2 << ' ' << buf3;

       }

       else os << "unknown";

 #else

       timeval tv;

       gettimeofday(&tv, 0);

       char cbuf[26];

       ctime_r(&tv.tv_sec,cbuf);

       os << cbuf;

 #endif

       return os.str();

     }

     int getWinRndSeed()

     {

 #ifdef WIN32

       FILETIME time;

       GetSystemTimeAsFileTime(&time);

       return GetCurrentProcessId() + time.dwHighDateTime + time.dwLowDateTime;

 #else

       timeval tv;

       gettimeofday(&tv, 0);

       return getpid() + tv.tv_sec + tv.tv_usec;

 #endif

     }

   }

 }