Lines Matching +defs:env +defs:close
1655 void close (const char *c);
1781 void assert_state::close (const char *c)
1873 close(&c[1]);
2014 int sbuf_continuation (int index, const char *name, const environment *env, int w);
2065 int overstrike (int index, const char *name, const environment *env, int w);
2103 void set_char (int i, font *f, const environment *env, int w, const char *name);
2104 void set_numbered_char(int num, const environment *env, int *widthp);
2105 int set_char_and_width(const char *nm, const environment *env,
2107 void draw (int code, int *p, int np, const environment *env);
2110 void special (char *arg, const environment *env, char type);
2111 void devtag (char *arg, const environment *env, char type);
4089 void html_printer::set_line_thickness(const environment *env)
4091 line_thickness = env->size;
4094 void html_printer::draw(int code, int *p, int np, const environment *env)
4103 env->hpos, env->vpos, env->hpos+p[0], env->vpos+p[1], line_thickness);
4143 // fill with color env->fill
4147 *background = *env->fill;
4258 const environment *env, int w)
4263 if ((sbuf_end_hpos == env->hpos)
4265 && (env->hpos < sbuf_end_hpos)
4266 && ((sbuf_end_hpos-env->hpos < env->hpos-sbuf_prev_hpos)))) {
4272 if ((env->hpos >= sbuf_end_hpos) &&
4273 ((sbuf_kern == 0) || (sbuf_end_hpos - sbuf_kern != env->hpos))) {
4278 if (env->hpos-sbuf_end_hpos < space_width) {
4281 sbuf_end_hpos = env->hpos + w;
4320 int html_printer::overstrike(int idx, const char *name, const environment *env, int w)
4322 if ((env->hpos < sbuf_end_hpos)
4323 || ((sbuf_kern != 0) && (sbuf_end_hpos - sbuf_kern < env->hpos))) {
4331 sbuf_end_hpos = env->hpos + w;
4340 sbuf_end_hpos = env->hpos + w;
4353 void html_printer::set_char(int i, font *f, const environment *env,
4356 style sty(f, env->size, env->height, env->slant, env->fontno, *env->col);
4363 if (((! sbuf.empty()) && (sty == sbuf_style) && (sbuf_vpos == env->vpos))
4364 && (sbuf_continuation(i, name, env, w) || overstrike(i, name, env, w)))
4371 sbuf_end_hpos = env->hpos + w;
4372 sbuf_start_hpos = env->hpos;
4373 sbuf_prev_hpos = env->hpos;
4374 sbuf_vpos = env->vpos;
4385 void html_printer::set_numbered_char(int num, const environment *env,
4394 int fn = env->fontno;
4414 w = f->get_width(i, env->size);
4418 set_char(i, f, env, w, 0);
4421 int html_printer::set_char_and_width(const char *nm, const environment *env,
4425 int fn = env->fontno;
4446 int w = (*f)->get_width(i, env->size);
4830 void html_printer::special(char *s, const environment *env, char type)
4836 if (env->fontno >= 0) {
4837 style sty(get_font_from_index(env->fontno), env->size, env->height,
4838 env->slant, env->fontno, *env->col);
4857 env->vpos-env->size*r/72, env->hpos,
4858 env->vpos , env->hpos,
4882 env->vpos-env->size*r/72, env->hpos,
4883 env->vpos , env->hpos,
4897 handle_assertion(env->vpos-env->size*r/72, env->hpos,
4898 env->vpos, env->hpos, s);
4911 void html_printer::devtag (char *s, const environment *env, char type)
4918 if (env->fontno >= 0) {
4919 style sty(get_font_from_index(env->fontno), env->size, env->height,
4920 env->slant, env->fontno, *env->col);
4929 env->vpos-env->size*r/72, env->hpos,
4930 env->vpos , env->hpos);