source: to-imperative/trunk/runtime/rf_core.cc @ 583

//
// Copyright (C) 2000 Refal+ Development Group
//
// Refal+ is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// Refal+ is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Refal+; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
//
// $Source$
// $Revision: 583 $
// $Date: 2003-03-05 10:19:51 +0000 (Wed, 05 Mar 2003) $
// Author: Andrey Slepuhin <pooh@msu.ru>

#include "rf_core.hh"
#include "rf_types.ih"
#include "pxx_default_allocator.ih"


#include <time.h>
#include <stdlib.h>
#include <locale.h>

namespace rfrt
{

using namespace rftype;

class Init
{

public:

  pxx::HeapAllocator allocator ;

  Init () :
    allocator (pxx::page_size, default_heap_size, heap_start)
  {
    default_allocator.set(allocator);
    char* s = getenv("LANG");
    if (s != null) setlocale(LC_ALL, s);
    s = getenv("LC_CTYPE");
    if (s != null) setlocale(LC_CTYPE, s);
    s = getenv("LC_ALL");
    if (s != null) setlocale(LC_ALL, s);
  }

  ~Init ()
  {
    #if DEBUG
    wprintf(L"Concatenation statistics:\n");
    printf("- no copy:       %u\n", empty_copy);
    printf("- left copy:     %u\n", lt_copy);
    printf("- right copy:    %u\n", rt_copy);
    printf("- both copy:     %u\n", both_copy);
    printf("- unifications:  %u\n", unifications);
    printf("- identical:     %u\n", identical);
    #if PARANOIA
    allocator.memory_dump();
    #endif // PARANOIA
    #endif // DEBUG
  }

};

Init init /* __attribute__ ((init_priority (600))) */ ;

pxx::HeapAllocator& allocator = init.allocator ;

TypeRegister rftype::Char::reg(&Char::funcs, type_char) ;
TypeRegister rftype::ShortInt::reg(&ShortInt::funcs, type_short_int) ;

ObjectRegister rftype::Box::reg(type_box) ;
ObjectRegister rftype::Vector::reg(type_vector) ;

const Expr empty;

RetVal (*entry) () = null ;

}

using namespace rfrt;

int main ()
{
  double start = clock ();
  Expr res;
  RF_CALL ((*rfrt::entry), (), (res));
  printf ("Time elapsed: %.2fs\n", (clock () - start) / CLOCKS_PER_SEC);
  return 0;
}