/Users/mourrain/Devel/mmx/basix/glue/glue_document.cpp

Go to the documentation of this file.

#include <basix/vector.hpp>
#include <basix/port.hpp>
#include <basix/literal.hpp>
#include <basix/document.hpp>
#include <basix/mmx_syntax.hpp>
#include <basix/tuple.hpp>
#include <basix/glue.hpp>

#define is_generic_literal is<literal>
#define literal_apply(f,v) gen (as<generic> (f), v)
#define literal_access(f,v) access (as<generic> (f), v)
#define empty_vector() as<generic> (vec<generic> ())

namespace mmx {
  static document
  GLUE_1 (const generic &arg_1) {
    return as_document (arg_1);
  }
  
  static document
  GLUE_2 (const document &arg_1) {
    return document (arg_1);
  }
  
  static generic
  GLUE_3 (const document &arg_1) {
    return as_generic (arg_1);
  }
  
  static document
  GLUE_4 (const string &arg_1) {
    return document (arg_1);
  }
  
  static document
  GLUE_5 (const string &arg_1, const tuple<document> &arg_2) {
    return make_texmacs (arg_1, as_vector (arg_2));
  }
  
  static document
  GLUE_6 (const literal &arg_1, const tuple<document> &arg_2) {
    return make_texmacs (arg_1, as_vector (arg_2));
  }
  
  static document
  GLUE_7 (const generic &arg_1) {
    return make_text (arg_1);
  }
  
  static document
  GLUE_8 (const document &arg_1) {
    return make_text (arg_1);
  }
  
  static document
  GLUE_9 (const generic &arg_1) {
    return make_math (arg_1);
  }
  
  static document
  GLUE_10 (const document &arg_1) {
    return make_math (arg_1);
  }
  
  static document
  GLUE_11 (const tuple<document> &arg_1) {
    return make_inline (as_vector (arg_1));
  }
  
  static document
  GLUE_12 (const tuple<document> &arg_1) {
    return make_block (as_vector (arg_1));
  }
  
  static document
  GLUE_13 (const tuple<document> &arg_1) {
    return make_row (as_vector (arg_1));
  }
  
  void
  glue_document () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_literal"));
    define_type<document > (lit ("Document"));
    define ("document", GLUE_1);
    define ("document", GLUE_2);
    define ("as_generic", GLUE_3);
    define_converter ("upgrade", GLUE_4, PENALTY_INCLUSION);
    define ("$tm", GLUE_5);
    define ("$tm", GLUE_6);
    define ("$text", GLUE_7);
    define ("$text", GLUE_8);
    define ("$math", GLUE_9);
    define ("$math", GLUE_10);
    define ("$inline", GLUE_11);
    define ("$block", GLUE_12);
    define ("(.)", GLUE_13);
  }
}