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

//
// 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: 1066 $
// $Date: 2003-07-30 08:29:01 +0000 (Wed, 30 Jul 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>
#include <gmp.h>

namespace pxx {
  extern void terminate_handler () ;
}

namespace rfrt
{

using namespace rftype;

void terminate_handler ()
{
  try {
    throw;
  } catch (Expr& _expr) {
    _expr.writeln(stderr);
  } catch (...) {
    pxx::terminate_handler();
  }
}

class Init
{

public:

  pxx::HeapAllocator allocator ;
  pxx::ChunkAllocator<mpz_t> *mpz_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);
    std::set_terminate(terminate_handler);
    mpz_allocator = new pxx::ChunkAllocator<mpz_t>(allocator);
  }

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

};

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

pxx::HeapAllocator& allocator = init.allocator ;
pxx::ChunkAllocator<mpz_t>& mpz_allocator = *init.mpz_allocator;

TypeRegister rftype::Term::ref_reg(&Term::ref_funcs, type_ref) ;
TypeRegister rftype::ObjectRef::reg(&ObjectRef::funcs, type_object) ;
TypeRegister rftype::Char::reg(&Char::funcs, type_char) ;
TypeRegister rftype::ShortInt::reg(&ShortInt::funcs, type_short_int) ;
TypeRegister rftype::Integer::reg(&Integer::funcs, type_int) ;
TypeRegister rftype::Word::reg(&Word::funcs, type_word) ;
TypeRegister rftype::Func::reg(&Func::funcs, type_func) ;

ObjectRegister rftype::Box::reg(type_box) ;
ObjectRegister rftype::Vector::reg(type_vector) ;
ObjectRegister rftype::Channel::reg(type_channel) ;
ObjectRegister rftype::String::reg(type_string) ;
ObjectRegister rftype::Table::reg(type_table) ;

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;
}