box
typeset_as_atomic (edit_env env, tree t, path ip) {
if (is_func (t, WITH)) {
int i, n= N(t), k= (n-1)>>1; // is k=0 allowed ?
if ((n&1) != 1) return empty_box (ip);
STACK_NEW_ARRAY(vars,string,k);
STACK_NEW_ARRAY(oldv,tree,k);
STACK_NEW_ARRAY(newv,tree,k);
for (i=0; i<k; i++) {
tree var_t= env->exec (t[i<<1]);
if (is_atomic (var_t)) {
string var= var_t->label;
vars[i]= var;
oldv[i]= env->read (var);
newv[i]= env->exec (t[(i<<1)+1]);
}
else {
STACK_DELETE_ARRAY(vars);
STACK_DELETE_ARRAY(oldv);
STACK_DELETE_ARRAY(newv);
return empty_box (ip);
}
}
// for (i=0; i<k; i++) env->monitored_write_update (vars[i], newv[i]);
for (i=0; i<k; i++) env->write_update (vars[i], newv[i]);
box b= typeset_as_atomic (env, t[n-1], descend (ip, n-1));
for (i=k-1; i>=0; i--) env->write_update (vars[i], oldv[i]);
STACK_DELETE_ARRAY(vars);
STACK_DELETE_ARRAY(oldv);
STACK_DELETE_ARRAY(newv);
return b;
}
else if (is_func (t, LOCUS) && N(t) != 0) {
box
pager_rep::pages_format (array<page_item> l, SI ht, SI tcor, SI bcor) {
// cout << "Formatting insertion of height " << ht << LF;
ht -= (tcor + bcor);
int i, n= N(l);
array<box> bs;
array<space> spc;
for (i=0; i<n; i++) {
page_item item= l[i];
if (item->type == PAGE_CONTROL_ITEM) {
if (is_tuple (item->t, "env_page")) {
if (((item->t[1] == PAGE_THIS_HEADER) ||
(item->t[1] == PAGE_THIS_FOOTER)) &&
(item->t[2] == "")) style (item->t[1]->label)= " ";
else if (item->t[1] == PAGE_NR)
page_offset= as_int (item->t[2]->label)- N(pages)- 1;
else style (item->t[1]->label)= copy (item->t[2]);
}
}
else {
bs << item->b;
spc << item->spc;
}
}
if (N(bs) == 0) {
box b= empty_box (decorate_middle (ip), 0, -ht, 0, 0);
return vcorrect_box (b->ip, b, tcor, bcor);
}
else {
box b= format_stack (ip, bs, spc, ht, true);
return vcorrect_box (b->ip, b, tcor, bcor);
}
}
void
edit_typeset_rep::typeset_sub (SI& x1, SI& y1, SI& x2, SI& y2) {
//time_t t1= texmacs_time ();
typeset_prepare ();
eb= empty_box (reverse (rp));
// saves memory, also necessary for change_log update
bench_start ("typeset");
#ifdef USE_EXCEPTIONS
try {
#endif
eb= ::typeset (ttt, x1, y1, x2, y2);
#ifdef USE_EXCEPTIONS
}
catch (string msg) {
the_exception= msg;
std_error << "Typesetting failure, resetting to empty document\n";
assign (rp, tree (DOCUMENT, ""));
::notify_assign (ttt, path(), subtree (et, rp));
eb= ::typeset (ttt, x1, y1, x2, y2);
}
handle_exceptions ();
#endif
bench_end ("typeset");
//time_t t2= texmacs_time ();
//if (t2 - t1 >= 10) cout << "typeset took " << t2-t1 << "ms\n";
picture_cache_clean ();
}
box
pager_rep::make_footer (bool empty_flag) {
if (!show_hf || empty_flag) return empty_box (decorate ());
env->write (PAGE_NR, as_string (N(pages)+1+page_offset));
env->write (PAGE_THE_PAGE, style[PAGE_THE_PAGE]);
tree old= env->local_begin (PAR_COLUMNS, "1");
string which= (N(pages)&1)==0? PAGE_ODD_FOOTER: PAGE_EVEN_FOOTER;
if (style [PAGE_THIS_FOOTER] != "") which= PAGE_THIS_FOOTER;
box b= typeset_as_concat (env, attach_here (tree (PARA, style[which]),
decorate()));
style (PAGE_THIS_FOOTER) = "";
env->local_end (PAR_COLUMNS, old);
return b;
}
box
typeset_as_concat (edit_env env, tree t, path ip, array<line_item>& a) {
concater ccc= tm_new<concater_rep> (env, true);
ccc->typeset (t, ip);
ccc->finish ();
a= ccc->a;
tm_delete (ccc);
int i, n=N(a);
if (n == 0) return empty_box (ip); // FIXME: n=0 should never happen
array<box> items (n);
array<SI> spc (n);
if (n>0) {
spc[0]=0;
for (i=0; i<n-1; i++) {
items[i] = a[i]->b;
spc [i+1]= a[i]->spc->def;
}
items[i]= a[i]->b;
}
box b= concat_box (ip, items, spc);
return b;
}
void
concater_rep::control (tree t, path ip) {
box b= empty_box (ip, 0, 0, 0, env->fn->yx);
a << line_item (CONTROL_ITEM, OP_SKIP, b, HYPH_INVALID, t);
}
void
concater_rep::typeset (tree t, path ip) {
// cout << "Typeset " << t << "\n";
// cout << "Typeset " << t << ", " << ip << ", " << obtain_ip (t) << "\n";
/*
if (obtain_ip (t) != ip)
cout << "TeXmacs] Wrong ip: " << t << "\n"
<< " ] " << obtain_ip (t) << " -> " << ip << "\n";
*/
if (!is_accessible (ip)) {
path ip2= obtain_ip (t);
//if (ip2 != ip) cout << t << ", " << ip << " -> " << ip2 << "\n";
if (ip2 != path (DETACHED))
ip= ip2;
}
if (env->hl_lan != 0)
env->lan->highlight (t);
if (is_atomic (t)) {
if (env->mode == 1) typeset_text_string (t, ip, 0, N(t->label));
else if (env->mode == 2) typeset_math_string (t, ip, 0, N(t->label));
else if (env->mode == 3) typeset_prog_string (t, ip, 0, N(t->label));
else typeset_text_string (t, ip, 0, N(t->label));
return;
}
switch (L (t)) {
case UNINIT:
case ERROR:
typeset_error (t, ip);
break;
case RAW_DATA:
typeset_inactive (t, ip);
break;
case DOCUMENT:
typeset_document (t, ip);
break;
case PARA:
typeset_paragraph (t, ip);
break;
case SURROUND:
typeset_surround (t, ip);
break;
case CONCAT:
typeset_concat (t, ip);
break;
case RIGID:
typeset_rigid (t, ip);
break;
case HIDDEN:
//(void) env->exec (t);
if (N(t) != 1) typeset_error (t, ip);
else (void) typeset_as_concat (env, t[0], descend (ip, 0));
break;
case FREEZE:
if (N(t) != 1) typeset_error (t, ip);
else typeset (attach_middle (t[0], ip));
//typeset (freeze (t[0]), decorate_middle (ip));
break;
case UNFREEZE:
if (N(t) != 1) typeset_error (t, ip);
else typeset (t[0], descend (ip, 0));
break;
case HSPACE:
t= env->exec (t);
typeset_hspace (t, ip);
break;
case VAR_VSPACE:
flag (env->drd->get_name (L(t)), ip, brown);
t= tree (VAR_VSPACE, env->exec (tree (TMLEN, A(t))));
control (t, ip);
break;
case VSPACE:
flag (env->drd->get_name (L(t)), ip, brown);
t= tree (VSPACE, env->exec (tree (TMLEN, A(t))));
control (t, ip);
break;
case SPACE:
t= env->exec (t);
typeset_space (attach_here (t, ip));
break;
case HTAB:
if (N(t) != 1 && N(t) != 2) { typeset_error (t, ip); break; }
if (N(a)==0) print (empty_box (ip, 0, 0, 0, env->fn->yx));
print (space (env->as_length (t[0])));
control (t, ip);
break;
case MOVE:
typeset_move (t, ip);
break;
case SHIFT:
typeset_shift (t, ip);
break;
case RESIZE:
typeset_resize (t, ip);
break;
case CLIPPED:
typeset_clipped (t, ip);
break;
case REPEAT:
typeset_repeat (t, ip);
break;
case _FLOAT:
typeset_float (t, ip);
break;
case DATOMS:
typeset_formatting (t, ip, ATOM_DECORATIONS);
break;
case DLINES:
typeset_formatting (t, ip, LINE_DECORATIONS);
break;
case DPAGES:
typeset_formatting (t, ip, PAGE_DECORATIONS);
break;
case DBOX:
typeset_decorated_box (t, ip);
break;
case LINE_NOTE:
typeset_line_note (t, ip);
break;
case PAGE_NOTE:
typeset_page_note (t, ip);
break;
case WITH_LIMITS:
with_limits (LIMITS_DISPLAY);
flag ("with-limits", ip, brown);
control (t, ip);
break;
case LINE_BREAK:
if (N(a)>0) a[N(a)-1]->penalty = 0;
flag ("line-break", ip, brown);
control (t, ip);
break;
case NEW_LINE:
case NEXT_LINE:
{
string name= env->drd->get_name (L(t));
flag (name, ip, brown);
control (t, ip);
break;
}
case NO_BREAK:
if (N(a)>0) a[N(a)-1]->penalty = HYPH_INVALID;
if ((N(a)>1) &&
(a[N(a)-1]->type == STRING_ITEM) &&
(a[N(a)-1]->b->get_leaf_string () == ""))
a[N(a)-2]->penalty = HYPH_INVALID;
flag ("no line break", ip, brown);
control (t, ip);
break;
case YES_INDENT:
flag ("yes-first-indent", ip, brown);
control (tuple ("env_par", PAR_FIRST, env->read (PAR_FIRST)), ip);
break;
case NO_INDENT:
flag ("no-first-indent", ip, brown);
control (tuple ("env_par", PAR_FIRST, "0cm"), ip);
break;
case VAR_YES_INDENT:
flag ("yes-first-indent-after", ip, brown);
control (tuple ("env_par", PAR_NO_FIRST, "false"), ip);
break;
case VAR_NO_INDENT:
flag ("no-first-indent-after", ip, brown);
control (tuple ("env_par", PAR_NO_FIRST, "true"), ip);
break;
case VAR_PAGE_BREAK:
case PAGE_BREAK:
case VAR_NO_PAGE_BREAK:
case NO_PAGE_BREAK:
case VAR_NO_BREAK_HERE:
case NO_BREAK_HERE:
case NO_BREAK_START:
case NO_BREAK_END:
case VAR_NEW_PAGE:
case NEW_PAGE:
case VAR_NEW_DPAGE:
case NEW_DPAGE:
{
string name= env->drd->get_name (L(t));
flag (name, ip, brown);
control (t, ip);
break;
}
case AROUND:
case VAR_AROUND:
case BIG_AROUND:
typeset_around (t, ip, env->get_string (MATH_NESTING_MODE) != "off");
break;
case LEFT:
typeset_large (t, ip, LEFT_BRACKET_ITEM, OP_OPENING_BRACKET, "<left-");
break;
case MID:
typeset_large (t, ip, MIDDLE_BRACKET_ITEM, OP_MIDDLE_BRACKET, "<mid-");
break;
case RIGHT:
typeset_large (t, ip, RIGHT_BRACKET_ITEM, OP_CLOSING_BRACKET, "<right-");
break;
case BIG:
typeset_bigop (t, ip);
break;
case LONG_ARROW:
typeset_long_arrow (t, ip);
break;
case LPRIME:
typeset_lprime (t, ip);
break;
case RPRIME:
typeset_rprime (t, ip);
break;
case BELOW:
typeset_below (t, ip);
break;
case ABOVE:
typeset_above (t, ip);
break;
case LSUB:
case LSUP:
typeset_script (t, ip, false);
break;
case RSUB:
case RSUP:
typeset_script (t, ip, true);
break;
case FRAC:
typeset_frac (t, ip);
break;
case SQRT:
typeset_sqrt (t, ip);
break;
case WIDE:
typeset_wide (t, ip, true);
break;
case VAR_WIDE:
typeset_wide (t, ip, false);
break;
case NEG:
typeset_neg (t, ip);
break;
case TREE:
typeset_tree (t, ip);
break;
case SYNTAX:
typeset_syntax (t, ip);
break;
case TFORMAT:
if ((N(t)>0) && is_table (t[N(t)-1])) typeset_table (t, ip);
else typeset_formatting (t, ip, CELL_FORMAT);
break;
case TWITH:
case CWITH:
case TMARKER:
typeset_inactive (t, ip);
break;
case TABLE:
typeset_table (t, ip);
break;
case ROW:
case CELL:
case SUBTABLE:
break;
case ASSIGN:
typeset_assign (t, ip);
break;
case WITH:
typeset_with (t, ip);
break;
case PROVIDES:
typeset_executable (t, ip);
break;
case QUOTE_VALUE:
typeset_inactive (t, ip);
break;
case VALUE:
typeset_value (t, ip);
break;
case MACRO:
typeset_inactive (t, ip);
break;
case DRD_PROPS:
typeset_drd_props (t, ip);
break;
case ARG:
typeset_argument (t, ip);
break;
case QUOTE_ARG:
typeset_inactive (t, ip);
break;
case COMPOUND:
typeset_compound (t, ip);
break;
case XMACRO:
typeset_inactive (t, ip);
break;
case GET_LABEL:
typeset_executable (t, ip);
break;
case GET_ARITY:
typeset_executable (t, ip);
break;
case MAP_ARGS:
typeset_rewrite (t, ip);
break;
case EVAL_ARGS:
typeset_eval_args (t, ip);
break;
case MARK:
typeset_mark (t, ip);
break;
case EXPAND_AS:
typeset_expand_as (t, ip);
break;
case EVAL:
typeset_eval (t, ip);
break;
case QUOTE:
typeset_inactive (t, ip);
break;
case QUASI:
typeset_eval (tree (EVAL, tree (QUASIQUOTE, t[0])), ip);
break;
case QUASIQUOTE:
case UNQUOTE:
case VAR_UNQUOTE:
case COPY:
typeset_executable (t, ip);
break;
case IF:
typeset_if (t, ip);
break;
case VAR_IF:
typeset_var_if (t, ip);
break;
case CASE:
typeset_case (t, ip);
break;
case WHILE:
case FOR_EACH:
typeset_executable (t, ip);
break;
case EXTERN:
typeset_rewrite (t, ip);
break;
case VAR_INCLUDE:
typeset_include (t, ip);
break;
case INCLUDE:
typeset_compound (t, ip);
break;
case USE_PACKAGE:
case USE_MODULE:
typeset_executable (t, ip);
break;
case OR:
case XOR:
case AND:
case NOT:
case PLUS:
case MINUS:
case TIMES:
case OVER:
case DIV:
case MOD:
case MINIMUM:
case MAXIMUM:
case MATH_SQRT:
case EXP:
case LOG:
case POW:
case COS:
case SIN:
case TAN:
case MERGE:
case LENGTH:
typeset_executable (t, ip);
break;
case RANGE:
typeset_range (t, ip);
break;
case NUMBER:
case _DATE:
case TRANSLATE:
case CHANGE_CASE:
case FIND_FILE:
case FIND_FILE_UPWARDS:
case IS_TUPLE:
case LOOK_UP:
case EQUAL:
case UNEQUAL:
case LESS:
case LESSEQ:
case GREATER:
case GREATEREQ:
case BLEND:
case BOX_INFO:
case FRAME_DIRECT:
case FRAME_INVERSE:
typeset_executable (t, ip);
break;
case CM_LENGTH:
case MM_LENGTH:
case IN_LENGTH:
case PT_LENGTH:
case BP_LENGTH:
case DD_LENGTH:
case PC_LENGTH:
case CC_LENGTH:
case FS_LENGTH:
case FBS_LENGTH:
case EM_LENGTH:
case LN_LENGTH:
case SEP_LENGTH:
case YFRAC_LENGTH:
case EX_LENGTH:
case FN_LENGTH:
case FNS_LENGTH:
case BLS_LENGTH:
case SPC_LENGTH:
case XSPC_LENGTH:
case PAR_LENGTH:
case PAG_LENGTH:
case GW_LENGTH:
case GH_LENGTH:
case GU_LENGTH:
case TMPT_LENGTH:
case PX_LENGTH:
typeset_executable (t, ip);
break;
case STYLE_ONLY:
case VAR_STYLE_ONLY:
case ACTIVE:
case VAR_ACTIVE:
case INACTIVE:
case VAR_INACTIVE:
typeset_compound (t, ip);
break;
case REWRITE_INACTIVE:
typeset_rewrite (t, ip);
break;
case INLINE_TAG:
case OPEN_TAG:
case MIDDLE_TAG:
case CLOSE_TAG:
typeset_src_tag (t, ip);
break;
case SYMBOL:
case LATEX:
case HYBRID:
typeset_inactive (t, ip);
break;
case LOCUS:
typeset_locus (t, ip);
break;
case ID:
typeset_inactive (t, ip);
break;
case HARD_ID:
typeset_executable (t, ip);
break;
case LINK:
case URL:
case SCRIPT:
case OBSERVER:
case FIND_ACCESSIBLE:
typeset_inactive (t, ip);
break;
case HLINK:
case ACTION:
typeset_compound (t, ip);
break;
case SET_BINDING:
typeset_set_binding (t, ip);
break;
case GET_BINDING:
typeset_executable (t, ip);
break;
case LABEL:
case REFERENCE:
case PAGEREF:
typeset_compound (t, ip);
break;
case GET_ATTACHMENT:
typeset_executable (t, ip);
break;
case WRITE:
typeset_write (t, ip);
break;
case TOC_NOTIFY:
typeset_toc_notify (t, ip);
break;
case TUPLE:
case ATTR:
case TMLEN:
case COLLECTION:
case ASSOCIATE:
case BACKUP:
typeset_inactive (t, ip);
break;
case PATTERN:
case GRADIENT:
marker (descend (ip, 0));
typeset_inactive (env->exec (t), decorate (ip));
marker (descend (ip, 1));
break;
case SPECIFIC:
typeset_specific (t, ip);
break;
case FLAG:
typeset_flag (t, ip);
break;
case HYPHENATE_AS:
typeset_hyphenate_as (t, ip);
break;
case ANIM_STATIC:
case ANIM_DYNAMIC:
case MORPH:
case ANIM_TIME:
case ANIM_PORTION:
typeset_executable (t, ip);
break;
case ANIM_COMPOSE:
typeset_anim_compose (t, ip);
break;
case ANIM_REPEAT:
typeset_anim_repeat (t, ip);
break;
case ANIM_CONSTANT:
typeset_anim_constant (t, ip);
break;
case ANIM_ACCELERATE:
typeset_anim_accelerate (t, ip);
break;
case ANIM_TRANSLATE:
typeset_anim_translate (t, ip);
break;
case ANIM_PROGRESSIVE:
typeset_anim_progressive (t, ip);
break;
case VIDEO:
typeset_video (t, ip);
break;
case SOUND:
typeset_sound (t, ip);
break;
case GRAPHICS:
typeset_graphics (t, ip);
break;
case SUPERPOSE:
typeset_superpose (t, ip);
break;
case GR_GROUP:
typeset_gr_group (t, ip);
break;
case GR_TRANSFORM:
typeset_gr_transform (t, ip);
break;
case GR_EFFECT:
typeset_gr_effect (t, ip);
break;
case TEXT_AT:
typeset_text_at (t, ip);
break;
case MATH_AT:
typeset_math_at (t, ip);
break;
case DOCUMENT_AT:
typeset_document_at (t, ip);
break;
case _POINT:
typeset_point (t, ip);
break;
case LINE:
typeset_line (t, ip, false);
break;
case CLINE:
typeset_line (t, ip, true);
break;
case ARC:
typeset_arc (t, ip, false);
break;
case CARC:
typeset_arc (t, ip, true);
break;
case SPLINE:
typeset_spline (t, ip, false);
break;
case VAR_SPLINE:
typeset_var_spline (t, ip);
break;
case CSPLINE:
typeset_cspline (t, ip);
break;
case BEZIER:
case CBEZIER:
case SMOOTH:
case CSMOOTH:
typeset_bezier (t, ip);
break;
case FILL:
typeset_fill (t, ip);
break;
case IMAGE:
typeset_image (t, ip);
break;
case TRANSFORM_3D:
case OBJECT_3D:
case TRIANGLE_3D:
case LIGHT_3D:
typeset_graphics_3d (t, ip);
break;
case LIGHT_DIFFUSE:
case LIGHT_SPECULAR:
typeset_inactive (t, ip);
break;
case EFF_MOVE:
case EFF_MAGNIFY:
case EFF_BUBBLE:
case EFF_TURBULENCE:
case EFF_FRACTAL_NOISE:
case EFF_GAUSSIAN:
case EFF_OVAL:
case EFF_RECTANGULAR:
case EFF_MOTION:
case EFF_BLUR:
case EFF_OUTLINE:
case EFF_THICKEN:
case EFF_ERODE:
case EFF_DEGRADE:
case EFF_DISTORT:
case EFF_GNAW:
case EFF_SUPERPOSE:
case EFF_ADD:
case EFF_SUB:
case EFF_MUL:
case EFF_MIN:
case EFF_MAX:
case EFF_MIX:
case EFF_NORMALIZE:
case EFF_MONOCHROME:
case EFF_COLOR_MATRIX:
case EFF_MAKE_TRANSPARENT:
case EFF_MAKE_OPAQUE:
typeset_inactive (t, ip);
break;
case CANVAS:
typeset_canvas (t, ip);
break;
case ORNAMENT:
typeset_ornament (t, ip);
break;
default:
if (L(t) < START_EXTENSIONS) print (test_box (ip));
else typeset_compound (t, ip);
break;
}
}