411   int encoding_index;  member in ps_font
431 : font(nm), encoding_index(-1), encoding(0), reencoded_name(0)  in ps_font()
647   if (f->encoding_index >= 0)  in set_encoding_index()
648     return f->encoding_index;  in set_encoding_index()
652       int encoding_index = ((ps_font *)p->p)->encoding_index;  in set_encoding_index()  local
653       if (encoding != 0 && encoding_index >= 0   in set_encoding_index()
655 	return f->encoding_index = encoding_index;  in set_encoding_index()
658   return f->encoding_index = next_encoding_index++;  in set_encoding_index()
767 static char *make_encoding_name(int encoding_index)  in make_encoding_name()  argument
770   sprintf(buf, "ENC%d", encoding_index);  in make_encoding_name()
783 void ps_printer::define_encoding(const char *encoding, int encoding_index)  in define_encoding()  argument
811   out.put_literal_symbol(make_encoding_name(encoding_index))  in define_encoding()
829      .put_symbol(make_encoding_name(f->encoding_index))  in reencode_font()
842     int encoding_index = ((ps_font *)f->p)->encoding_index;  in encode_fonts()  local
843     if (encoding_index >= 0) {  in encode_fonts()
844       assert(encoding_index < next_encoding_index);  in encode_fonts()
845       if (!done_encoding[encoding_index]) {  in encode_fonts()
846 	done_encoding[encoding_index] = 1;  in encode_fonts()
847 	define_encoding(((ps_font *)f->p)->encoding, encoding_index);  in encode_fonts()