hb-ot-cff2-table.hh

Go to the documentation of this file.

/*
 * Copyright © 2018 Adobe Inc.
 *
 *  This is part of HarfBuzz, a text shaping library.
 *
 * Permission is hereby granted, without written agreement and without
 * license or royalty fees, to use, copy, modify, and distribute this
 * software and its documentation for any purpose, provided that the
 * above copyright notice and the following two paragraphs appear in
 * all copies of this software.
 *
 * IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE TO ANY PARTY FOR
 * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
 * ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
 * IF THE COPYRIGHT HOLDER HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
 * DAMAGE.
 *
 * THE COPYRIGHT HOLDER SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
 * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
 * FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS
 * ON AN "AS IS" BASIS, AND THE COPYRIGHT HOLDER HAS NO OBLIGATION TO
 * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
 *
 * Adobe Author(s): Michiharu Ariza
 */
 
#ifndef HB_OT_CFF2_TABLE_HH
#define HB_OT_CFF2_TABLE_HH
 
#include "hb-ot-cff-common.hh"
#include "hb-subset-cff2.hh"
#include "hb-draw.hh"
 
namespace CFF {
 
/*
 * CFF2 -- Compact Font Format (CFF) Version 2
 * https://docs.microsoft.com/en-us/typography/opentype/spec/cff2
 */
#define HB_OT_TAG_cff2 HB_TAG('C','F','F','2')
 
typedef CFFIndex<HBUINT32>  CFF2Index;
template <typename Type> struct CFF2IndexOf : CFFIndexOf<HBUINT32, Type> {};
 
typedef CFF2Index         CFF2CharStrings;
typedef Subrs<HBUINT32>   CFF2Subrs;
 
typedef FDSelect3_4<HBUINT32, HBUINT16> FDSelect4;
typedef FDSelect3_4_Range<HBUINT32, HBUINT16> FDSelect4_Range;
 
struct CFF2FDSelect
{
  bool serialize (hb_serialize_context_t *c, const CFF2FDSelect &src, unsigned int num_glyphs)
  {
    TRACE_SERIALIZE (this);
    unsigned int size = src.get_size (num_glyphs);
    CFF2FDSelect *dest = c->allocate_size<CFF2FDSelect> (size);
    if (unlikely (!dest)) return_trace (false);
    memcpy (dest, &src, size);
    return_trace (true);
  }
 
  unsigned int get_size (unsigned int num_glyphs) const
  {
    switch (format)
    {
    case 0: return format.static_size + u.format0.get_size (num_glyphs);
    case 3: return format.static_size + u.format3.get_size ();
    case 4: return format.static_size + u.format4.get_size ();
    default:return 0;
    }
  }
 
  hb_codepoint_t get_fd (hb_codepoint_t glyph) const
  {
    if (this == &Null (CFF2FDSelect))
      return 0;
 
    switch (format)
    {
    case 0: return u.format0.get_fd (glyph);
    case 3: return u.format3.get_fd (glyph);
    case 4: return u.format4.get_fd (glyph);
    default:return 0;
    }
  }
 
  bool sanitize (hb_sanitize_context_t *c, unsigned int fdcount) const
  {
    TRACE_SANITIZE (this);
    if (unlikely (!c->check_struct (this)))
      return_trace (false);
 
    switch (format)
    {
    case 0: return_trace (u.format0.sanitize (c, fdcount));
    case 3: return_trace (u.format3.sanitize (c, fdcount));
    case 4: return_trace (u.format4.sanitize (c, fdcount));
    default:return_trace (false);
    }
  }
 
  HBUINT8   format;
  union {
  FDSelect0 format0;
  FDSelect3 format3;
  FDSelect4 format4;
  } u;
  public:
  DEFINE_SIZE_MIN (2);
};
 
struct CFF2VariationStore
{
  bool sanitize (hb_sanitize_context_t *c) const
  {
    TRACE_SANITIZE (this);
    return_trace (likely (c->check_struct (this)) && c->check_range (&varStore, size) && varStore.sanitize (c));
  }
 
  bool serialize (hb_serialize_context_t *c, const CFF2VariationStore *varStore)
  {
    TRACE_SERIALIZE (this);
    unsigned int size_ = varStore->get_size ();
    CFF2VariationStore *dest = c->allocate_size<CFF2VariationStore> (size_);
    if (unlikely (!dest)) return_trace (false);
    memcpy (dest, varStore, size_);
    return_trace (true);
  }
 
  unsigned int get_size () const { return HBUINT16::static_size + size; }
 
  HBUINT16  size;
  VariationStore  varStore;
 
  DEFINE_SIZE_MIN (2 + VariationStore::min_size);
};
 
struct cff2_top_dict_values_t : top_dict_values_t<>
{
  void init ()
  {
    top_dict_values_t<>::init ();
    vstoreOffset = 0;
    FDSelectOffset = 0;
  }
  void fini () { top_dict_values_t<>::fini (); }
 
  unsigned int  vstoreOffset;
  unsigned int  FDSelectOffset;
};
 
struct cff2_top_dict_opset_t : top_dict_opset_t<>
{
  static void process_op (op_code_t op, num_interp_env_t& env, cff2_top_dict_values_t& dictval)
  {
    switch (op) {
      case OpCode_FontMatrix:
    {
      dict_val_t val;
      val.init ();
      dictval.add_op (op, env.str_ref);
      env.clear_args ();
    }
    break;
 
      case OpCode_vstore:
    dictval.vstoreOffset = env.argStack.pop_uint ();
    env.clear_args ();
    break;
      case OpCode_FDSelect:
    dictval.FDSelectOffset = env.argStack.pop_uint ();
    env.clear_args ();
    break;
 
      default:
    SUPER::process_op (op, env, dictval);
    /* Record this operand below if stack is empty, otherwise done */
    if (!env.argStack.is_empty ()) return;
    }
 
    if (unlikely (env.in_error ())) return;
 
    dictval.add_op (op, env.str_ref);
  }
 
  typedef top_dict_opset_t<> SUPER;
};
 
struct cff2_font_dict_values_t : dict_values_t<op_str_t>
{
  void init ()
  {
    dict_values_t<op_str_t>::init ();
    privateDictInfo.init ();
  }
  void fini () { dict_values_t<op_str_t>::fini (); }
 
  table_info_t    privateDictInfo;
};
 
struct cff2_font_dict_opset_t : dict_opset_t
{
  static void process_op (op_code_t op, num_interp_env_t& env, cff2_font_dict_values_t& dictval)
  {
    switch (op) {
      case OpCode_Private:
    dictval.privateDictInfo.offset = env.argStack.pop_uint ();
    dictval.privateDictInfo.size = env.argStack.pop_uint ();
    env.clear_args ();
    break;
 
      default:
    SUPER::process_op (op, env);
    if (!env.argStack.is_empty ())
      return;
    }
 
    if (unlikely (env.in_error ())) return;
 
    dictval.add_op (op, env.str_ref);
  }
 
  private:
  typedef dict_opset_t SUPER;
};
 
template <typename VAL>
struct cff2_private_dict_values_base_t : dict_values_t<VAL>
{
  void init ()
  {
    dict_values_t<VAL>::init ();
    subrsOffset = 0;
    localSubrs = &Null (CFF2Subrs);
    ivs = 0;
  }
  void fini () { dict_values_t<VAL>::fini (); }
 
  unsigned int      subrsOffset;
  const CFF2Subrs   *localSubrs;
  unsigned int      ivs;
};
 
typedef cff2_private_dict_values_base_t<op_str_t> cff2_private_dict_values_subset_t;
typedef cff2_private_dict_values_base_t<num_dict_val_t> cff2_private_dict_values_t;
 
struct cff2_priv_dict_interp_env_t : num_interp_env_t
{
  void init (const byte_str_t &str)
  {
    num_interp_env_t::init (str);
    ivs = 0;
    seen_vsindex = false;
  }
 
  void process_vsindex ()
  {
    if (likely (!seen_vsindex))
    {
      set_ivs (argStack.pop_uint ());
    }
    seen_vsindex = true;
  }
 
  unsigned int get_ivs () const { return ivs; }
  void   set_ivs (unsigned int ivs_) { ivs = ivs_; }
 
  protected:
  unsigned int  ivs;
  bool    seen_vsindex;
};
 
struct cff2_private_dict_opset_t : dict_opset_t
{
  static void process_op (op_code_t op, cff2_priv_dict_interp_env_t& env, cff2_private_dict_values_t& dictval)
  {
    num_dict_val_t val;
    val.init ();
 
    switch (op) {
      case OpCode_StdHW:
      case OpCode_StdVW:
      case OpCode_BlueScale:
      case OpCode_BlueShift:
      case OpCode_BlueFuzz:
      case OpCode_ExpansionFactor:
      case OpCode_LanguageGroup:
    val.single_val = env.argStack.pop_num ();
    env.clear_args ();
    break;
      case OpCode_BlueValues:
      case OpCode_OtherBlues:
      case OpCode_FamilyBlues:
      case OpCode_FamilyOtherBlues:
      case OpCode_StemSnapH:
      case OpCode_StemSnapV:
    env.clear_args ();
    break;
      case OpCode_Subrs:
    dictval.subrsOffset = env.argStack.pop_uint ();
    env.clear_args ();
    break;
      case OpCode_vsindexdict:
    env.process_vsindex ();
    dictval.ivs = env.get_ivs ();
    env.clear_args ();
    break;
      case OpCode_blenddict:
    break;
 
      default:
    dict_opset_t::process_op (op, env);
    if (!env.argStack.is_empty ()) return;
    break;
    }
 
    if (unlikely (env.in_error ())) return;
 
    dictval.add_op (op, env.str_ref, val);
  }
};
 
struct cff2_private_dict_opset_subset_t : dict_opset_t
{
  static void process_op (op_code_t op, cff2_priv_dict_interp_env_t& env, cff2_private_dict_values_subset_t& dictval)
  {
    switch (op) {
      case OpCode_BlueValues:
      case OpCode_OtherBlues:
      case OpCode_FamilyBlues:
      case OpCode_FamilyOtherBlues:
      case OpCode_StdHW:
      case OpCode_StdVW:
      case OpCode_BlueScale:
      case OpCode_BlueShift:
      case OpCode_BlueFuzz:
      case OpCode_StemSnapH:
      case OpCode_StemSnapV:
      case OpCode_LanguageGroup:
      case OpCode_ExpansionFactor:
    env.clear_args ();
    break;
 
      case OpCode_blenddict:
    env.clear_args ();
    return;
 
      case OpCode_Subrs:
    dictval.subrsOffset = env.argStack.pop_uint ();
    env.clear_args ();
    break;
 
      default:
    SUPER::process_op (op, env);
    if (!env.argStack.is_empty ()) return;
    break;
    }
 
    if (unlikely (env.in_error ())) return;
 
    dictval.add_op (op, env.str_ref);
  }
 
  private:
  typedef dict_opset_t SUPER;
};
 
typedef dict_interpreter_t<cff2_top_dict_opset_t, cff2_top_dict_values_t> cff2_top_dict_interpreter_t;
typedef dict_interpreter_t<cff2_font_dict_opset_t, cff2_font_dict_values_t> cff2_font_dict_interpreter_t;
 
struct CFF2FDArray : FDArray<HBUINT32>
{
  /* FDArray::serialize does not compile without this partial specialization */
  template <typename ITER, typename OP_SERIALIZER>
  bool serialize (hb_serialize_context_t *c, ITER it, OP_SERIALIZER& opszr)
  { return FDArray<HBUINT32>::serialize<cff2_font_dict_values_t, table_info_t> (c, it, opszr); }
};
 
} /* namespace CFF */
 
namespace OT {
 
using namespace CFF;
 
struct cff2
{
  static constexpr hb_tag_t tableTag = HB_OT_TAG_cff2;
 
  bool sanitize (hb_sanitize_context_t *c) const
  {
    TRACE_SANITIZE (this);
    return_trace (c->check_struct (this) &&
          likely (version.major == 2));
  }
 
  template <typename PRIVOPSET, typename PRIVDICTVAL>
  struct accelerator_templ_t
  {
    accelerator_templ_t (hb_face_t *face)
    {
      topDict.init ();
      fontDicts.init ();
      privateDicts.init ();
 
      this->blob = sc.reference_table<cff2> (face);
 
      /* setup for run-time santization */
      sc.init (this->blob);
      sc.start_processing ();
 
      const OT::cff2 *cff2 = this->blob->template as<OT::cff2> ();
 
      if (cff2 == &Null (OT::cff2))
        goto fail;
 
      { /* parse top dict */
    byte_str_t topDictStr (cff2 + cff2->topDict, cff2->topDictSize);
    if (unlikely (!topDictStr.sanitize (&sc))) goto fail;
    cff2_top_dict_interpreter_t top_interp;
    top_interp.env.init (topDictStr);
    topDict.init ();
    if (unlikely (!top_interp.interpret (topDict))) goto fail;
      }
 
      globalSubrs = &StructAtOffset<CFF2Subrs> (cff2, cff2->topDict + cff2->topDictSize);
      varStore = &StructAtOffsetOrNull<CFF2VariationStore> (cff2, topDict.vstoreOffset);
      charStrings = &StructAtOffsetOrNull<CFF2CharStrings> (cff2, topDict.charStringsOffset);
      fdArray = &StructAtOffsetOrNull<CFF2FDArray> (cff2, topDict.FDArrayOffset);
      fdSelect = &StructAtOffsetOrNull<CFF2FDSelect> (cff2, topDict.FDSelectOffset);
 
      if (((varStore != &Null (CFF2VariationStore)) && unlikely (!varStore->sanitize (&sc))) ||
      (charStrings == &Null (CFF2CharStrings)) || unlikely (!charStrings->sanitize (&sc)) ||
      (globalSubrs == &Null (CFF2Subrs)) || unlikely (!globalSubrs->sanitize (&sc)) ||
      (fdArray == &Null (CFF2FDArray)) || unlikely (!fdArray->sanitize (&sc)) ||
      (((fdSelect != &Null (CFF2FDSelect)) && unlikely (!fdSelect->sanitize (&sc, fdArray->count)))))
        goto fail;
 
      num_glyphs = charStrings->count;
      if (num_glyphs != sc.get_num_glyphs ())
        goto fail;
 
      fdCount = fdArray->count;
      if (!privateDicts.resize (fdCount))
        goto fail;
 
      /* parse font dicts and gather private dicts */
      for (unsigned int i = 0; i < fdCount; i++)
      {
    const byte_str_t fontDictStr = (*fdArray)[i];
    if (unlikely (!fontDictStr.sanitize (&sc))) goto fail;
    cff2_font_dict_values_t  *font;
    cff2_font_dict_interpreter_t font_interp;
    font_interp.env.init (fontDictStr);
    font = fontDicts.push ();
    if (unlikely (font == &Crap (cff2_font_dict_values_t))) goto fail;
    font->init ();
    if (unlikely (!font_interp.interpret (*font))) goto fail;
 
    const byte_str_t privDictStr (StructAtOffsetOrNull<UnsizedByteStr> (cff2, font->privateDictInfo.offset), font->privateDictInfo.size);
    if (unlikely (!privDictStr.sanitize (&sc))) goto fail;
    dict_interpreter_t<PRIVOPSET, PRIVDICTVAL, cff2_priv_dict_interp_env_t>  priv_interp;
    priv_interp.env.init(privDictStr);
    privateDicts[i].init ();
    if (unlikely (!priv_interp.interpret (privateDicts[i]))) goto fail;
 
    privateDicts[i].localSubrs = &StructAtOffsetOrNull<CFF2Subrs> (&privDictStr[0], privateDicts[i].subrsOffset);
    if (privateDicts[i].localSubrs != &Null (CFF2Subrs) &&
      unlikely (!privateDicts[i].localSubrs->sanitize (&sc)))
      goto fail;
      }
 
 
      return;
 
      fail:
        _fini ();
    }
    ~accelerator_templ_t () { _fini (); }
    void _fini ()
    {
      sc.end_processing ();
      topDict.fini ();
      fontDicts.fini ();
      privateDicts.fini ();
      hb_blob_destroy (blob);
      blob = nullptr;
    }
 
    bool is_valid () const { return blob; }
 
    protected:
    hb_blob_t           *blob = nullptr;
    hb_sanitize_context_t   sc;
 
    public:
    cff2_top_dict_values_t  topDict;
    const CFF2Subrs     *globalSubrs = nullptr;
    const CFF2VariationStore    *varStore = nullptr;
    const CFF2CharStrings   *charStrings = nullptr;
    const CFF2FDArray       *fdArray = nullptr;
    const CFF2FDSelect      *fdSelect = nullptr;
    unsigned int        fdCount = 0;
 
    hb_vector_t<cff2_font_dict_values_t>     fontDicts;
    hb_vector_t<PRIVDICTVAL>  privateDicts;
 
    unsigned int          num_glyphs = 0;
  };
 
  struct accelerator_t : accelerator_templ_t<cff2_private_dict_opset_t, cff2_private_dict_values_t>
  {
    accelerator_t (hb_face_t *face) : accelerator_templ_t (face) {}
 
    HB_INTERNAL bool get_extents (hb_font_t *font,
                  hb_codepoint_t glyph,
                  hb_glyph_extents_t *extents) const;
    HB_INTERNAL bool get_path (hb_font_t *font, hb_codepoint_t glyph, hb_draw_session_t &draw_session) const;
  };
 
  typedef accelerator_templ_t<cff2_private_dict_opset_subset_t, cff2_private_dict_values_subset_t> accelerator_subset_t;
 
  bool subset (hb_subset_context_t *c) const { return hb_subset_cff2 (c); }
 
  public:
  FixedVersion<HBUINT8>     version;    /* Version of CFF2 table. set to 0x0200u */
  NNOffsetTo<TopDict, HBUINT8>  topDict;    /* headerSize = Offset to Top DICT. */
  HBUINT16          topDictSize;    /* Top DICT size */
 
  public:
  DEFINE_SIZE_STATIC (5);
};
 
struct cff2_accelerator_t : cff2::accelerator_t {
  cff2_accelerator_t (hb_face_t *face) : cff2::accelerator_t (face) {}
};
 
} /* namespace OT */
 
#endif /* HB_OT_CFF2_TABLE_HH */