408   int encoding_index;  member in ps_font
428 : font(nm), encoding_index(-1), encoding(0), reencoded_name(0)  in ps_font()
643   if (f->encoding_index >= 0)  in set_encoding_index()
644     return f->encoding_index;  in set_encoding_index()
648       int encoding_index = ((ps_font *)p->p)->encoding_index;  in set_encoding_index()  local
649       if (encoding != 0 && encoding_index >= 0   in set_encoding_index()
651 	return f->encoding_index = encoding_index;  in set_encoding_index()
654   return f->encoding_index = next_encoding_index++;  in set_encoding_index()
764 static char *make_encoding_name(int encoding_index)  in make_encoding_name()  argument
767   sprintf(buf, "ENC%d", encoding_index);  in make_encoding_name()
780 void ps_printer::define_encoding(const char *encoding, int encoding_index)  in define_encoding()  argument
808   out.put_literal_symbol(make_encoding_name(encoding_index))  in define_encoding()
826      .put_symbol(make_encoding_name(f->encoding_index))  in reencode_font()
839     int encoding_index = ((ps_font *)f->p)->encoding_index;  in encode_fonts()  local
840     if (encoding_index >= 0) {  in encode_fonts()
841       assert(encoding_index < next_encoding_index);  in encode_fonts()
842       if (!done_encoding[encoding_index]) {  in encode_fonts()
843 	done_encoding[encoding_index] = 1;  in encode_fonts()
844 	define_encoding(((ps_font *)f->p)->encoding, encoding_index);  in encode_fonts()