/Users/mourrain/Devel/mmx/basix/src/document.cpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : document.cpp
* DESCRIPTION: Expressions for (TeXmacs) documents with special markup
* COPYRIGHT  : (C) 2009  Joris van der Hoeven
*******************************************************************************
* This software falls under the GNU general public license and comes WITHOUT
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
* If you don't have this file, write to the Free Software Foundation, Inc.,
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************/

#include <basix/document.hpp>
#include <basix/compound.hpp>
namespace mmx {

generic
documentify (const string& s) {
  vector<string> v= tokenize (s, "\n");
  if (N(v) == 0) return gen ("$concat");
  if (N(v) == 1) return generic (v[0]);
  vector<generic> r= vec<generic> (v[0]);
  for (nat i=1; i<N(v); i++) r << generic ("$lf") << generic (v[i]);
  return gen ("$concat", r);
}

document::document (const char* s): rep (documentify (s)) {}
document::document (const string& s): rep (documentify (s)) {}

vector<generic>
as_generics (const vector<document>& v) {
  vector<generic> r= fill<generic> (N(v));
  for (nat i=0; i<N(v); i++) r[i]= as_generic (v[i]);
  return r;
}

vector<document>
as_documents (const vector<generic>& v) {
  vector<document> r= fill<document> (N(v));
  for (nat i=0; i<N(v); i++) r[i]= as_document (v[i]);
  return r;
}

document
make_text (const generic& x) {
  return as_document (gen ("$text", x));
}

document
make_text (const document& x) {
  return make_text (as_generic (x));
}

document
make_math (const generic& x) {
  return as_document (gen ("$math", x));
}

document
make_math (const document& x) {
  return make_math (as_generic (x));
}

document
make_row (const vector<document>& v) {
  vector<generic> r= as_generics (v);
  return as_document (gen (GEN_ROW, r));
}

document
make_document (const vector<document>& v, bool block= false) {
  //mmout << "v= " << v << indent << lf;
  vector<generic> r;
  if (block) r << generic ("$cr");
  for (nat i=0; i<N(v); i++) {
    generic x= as_generic (v[i]);
    //mmout << "v[" << i << "] = " << x << ": " << type_name (x) << lf;
    if (is_func (x, GEN_ROW)) {
      vector<document> a= as_documents (cdr (compound_to_vector (x)));
      r << as_generic (make_document (a));
      if (i != N(v) - 1) r << generic ("$lf");
    }
    else r << x;
  }
  //mmout << unindent;
  //mmout << "r= " << r << lf;
  if (N (r) == 1) return as_document (r[0]);
  else return as_document (gen ("$concat", r));
}

document
make_inline (const vector<document>& v) {
  return make_document (v);
}

document
make_block (const vector<document>& v) {
  return make_document (v, true);
}

document
make_texmacs (const string& fun, const vector<document>& v) {
  return as_document (gen ("tm$" * fun, as_generics (v)));
}

document
make_texmacs (const literal& fun, const vector<document>& v) {
  return as_document (gen ("tm$" * as_string (fun), as_generics (v)));
}

} // namespace mmx